Emil Leon Post (/poʊst/; February 11, 1897 – April 21, 1954) was an American mathematician and logician. He is best known for his work in the field that...
14 KB (1,397 words) - 22:33, 11 November 2023
6–7 years Emil Post developed his definition of a worker moving from room to room writing and erasing marks per a list of instructions (Post 1936), as...
74 KB (9,526 words) - 14:50, 20 August 2024
The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946. Because it is simpler than the halting problem...
25 KB (2,521 words) - 13:48, 29 July 2024
theory Post's theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees. The statement of Post's theorem...
18 KB (3,832 words) - 19:55, 23 July 2023
propositional calculus was proved by Paul Bernays in 1918[citation needed] and Emil Post in 1921, while the completeness of (first order) predicate calculus was...
20 KB (2,914 words) - 18:16, 31 August 2024
article. Papers of Gödel, Alonzo Church, Turing, Rosser, Kleene, and Emil Post are included; those cited in the article are listed here by author's name...
62 KB (7,323 words) - 20:13, 26 August 2024
functions. 7 October 1936 (1936-10-07): Emil Post's paper "Finite Combinatory Processes. Formulation I" is received. Post adds to his "process" an instruction...
53 KB (7,344 words) - 23:14, 11 August 2024
propositional logic (Emil Post 1920) Proof of the semantic completeness of truth-functional propositional logic (Paul Bernays 1918), (Emil Post 1920) Proof of...
11 KB (1,389 words) - 02:05, 5 June 2024
A Post–Turing machine is a "program formulation" of a type of Turing machine, comprising a variant of Emil Post's Turing-equivalent model of computation...
22 KB (2,764 words) - 00:20, 27 July 2024
Noam Chomsky as the term for grammar studied previously by Emil Post and Axel Thue (Post canonical systems). Some authors, however, reserve the term...
7 KB (906 words) - 05:45, 23 June 2024