Self modifying code, lambda calculus - Re: ENIAC programming

ben bfranchuk at jetnet.ab.ca
Wed Sep 16 22:36:53 CDT 2015


On 9/16/2015 9:25 PM, Toby Thain wrote:
> 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".

I never studied any of that, but you do have to LOAD and RUN the program 
ToSolveAnythingBut42
some how so I guess that would count AS Self Modifying Code.
> --Toby


More information about the cctalk mailing list