Minor nitpick: >This flies in the face of the theories of Turing and von Neumann, which define the basic principles of the stored-program computer. Code and da

Minor nitpick: >This flies in the face of the theories of Turing and von Neumann, which define the basic principles of the stored-program computer. Code and data are the same, or at least they can be. Turing and von Neumann were very aware of the looseness of the code-data distinction. That looseness is formally encoded in the S-m-n theorem, but without even going to those extremes, it's a basic prerequisite for the statement of the Halting Problem itself.