La logique ordinale de Turing
| Data(s) |
11/03/2016
11/03/2016
2013
|
|---|---|
| Resumo |
Dans Systems of logic based on ordinals (1939), Turing explore les possibilités de minimiser les effets du théorème d’incomplétude pour l’arithmétique par le biais d’une logique ordinale. Nous rendons ici compte de cette recherche méconnue menée par Turing sur les fondements des mathématiques en replaçant ses apports dans le contexte actuel de la théorie de la calculabilité. |
| Identificador |
Potvin, B. (2013). La logique ordinale de Turing. Dans Fradet et Lepage (dir.), "La crise des fondements : quelle crise?". Montréal, Québec : Les Cahiers d'Ithaque. |
| Idioma(s) |
fr |
| Relação |
Les Cahiers d'Ithaque; 2013. |
| Direitos |
Ce texte est publié sous licence Creative Commons : Attribution – Pas d’utilisation commerciale – Partage dans les mêmes conditions 2.5 Canada. http://creativecommons.org/licenses/by-nc-sa/2.5/ca/legalcode.fr |
| Tipo |
Article |
