Does Gödel's Incompleteness Theorem Prove That Truth Transcends Proof ? - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2006

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

Résumé

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.
Fichier principal
Vignette du fichier
Vidal-Rosset-on-Gödel.pdf (125.87 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01242366 , version 1 (11-12-2015)

Licence

Identifiants

Citer

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⟩
263 Consultations
5980 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More