Does Gödel's Incompleteness Theorem Prove That Truth Transcends Proof ?

Joseph Vidal-Rosset (1)

1 LHSP - Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré

Since their appearance in 1931, Gödel's incompleteness theorems have been the subject of intense philosophical examination. Though the demonstrations of the famous theorems are rather complex, but nevertheless clear, their philosophical implications are far from transparent. Contemporary philosophical logicians disagree on the philosophical significance of the incompleteness theorems , as did Carnap and Gödel themselves, and I believe that the state of the discussion has not changed a lot since the original Carnap-Gödel debate.

Mots clés: Gödel incompleteness theorems

Domaines: Philosophie; Logique [math.LO]

Joseph Vidal-Rosset. Does Gödel's Incompleteness Theorem Prove That Truth Transcends Proof ?. Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser The Age of Alternative Logics - Assessing Philosophy of Logic and Mathematics Today, 23, Springer Netherlands, pp.51-73, 2006, ⟨10.1007/978-1-4020-5012-7_5⟩. ⟨hal-01242366⟩