La thèse de Turing : un énoncé et un texte inaugural

Résumé En Fr

This paper shows that the main features of Turing's thesis derived from those of the expression system (Turing machines) it inaugures, and in particular its conformity. The notions of inaugural statements and texts are defined and illustrated by other examples than Turing thesis and article. Other relationships between the inaugural texts are considered which allow to include Turing's article in an inaugural history.

Cet article montre que les principales caractéristiques de la thèse de Turing découlent de celles du système d'expression (machines de Turing) qu'il inaugure, et en particulier de sa conformité. Les notions d'énoncés et textes inauguraux sont à partir de là définies et illustrées par d'autres exemples que la thèse et l'article de Turing. D'autres rapports entre les textes inauguraux sont considérés qui permettent d'inscrire l'article de Turing dans une histoire inaugurale.