Article
Cassou-Noguès, Pierre;
(2008)
Gödel et la thèse de Turing
(/isis/citation/CBB000930661/)
Book
B. Jack Copeland;
Carl J. Posy;
Oron Shagrir;
(2015)
Computability: Turing, Gödel, Church, and Beyond
(/isis/citation/CBB900019272/)
Article
Michael Friedman;
(2016)
Über drei Erscheinungen von Unterschied in der Mathematik
(/isis/citation/CBB583491506/)
Book
Rod Adams;
(2011)
An Early History of Recursive Functions and Computability from Godel to Turing
(/isis/citation/CBB059820056/)
Book
Jack Copeland;
Jonathan Bowen;
Mark Sprevak;
Robin Wilson;
(2017)
The Turing Guide
(/isis/citation/CBB709222979/)
Book
Turing, Alan Mathison;
Appel, Andrew W.;
Feferman, Solomon;
(2012)
Alan Turing's Systems of Logic: The Princeton Thesis
(/isis/citation/CBB001213136/)
Book
Andrew Hodges;
Douglas Hofstadter;
(2014)
Alan Turing: The Enigma: The Book That Inspired the Film "The Imitation Game"
(/isis/citation/CBB485951446/)
Article
Alessio Persichetti;
(2021)
The later Wittgenstein’s guide to contradictions
(/isis/citation/CBB312904403/)
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
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/)
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/)
Review
Christopher P. Porter;
(2019)
Review of "Computability: Turing, Gödel, Church, and Beyond"
(/isis/citation/CBB429673039/)
Book
Davis, Martin;
(2000)
The Universal Computer: The Road from Leibniz to Turing
(/isis/citation/CBB000102163/)
Chapter
Hodges, Wilfrid;
(2009)
Set Theory, Model Theory, and Computability Theory
(/isis/citation/CBB001210350/)
Article
Miguel Angel Martin-Delgado;
(2013)
Alan Turing y los orígenes de la complejidad
(/isis/citation/CBB020483497/)
Book
Alan Turing;
Fabio Grigenti;
(2021)
Le basi chimiche della morfogenesi
(/isis/citation/CBB402795352/)
Be the first to comment!