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 ProfHewitt on Monday June 21, 2021 @10:51AM (#27579729)
Yes, it is very easy to check that [Gödel 1931] was for a

system for the foundation of mathematics.

[ Parent | on HN ]

There are no comments on this comment yet.