2011/11/09 by Alain Herreman, Herreman, Alain
Computer Science · #Computability, Logic, AI Algorithms #FOS: Mathematics #History and Overview (math.HO) #Logic, programming, and type systems #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.1111.2145
openalex publication_date 2011/11/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.