Does Gödel's Incompleteness Theorem Prove that Truth Transcends Proof?
Does Gödel's Incompleteness Theorem Prove that Truth Transcends Proof?
Joseph Vidal-Rosset
2006 · DOI: 10.1007/978-1-4020-5012-7_5
2 Citations
Abstract
Since their appearance in 1931, Godel'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 Godel themselves, and I believe that the state of the discussion has not changed a lot since the original Carnap-Godel debate.
