Gödel's reception of Turing's model of computability: the shift of perception in 1934

DOI10.1007/978-3-319-58741-7_5zbMATH Open1433.03006OpenAlexW2613737899MaRDI QIDQ2011634FDOQ2011634

Authors: Juliette Kennedy 

Publication date: 4 August 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-58741-7_5

Recommendations

• Godel on computability
• The developments of the concept of machine computability from 1936 to the 1960s
• Formalism and intuition in computability
• Logical Approaches to Computational Barriers
• scientific article; zbMATH DE number 5064404

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10)

Cites Work

• A note on the Entscheidungsproblem
• Hilbert's programs and beyond
• Recursively enumerable sets of positive integers and their decision problems
• Recursive Predicates and Quantifiers
• Church Without Dogma: Axioms for Computability
• Why Gödel didn't have church's thesis
• Godel on computability
• The inconsistency of certain formal logics
• The Richard Paradox
• Step by Recursive Step: Church's Analysis of Effective Calculability
• Title not available (Why is that?)

Cited In (7)

• Godel on computability
• The developments of the concept of machine computability from 1936 to the 1960s
• Formalism and intuition in computability
• The mathematician's bias -- and the return to embodied computation
• Logical Approaches to Computational Barriers
• Conceptual Confluence in 1936: Post and Turing
• Logical Approaches to Computational Barriers

This page was built for publication: Gödel's reception of Turing's model of computability: the shift of perception in 1934

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011634)