On the Philosophical Relevance of Godel's Incompleteness Theorems
This paper investigates the discovery of the truth-undefinability theorem. Although it is commonly attributed to Tarski, some historical data suggest that it was earlier discovered by Godel. The author collects and comments several sources. It is argued that the historical issue requires taking into...
Enregistré dans:
| 主要作者: | |
|---|---|
| 格式: | Article ou chapitre numérique |
| 语言: | Français |
| 出版: |
2005
|
| 在线阅读: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| 总结: | This paper investigates the discovery of the truth-undefinability theorem. Although it is commonly attributed to Tarski, some historical data suggest that it was earlier discovered by Godel. The author collects and comments several sources. It is argued that the historical issue requires taking into account various aspects, also including the philosophical background of Godel and Tarski. The main thesis of the present paper is that the discussed theorem was explicitly formulated by Tarski. |
|---|