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 carnitine on Thursday June 17, 2021 @12:17PM (#27541318)
The axioms allowing one to express enough of arithmetic for Goedel’s methods to apply. As the comment says.
[ Parent | on HN ]

There are no comments on this comment yet.