Article
Cassou-Noguès, Pierre;
(2008)
Gödel et la thèse de Turing
(/isis/citation/CBB000930661/)
Article
Michael Friedman;
(2016)
Über drei Erscheinungen von Unterschied in der Mathematik
(/isis/citation/CBB583491506/)
Book
B. Jack Copeland;
Carl J. Posy;
Oron Shagrir;
(2015)
Computability: Turing, Gödel, Church, and Beyond
(/isis/citation/CBB900019272/)
Book
Rod Adams;
(2011)
An Early History of Recursive Functions and Computability from Godel to Turing
(/isis/citation/CBB059820056/)
Article
Alessio Persichetti;
(2021)
The later Wittgenstein’s guide to contradictions
(/isis/citation/CBB312904403/)
Book
Andrew Hodges;
Douglas Hofstadter;
(2014)
Alan Turing: The Enigma: The Book That Inspired the Film "The Imitation Game"
(/isis/citation/CBB485951446/)
Article
Aldrich, John;
(2009)
England and Continental Probability in the Inter-War Years
(/isis/citation/CBB001021431/)
Article
Paula Quinon;
(2021)
Can Church’s thesis be viewed as a Carnapian explication?
(/isis/citation/CBB401301232/)
Book
Turing, Alan Mathison;
Appel, Andrew W.;
Feferman, Solomon;
(2012)
Alan Turing's Systems of Logic: The Princeton Thesis
(/isis/citation/CBB001213136/)
Book
Jack Copeland;
Jonathan Bowen;
Mark Sprevak;
Robin Wilson;
(2017)
The Turing Guide
(/isis/citation/CBB709222979/)
Article
Karela, Catherine;
(2010)
Hilbert on Different Notions of Completeness: A Conceptual and Historical Analysis
(/isis/citation/CBB001220619/)
Book
Grattan-Guiness, I.;
(2000)
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel
(/isis/citation/CBB000102346/)
Book
Tim Lethen;
(2021)
Gespräche, Vorträge, Séancen: Kurt Gödels Wiener Protokolle 1937/38: Transkriptionen und Kommentare
(/isis/citation/CBB086928957/)
Book
Grattan-Guinness, I.;
(2000)
The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel
(/isis/citation/CBB000111675/)
Article
Sayward, Charles;
(2005)
Steiner versus Wittgenstein: Remarks on Differing Views of Mathematical Truth
(/isis/citation/CBB000933620/)
Book
Davis, Martin;
(2000)
The Universal Computer: The Road from Leibniz to Turing
(/isis/citation/CBB000102163/)
Review
Christopher P. Porter;
(2019)
Review of "Computability: Turing, Gödel, Church, and Beyond"
(/isis/citation/CBB429673039/)
Chapter
Hodges, Wilfrid;
(2009)
Set Theory, Model Theory, and Computability Theory
(/isis/citation/CBB001210350/)
Book
Emanuele Gambetta;
(2023)
Il Teorema di Dio
(/isis/citation/CBB058518438/)
Book
Gödel, Kurt;
Feferman, Solomon;
Dawson, John W., Jr.;
Kleene, Stephen C.;
Moore, Gregory H.;
Solovay, Robert M.;
Heijenoort, Jean van;
(2001)
Collected Works, Volume 1: Publications, 1929--1936
(/isis/citation/CBB000630371/)
Be the first to comment!