Self modifying code, lambda calculus - Re: ENIAC programming

Toby Thain toby at telegraphics.com.au
Wed Sep 16 22:25:56 CDT 2015


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
>
>
>
>



More information about the cctech mailing list