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 @12:16PM (#27580646)
Problem with 1st-order PRA is that it is too weak to serve as

foundation of mathematics.

[ Parent | on HN ]

There are no comments on this comment yet.