Book ID: CBB000102163

The Universal Computer: The Road from Leibniz to Turing (2000)

unapi

Davis, Martin (Author)


W. W. Norton & Co.


Publication Date: 2000
Physical Details: xii + 257 pp., illus., ports., bibl., index
Language: English

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.


Reviewed By

Review Kalos, Malvin H.; Post, Douglass E. (2002) Review of "The Universal Computer: The Road from Leibniz to Turing". Physics in Perspective (p. 118). unapi

Citation URI
https://data.isiscb.org/isis/citation/CBB000102163/

Similar Citations

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 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/)

Authors & Contributors
Copeland, B. Jack
Turing, Alan Mathison
Porter, Christopher P.
Friedman, Michael
Sojo, Aurea Anguera de
Shagrir, Oron
Concepts
Computers and computing
Logic
Computer science
Development of technology; change in technology
Mathematics
Technology
Time Periods
20th century
20th century, early
Ancient
21st century
20th century, late
19th century
Places
Manchester (England)
Great Britain
Middle and Near East
United States
Slovakia
Mesopotamia
Institutions
Princeton University
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment