Un \'enonc\'e et un texte inaugural
Alain Herreman (IRMAR)

TL;DR
This paper explores the foundational aspects of Turing's thesis, analyzing its features and the concept of inaugural texts, and situates Turing's work within a broader history of inaugural statements.
Contribution
It introduces the notions of inaugural statements and texts, illustrating them with examples beyond Turing's work, and discusses their role in the history of foundational texts.
Findings
Turing's thesis features are derived from the expression system of Turing machines.
Inaugural texts can be analyzed through their relationships and historical context.
Turing's article is positioned within a broader framework of inaugural history.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Logic, programming, and type systems · semigroups and automata theory
