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 erichahn on Thursday June 17, 2021 @11:23AM (#27540602)
"it does not rely on any particular axiomatisation"

-- OK, what does it rely on then?

[ Parent | on HN ]
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 ]