scientific article; zbMATH DE number 1870428
From MaRDI portal
Publication:4793040
zbMath1014.03009MaRDI QIDQ4793040
Publication date: 18 February 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) 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 (8)
On mind \& Turing's machines ⋮ The dependence of computability on numerical notations ⋮ Can Church's thesis be viewed as a Carnapian explication? ⋮ Three books on computability, with a special focus on Turing's legacy. Essay review of: A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem. Book review of: R. Adams, An early history of recursive functions and computability from Gödel to Turing; B. J. Copeland (ed.) et al., Computability. Turing, Gödel, church, and beyond; G. Sommaruga and T. Strahm (ed.), Turing's revolution. The impact of his ideas about computability ⋮ Theses for Computation and Recursion on Concrete and Abstract Structures ⋮ Proving Things About the Informal ⋮ Why Post Did [Not Have Turing’s Thesis] ⋮ Mathematical and Technological Computability
This page was built for publication:
