scientific article; zbMATH DE number 2229435
From MaRDI portal
Publication:5704852
zbMath1074.01015MaRDI QIDQ5704852
Publication date: 16 November 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03)
Related Items
Closure of a priori knowability under a priori knowable material implication ⋮ On mind \& Turing's machines ⋮ Некоторые предварительные условия для создания «многомировой теории всего» и развития интеллектуальной интуиции ⋮ Completeness of a functional system for surjective functions ⋮ 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 ⋮ Gödel’s Cantorianism ⋮ Transfinite recursion and computation in the iterative conception of set ⋮ A temporal semantics for nilpotent minimum logic