Godel on computability
From MaRDI portal
Publication:3422400
DOI10.1093/philmat/nkj005zbMath1111.03003OpenAlexW1965680157MaRDI QIDQ3422400
Publication date: 13 February 2007
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/philmat/nkj005
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)
Related Items (6)
On mind \& Turing's machines ⋮ Why Turing’s Thesis Is Not a Thesis ⋮ Hilbert's Axiomatics as ‘Symbolic Form’? ⋮ Gödel's reception of Turing's model of computability: the shift of perception in 1934 ⋮ Gödel's Introduction to Logic in 1939 ⋮ Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing
This page was built for publication: Godel on computability
