Conceptual Confluence in 1936: Post and Turing

DOI10.1007/978-3-319-22156-4_1zbMath1400.01008OpenAlexW2400527394MaRDI QIDQ4637215

Wilfried Sieg, Martin Davis

Publication date: 18 April 2018

Published in: Turing’s Revolution (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22156-4_1

zbMATH Keywords

Turing machinesword problemChurch-Turing thesisPost systemsThue's problem

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10) Thue and Post systems, etc. (03D03)

Related Items (2)

Is there a ``Hilbert thesis? ⋮ Why Post Did [Not Have Turing’s Thesis]

Cites Work

• An analysis of Turing's The word problem in semi-groups with cancellation
• General recursive functions of natural numbers
• The word problem in semi-groups with cancellation
• Theory of Formal Systems. (AM-47)
• Only Two Letters: The Correspondence between Herbrand and Gödel
• Closing the Circle: An Analysis of Emil Post's Early Work
• A Natural Axiomatization of Computability and Proof of Church's Thesis
• Why Gödel didn't have church's thesis
• Step by Recursive Step: Church's Analysis of Effective Calculability
• Origins of Recursive Function Theory
• Highlights of the History of the Lambda-Calculus
• Generating, Solving and the Mathematics of Homo Sapiens: Emil Post’s Views on Computation
• Axioms for Computability: Do They Allow a Proof of Church’s Thesis?
• Recursive Unsolvability of a problem of Thue
• On the definition of an algorithm
• Computability and Recursion
• A note on the Entscheidungsproblem
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
• Recursive Predicates and Quantifiers
• Formal Reductions of the General Combinatorial Decision Problem
• A variant of a recursively unsolvable problem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Conceptual Confluence in 1936: Post and Turing