Publication:5704852
From MaRDI portal
zbMath1074.01015MaRDI QIDQ5704852
Publication date: 16 November 2005
01A75: Collected or selected works; reprintings or translations of classics
03-03: History of mathematical logic and foundations
Related Items
Completeness of a functional system for surjective functions, Closure of a priori knowability under a priori knowable material implication, Transfinite recursion and computation in the iterative conception of set, 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, A temporal semantics for nilpotent minimum logic