What Naur got wrong from The concept of mind

In Programming as theory building, Peter Naur introduces what he calls “Ryle’s notion of theory” and attempts to build a notion of programming on top of it. Below I claim that he confounded what Ryle was saying, and as consequence his paper is more convoluted than it should. And here is a stroked-through version of it that I hope makes it easier to follow. The first sign is his stating that the…