On 2015-09-16 6:18 PM, Dave G4UGM wrote:
... It is notable that in order to solve all problems, a computer must permit self modifying code.
Is that true? AFAIK Lambda calculus can describe any computable function (as can a Turing machine), and it has no concept of "self modifying code".
--Toby
... Dave Wade
