Gödel's Theorem is Invalid: Difference between revisions
Add archived full-text link (original URL dead; recovered via Internet Archive) |
Fix mojibake in body text (per-word resolution) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Infobox paper | {{Infobox paper | ||
| title = | | title = Gödel\'s Theorem is Invalid | ||
| url = [https://web.archive.org/web/20250508010737/http://arxiv.org/PS_cache/math/pdf/0510/0510469v1.pdf Link to paper (Internet Archive)] | | url = [https://web.archive.org/web/20250508010737/http://arxiv.org/PS_cache/math/pdf/0510/0510469v1.pdf Link to paper (Internet Archive)] | ||
| author = [[Diego | | author = [[Diego José Arturo Sa]] | ||
| keywords = [[ | | keywords = [[Gödel]], [[Godel]], [[Goedel]], [[incompleteness]], [[undecidability]], [[theorem]] | ||
| published = 2005 | | published = 2005 | ||
| journal = [[ArXiv]] | | journal = [[ArXiv]] | ||
| Line 13: | Line 13: | ||
==Abstract== | ==Abstract== | ||
Gödel's results have had a great impact in diverse fields such as philosophy, computer sciences and fundamentals of mathematics. The fact that the rule of mathematical induction is contradictory with the rest of clauses used by Gödel to prove his undecidability and incompleteness theorems is proved in this paper. This means that those theorems are invalid. | |||
In section 1, a study is carried out on the mathematical induction principle, even though it is not directly relevant to the problem, just to familiarize the reader with the operations that are used later; in section 2 the rule of mathematical induction is introduced, this rule has a metamathematical character; in section 3 the original proof of | In section 1, a study is carried out on the mathematical induction principle, even though it is not directly relevant to the problem, just to familiarize the reader with the operations that are used later; in section 2 the rule of mathematical induction is introduced, this rule has a metamathematical character; in section 3 the original proof of Gödel's undecidability theorem is reproduced, and finally in section 4 the same proof is given, but now with the explicit and formal use of all the axioms; this is needed to be able to use logical resolution. It is shown that the inclusion of the mathematical induction rule causes a contradiction. | ||
[[Category:Scientific Paper|g del 's theorem invalid]] | [[Category:Scientific Paper|g del 's theorem invalid]] | ||
Latest revision as of 20:20, 20 July 2026
| Scientific Paper | |
|---|---|
| Title | Gödel\'s Theorem is Invalid |
| Read in full | Link to paper (Internet Archive) |
| Author(s) | Diego José Arturo Sa |
| Keywords | Gödel, Godel, Goedel, incompleteness, undecidability, theorem |
| Published | 2005 |
| Journal | ArXiv |
| No. of pages | 20 |
Read the full paper here (archived copy — the original link is no longer available)
Abstract
Gödel's results have had a great impact in diverse fields such as philosophy, computer sciences and fundamentals of mathematics. The fact that the rule of mathematical induction is contradictory with the rest of clauses used by Gödel to prove his undecidability and incompleteness theorems is proved in this paper. This means that those theorems are invalid.
In section 1, a study is carried out on the mathematical induction principle, even though it is not directly relevant to the problem, just to familiarize the reader with the operations that are used later; in section 2 the rule of mathematical induction is introduced, this rule has a metamathematical character; in section 3 the original proof of Gödel's undecidability theorem is reproduced, and finally in section 4 the same proof is given, but now with the explicit and formal use of all the axioms; this is needed to be able to use logical resolution. It is shown that the inclusion of the mathematical induction rule causes a contradiction.