Re:Gödel, Escher, Bach: an in-depth explainer
by pfortuny on Wednesday September 14, 2022 @03:03AM
(#32834120)
That is not a “proof” in the statement of Gödel’s theorem.
A proof (there) is just a finite number of symbols which happens to have a specifix form (A=>B AND A), where A and B are sentences, which are finite sequences of symbols having a slecific form… Wait, I am telling you a half of what Gödel did to prove his result.
A proof (there) is just a finite number of symbols which happens to have a specifix form (A=>B AND A), where A and B are sentences, which are finite sequences of symbols having a slecific form… Wait, I am telling you a half of what Gödel did to prove his result.