Davis, Martin (Author)
Description Logicians in the history of computers. Traces the development of the computer in terms of the concepts of logicians such as Leibniz, Boole, and Gödel, culminating in the insights of Alan Turing.
Review Kalos, Malvin H.; Post, Douglass E. (2002) Review of "The Universal Computer: The Road from Leibniz to Turing". Physics in Perspective (p. 118).
Chapter
Hodges, Wilfrid;
(2009)
Set Theory, Model Theory, and Computability Theory
(/isis/citation/CBB001210350/)
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
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/)
Review
Christopher P. Porter;
(2019)
Review of "Computability: Turing, Gödel, Church, and Beyond"
(/isis/citation/CBB429673039/)
Book
Agar, Jon;
(2001)
Turing and the Universal Machine: The Making of the Modern Computer
(/isis/citation/CBB000358323/)
Book
Turing, Alan Mathison;
Appel, Andrew W.;
Feferman, Solomon;
(2012)
Alan Turing's Systems of Logic: The Princeton Thesis
(/isis/citation/CBB001213136/)
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/)
Article
McCullough, Philip Murray;
(2010)
Otto in the Chinese Room
(/isis/citation/CBB001023796/)
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/)
Book
Sven Ove Hansson;
(2018)
Technology and Mathematics: Philosophical and Historical Investigations
(/isis/citation/CBB897570314/)
Book
William Boos;
Florence S. Boos;
(2018)
Metamathematics and the Philosophical Tradition
(/isis/citation/CBB060593902/)
Article
Bouveresse, Jacques;
(2001)
Mathématiques et logique chez Leibniz
(/isis/citation/CBB000770919/)
Book
Leavitt, David;
(2006)
The Man Who Knew Too Much: Alan Turing and the Invention of the Computer
(/isis/citation/CBB001033362/)
Book
Lavington, S. H.;
Campbell-Kelly, Martin;
(2012)
Alan Turing and His Contemporaries: Building the World's First Computers
(/isis/citation/CBB001251446/)
Article
Copeland, B. Jack;
(2011)
The Manchester Computer: A Revised History. Part 2: The Baby Computer
(/isis/citation/CBB001231721/)
Article
Dujnic, Josef;
Fristacký, Norbert;
Molnár, Ludovít;
Plander, Ivan;
Rovan, Branislav;
(1999)
On the History of Computer Science, Computer Engineering, and Computer Technology Development in Slovakia
(/isis/citation/CBB000112026/)
Book
Chrisley, Ronald;
(2000)
Artificial Intelligence: Critical Concepts
(/isis/citation/CBB000102338/)
Article
Copeland, B. Jack;
(2011)
The Manchester Computer: A Revised History. Part 1: The Memory
(/isis/citation/CBB001231720/)
Be the first to comment!