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 @08:16AM (#27538768)
If you figure this out correctly you can claim the third incompleteness theorem. (If I am right)
[ Parent | on HN ]
Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by ProfHewitt on Monday June 21, 2021 @12:00PM (#27580448)
Results in [Gödel 1931] depend on existence of proposition

I'mUnprovable. Since, the proposition doesn't exist in

foundations, the results in [Gödel 1931] do not hold for foundations.

[ Parent | on HN ]