Gödel's Theorem is Invalid: Difference between revisions
Remove stray backslash-escaped quotes (\' and \") left by an old import escaping bug |
Add archived full-text link (original URL dead; recovered via Internet Archive) |
||
| Line 1: | Line 1: | ||
{{Infobox paper | {{Infobox paper | ||
| title = G?del's Theorem is Invalid | | 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)] | |||
| author = [[Diego Jos? Arturo Sa]] | | author = [[Diego Jos? Arturo Sa]] | ||
| keywords = [[G?del]], [[Godel]], [[Goedel]], [[incompleteness]], [[undecidability]], [[theorem]] | | keywords = [[G?del]], [[Godel]], [[Goedel]], [[incompleteness]], [[undecidability]], [[theorem]] | ||
| Line 7: | Line 8: | ||
| num_pages = 20 | | num_pages = 20 | ||
}} | }} | ||
'''Read the full paper''' [https://web.archive.org/web/20250508010737/http://arxiv.org/PS_cache/math/pdf/0510/0510469v1.pdf here] ''(archived copy — the original link is no longer available)'' | |||
==Abstract== | ==Abstract== | ||
Revision as of 08:28, 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.