Go read Peter Naur's "Programming as Theory Building" and then come back and tell me that LLMs can replace human programmers
To understand Naur’s paper, you need to understand what
he means by "theory", which comes from
philosopher Gilbert Ryle’s
The Concept of Mind (wikipedia.org).
The Wikipedia page I linked above is not a great place to
learn this term and Naur’s use. Instead here’s an analogy by
Ryle in the form of a rather long paragraph from The Concept
of the Mind (Chapter IX The Intellect), starting on page
263:
"If a farmer has made a path, he is able to saunter easily up
and down it. That is what the path w...
Read more at ratfactor.com