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 Friday June 18, 2021 @08:37AM (#27549662)
I never said it is a paradox. I never said that PA or Q is inconsistent. I said that they cannot prove their own consistency by Gödels theorem. Hence we don't know if Gödels theorem was formalized in an inconsistent system.

Honestly it would be weird if the incompleteness theorems don't apply to themselves.

[ Parent | on HN ]
Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by ProfHewitt on Monday June 21, 2021 @12:15PM (#27580631)
The logical contradiction is that allowing the [Gödel 1931]

proposition I'mUnprovable into foundations makes the

foundations inconsistent.

[ Parent | on HN ]