Un énoncé et un texte inauguraux

Cet article montre que certaines des principales caractéristiques de la thèse de Turing découlent de ce qu’elle inaugure un système d'expressions (machines de Turing) et, en particulier, en affirme la conformité. Les notions d'énoncés et de 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.