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

Alain Herreman (1)

1 IRMAR - Institut de Recherche Mathématique de Rennes

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.

Mots clés: Histoire des mathématiques Thèse de Turing; Sémiotique; Histoire de la logique

Domaines: Histoire et perspectives sur les mathématiques [math.HO]; Histoire, Philosophie et Sociologie des sciences; Linguistique

Alain Herreman. La thèse de Turing : un énoncé et un texte inaugural. 2011. ⟨hal-00639408⟩