La logique ordinale de Turing
| dc.contributor.author | Potvin, Benoit | |
| dc.date.accessioned | 2016-03-11T22:05:33Z | |
| dc.date.available | 2016-03-11T22:05:33Z | |
| dc.date.issued | 2013 | |
| dc.identifier.uri | http://revueithaque.org/fichiers/cahiers/Lepage_Fradet.pdf | |
| dc.identifier.uri | http://hdl.handle.net/1866/13335 | |
| dc.publisher | Société Philosophique Ithaque | |
| dc.rights | Ce texte est publié sous licence Creative Commons : Attribution – Pas d’utilisation commerciale – Partage dans les mêmes conditions 2.5 Canada. | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ca/legalcode.fr | |
| dc.title | La logique ordinale de Turing | |
| dc.type | Article | |
| dc.contributor.affiliation | Université de Montréal. Faculté des arts et des sciences. Département de philosophie | fr |
| dcterms.abstract | 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é. | |
| dcterms.language | fra | |
| UdeM.VersionRioxx | Version publiée / Version of Record | |
| oaire.citationTitle | Les Cahiers d'Ithaque | |
| oaire.citationIssue | 2013 |
Files in this item
This item appears in the following Collection(s)
Usage rights : Ce texte est publié sous licence Creative Commons : Attribution – Pas d’utilisation commerciale – Partage dans les mêmes conditions 2.5 Canada.