Re:1931: Kurt Gödel shows limits of math, logic, computing, AI
by erichahn on Thursday June 17, 2021 @11:30AM
(#27540679)
I think if Gödels proof needs Q then that is OK.
Q cannot prove its own consistency. Which means there is no way of telling that Gödels theorems are proved in a theory that is inconsistent (where everything is true).
Q cannot prove its own consistency. Which means there is no way of telling that Gödels theorems are proved in a theory that is inconsistent (where everything is true).