2005/10/21 by Diego Saa, Saa, Diego
Mathematics · Arts and Humanities · Computer Science · #History and Theory of Mathematics #Philosophy and History of Science #Computability, Logic, AI Algorithms
paper · pdf · doi:10.48550/arxiv.math/0510469
Goedel'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 Goedel to prove his undecidability and incompleteness theorems is proved in this paper. This means that those theorems are invalid.