News for hackers. Stuff that matters.

A comment on Alonzo Church: The Forgotten Architect of Computer Intelligence.

Re:Alonzo Church: The Forgotten Architect of Computer Intell... by priprimer on Monday November 04, 2024 @03:42PM (#42045798)
the real challenge of understanding lamba calculus is realizing its simplicity

it is a sacred idea by the fact that executing it does not really help understand the fact that it is equivalent to any and all computation

[ Parent | on HN ]
Re:Alonzo Church: The Forgotten Architect of Computer Intell... by mrkeen on Tuesday November 05, 2024 @03:03AM (#42049551)
I don't know. You don't have to do much bootstrapping to get from lambda calculus primitives all the way up to if-elses, pattern matching, higher-order functions, etc.
[ Parent | on HN ]