|Abstract||We give a new proof for Godel's second incompleteness theorem, based on Kolmogorov complexity, Chaitin's incompleteness theorem, and an argument that resembles the surprise examination paradox. We then go the other way around and suggest that the second incompleteness theorem gives a possible resolution of the surprise examination paradox. Roughly speaking, we argue that the flaw in the derivation of the paradox is that it contains a hidden assumption that one can prove the consistency of the mathematical theory in which the derivation is done; which is impossible by the second incompleteness theorem|
|Keywords||No keywords specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
FangWen Yuan (2008). Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem. Proceedings of the Xxii World Congress of Philosophy 41:77-94.
Zofia Adamowicz & Teresa Bigorajska (2001). Existentially Closed Structures and Gödel's Second Incompleteness Theorem. Journal of Symbolic Logic 66 (1):349-356.
Yi-Zhuang Chen (2004). Edgar Morin's Paradigm of Complexity and Gödel's Incompleteness Theorem. World Futures 60 (5 & 6):421 – 431.
Leo K. C. Cheung (2013). On Two Versions of 'the Surprise Examination Paradox'. Philosophia 41 (1):159-170.
Panu Raatikainen (2005). On the Philosophical Relevance of Gödel's Incompleteness Theorems. Revue Internationale de Philosophie 59 (4):513-534.
Panu Raatikainen (1998). On Interpreting Chaitin's Incompleteness Theorem. Journal of Philosophical Logic 27 (6):569-586.
Gregory J. Chaitin (1970). Computational Complexity and Godel's Incompleteness Theorem. [Rio De Janeiro,Centro Técnico Científico, Pontifícia Universidade Católica Do Rio De Janeiro.
Laureano Luna & Alex Blum (2008). Arithmetic and Logic Incompleteness: The Link. The Reasoner 2 (3):6.
Francesco Berto (2009). The Gödel Paradox and Wittgenstein's Reasons. Philosophia Mathematica 17 (2):208-219.
Added to index2010-12-08
Total downloads30 ( #40,914 of 550,917 )
Recent downloads (6 months)1 ( #63,425 of 550,917 )
How can I increase my downloads?