Chaitin interview for simply gödel website
| Abstract | Gödel's first incompleteness theorem shows that no axiomatic theory can prove all mathematical truths, while Gödel's second incompleteness theorem shows that a specific mathematical result is unprovable. A famous mathematician of the time, David Hilbert, had asked for a proof that an important axiomatic theory was consistent, and Godel showed that such a proof could not be carried out within the axiomatic theory itself, and presumably could therefore not be established in a convincing way outside of the theory either. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
|
| Through your library | Only published papers are available at libraries |
Yi-Zhuang Chen (2004). Edgar Morin's Paradigm of Complexity and Gödel's Incompleteness Theorem. World Futures 60 (5 & 6):421 – 431.
Raymond M. Smullyan (1992). Gödel's Incompleteness Theorems. Oxford University Press.
Mark Steiner (2001). Wittgenstein as His Own Worst Enemy: The Case of Gödel's Theorem. Philosophia Mathematica 9 (3):257-279.
Francesco Berto (2009). The Gödel Paradox and Wittgenstein's Reasons. Philosophia Mathematica 17 (2):208-219.
Zofia Adamowicz & Teresa Bigorajska (2001). Existentially Closed Structures and Gödel's Second Incompleteness Theorem. Journal of Symbolic Logic 66 (1):349-356.
Carlo Cellucci (1993). From Closed to Open Systems. In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky.
Panu Raatikainen (2005). On the Philosophical Relevance of Gödel's Incompleteness Theorems. Revue Internationale de Philosophie 59 (4):513-534.
Monthly downloads |
Added to index2009-02-13Total downloads69 ( #12,591 of 549,047 )Recent downloads (6 months)4 ( #19,186 of 549,047 )How can I increase my downloads? |

