Book
Davis, Martin;
(2000)
The Universal Computer: The Road from Leibniz to Turing
(/isis/citation/CBB000102163/)
Article
Michael Friedman;
(2016)
Über drei Erscheinungen von Unterschied in der Mathematik
(/isis/citation/CBB583491506/)
Review
Christopher P. Porter;
(2019)
Review of "Computability: Turing, Gödel, Church, and Beyond"
(/isis/citation/CBB429673039/)
Book
B. Jack Copeland;
Carl J. Posy;
Oron Shagrir;
(2015)
Computability: Turing, Gödel, Church, and Beyond
(/isis/citation/CBB900019272/)
Article
Cooper, S. Barry;
(2012)
Incomputability after Alan Turing
(/isis/citation/CBB001211736/)
Article
Copeland, B. Jack;
Proudfoot, Diane;
(2011-2012)
Alan Turing, Father of the Modern Computer
(/isis/citation/CBB001210378/)
Book
Turing, Alan Mathison;
Copeland, B. Jack;
(2004)
The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus the Secrets of Enigma
(/isis/citation/CBB000610232/)
Chapter
Mancosu, Paolo;
Zach, Richard;
Badesa, Calixto;
(2009)
The Development of Mathematical Logic from Russell to Tarski, 1900--1935
(/isis/citation/CBB001210349/)
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/)
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
Turing, Alan Mathison;
Appel, Andrew W.;
Feferman, Solomon;
(2012)
Alan Turing's Systems of Logic: The Princeton Thesis
(/isis/citation/CBB001213136/)
Article
Sojo, Aurea Anguera de;
Ares, Juan;
Lara, Juan A.;
Lizcano, David;
Martínez, María A.;
Pazos, Juan;
(2013)
Turing and the Serendipitous Discovery of the Modern Computer
(/isis/citation/CBB001320868/)
Article
McCullough, Philip Murray;
(2010)
Otto in the Chinese Room
(/isis/citation/CBB001023796/)
Chapter
Awodey, S.;
(2003)
Carnap vs. Gödel on Syntax and Tolerance
(/isis/citation/CBB001213683/)
Article
Maddy, Penelope;
(1980)
Perception and mathematical intuition
(/isis/citation/CBB000005837/)
Chapter
Nicoletta Sabadini;
Filippo Schiavio;
(2016)
Da Turing all'ipercomputazione: un approccio algebrico all'interazione tra sistemi aperti
(/isis/citation/CBB968632247/)
Book
Agar, Jon;
(2001)
Turing and the Universal Machine: The Making of the Modern Computer
(/isis/citation/CBB000358323/)
Book
Lavington, S. H.;
Campbell-Kelly, Martin;
(2012)
Alan Turing and His Contemporaries: Building the World's First Computers
(/isis/citation/CBB001251446/)
Book
Link, Godehard;
(2004)
One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy
(/isis/citation/CBB001212888/)
Chapter
Weiner, Joan;
(2010)
Understanding Frege's Project
(/isis/citation/CBB001211648/)
Be the first to comment!