Publication:4793040
From MaRDI portal
zbMath1014.03009MaRDI QIDQ4793040
Publication date: 18 February 2003
00A30: Philosophy of mathematics
01A60: History of mathematics in the 20th century
03A05: Philosophical and critical aspects of logic and foundations
03-03: History of mathematical logic and foundations
03D10: Turing machines and related notions
Related Items
Theses for Computation and Recursion on Concrete and Abstract Structures, Proving Things About the Informal, Mathematical and Technological Computability, 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, On mind \& Turing's machines