La logique ordinale de Turing


Thèse ou mémoire / Thesis or Dissertation

Date de publication

Autrices et auteurs

Identifiant ORCID de l’auteur

Contributrices et contributeurs

Direction de recherche

Publié dans

Date de la Conférence

Lieu de la Conférence

Éditeur

Cycle d'études

Maîtrise / Master's

Programme

Affiliation

Mots-clés

  • Incomplétude
  • Indécidabilité
  • Calculabilité
  • Diagonalisation
  • Incompleteness
  • Calculability
  • Undecidability
  • Diagonalization

Organisme subventionnaire

Résumé

Le sujet visé par cette dissertation est la logique ordinale de Turing. Nous nous référons au texte original de Turing «Systems of logic based on ordinals» (Turing [1939]), la thèse que Turing rédigea à Princeton sous la direction du professeur Alonzo Church. Le principe d’une logique ordinale consiste à surmonter localement l’incomplétude gödelienne pour l’arithmétique par le biais de progressions d’axiomes récursivement consistantes. Étant donné son importance considérable pour la théorie de la calculabilité et les fondements des mathématiques, cette recherche méconnue de Turing mérite une attention particulière. Nous retraçons ici le projet d’une logique ordinale, de ses origines dans le théorème d’incomplétude de Gödel jusqu'à ses avancées dans les développements de la théorie de la calculabilité. Nous concluons par une discussion philosophique sur les fondements des mathématiques en fonction d’un point de vue finitiste.


The main subject of this dissertation is Turing’s ordinal logic, i.e. Turing’s attempt to locally overcome Gödel’s incompleteness by means of transfinite recursive progressions. We shall refer to the original 1939 text «Systems of logic based on ordinals» which is, in fact, Turing’s Ph.D thesis at Princeton University under the direction of Professor Alonzo Church. Considering its importance for the theory of computability and the foundations of mathematics, Turing’s paper certainly didn’t get enough attention in the literature. Therefore, we want to retrace Turing’s project of an ordinal logic from its very foundation in Gödel’s incompleteness theorem to its further development in calculability theory. A discussion on the foundations of mathematics from a computational point of view will conclude this memoir.

Table des matières

Notes

Notes

Autre version linguistique

Ensemble de données lié

Licence

Approbation

Évaluation

Complété par

Référencé par

Ce document diffusé sur Papyrus est la propriété exclusive des titulaires des droits d'auteur et est protégé par la Loi sur le droit d'auteur (L.R.C. (1985), ch. C-42). Sauf si le document est diffusé sous une licence Creative Commons, il ne peut être utilisé que dans le cadre d'une utilisation équitable et non commerciale comme le prévoit la Loi (i.e. à des fins d'étude privée ou de recherche, de critique ou de compte-rendu). Pour toute autre utilisation, une autorisation écrite des titulaires des droits d'auteur sera nécessaire.