Godel's encounters with formalism, intuition, and Kant
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:
| Auteur principal: | |
|---|---|
| Format: | Article ou chapitre numérique |
| Langue: | Français |
| Publié: |
2005
|
| Accès en ligne: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |