News for hackers. Stuff that matters.

A comment on 1931: Kurt Gödel shows limits of math, logic, computing, AI. Parent comment

Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by pmmck on Thursday June 17, 2021 @08:03AM (#27538654)
For me the click came while finishing To Mock a Mockinbird by Raymond Smullyan.

https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird

Smullyan "tricks" you into deriving the Gödel Incompleteness Theorem from the BCKW combinator calculus.

[ Parent | on HN ]

There are no comments on this comment yet.