Category:
Research Papers
Sub-Category:
Mathematics and Applied Mathematics
Date Published:
February 10, 2022
Keywords:
Gödel First Incompleteness theorem, self-reference
Abstract:
This Part 2 proves that, under the hypothesis that Gödel's formal system P were complete, the undecidable sentence involved in Gödel's First Incompleteness Theorem would be inconsistent, the reason for its consistency being its self-referential nature. This inconsistency makes Gödel's theorem unnecessary and confirm the conclusions on the supertask test of Gödel's sentence discussed in Part 1 of this article
Comments
<<< Back