scientific article; zbMATH DE number 6308207

zbMath1372.03091MaRDI QIDQ4981737

Saul A. Kripke

Publication date: 24 June 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Turing machinesChurch-Turing thesisGödels completeness theorem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10)

Related Items (5)

Is there a ``Hilbert thesis? ⋮ What is the Church-Turing Thesis? ⋮ The decision problem for effective procedures ⋮ Why Turing’s Thesis Is Not a Thesis ⋮ Gödel's reception of Turing's model of computability: the shift of perception in 1934

This page was built for publication: