The universal computer : the road from Leibniz to Turing
(eBook)
Author
Published
Boca Raton, FL : CRC Press, ©2012.
Format
eBook
Edition
Turing centenary ed.
ISBN
9781466505209, 1466505206, 9781138413931, 1138413933
Physical Desc
1 online resource (xiv, 224 pages) : illustrations
Status
Description
Loading Description...
Also in this Series
Checking series information...
Subjects
Bisac Subjects
OCLC Fast Subjects
Other Subjects
More Details
Language
English
UPC
9786613908667
Notes
General Note
"An A K Peters Book."
Bibliography
Includes bibliographical references and index.
Description
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age -- the logicians. The story begins with Leibniz in the 17th century and then focuses on Boole, Frege, Cantor, Hilbert, and Godel, before turning to Turing. Turing's analysis of algorithmic pro.
Local note
O'Reilly,O'Reilly Online Learning: Academic/Public Library Edition
Reviews from GoodReads
Loading GoodReads Reviews.
Citations
APA Citation, 7th Edition (style guide)
Davis, M. (2012). The universal computer: the road from Leibniz to Turing (Turing centenary ed.). CRC Press.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Davis, Martin, 1928-2023. 2012. The Universal Computer: The Road From Leibniz to Turing. CRC Press.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Davis, Martin, 1928-2023. The Universal Computer: The Road From Leibniz to Turing CRC Press, 2012.
MLA Citation, 9th Edition (style guide)Davis, Martin. The Universal Computer: The Road From Leibniz to Turing Turing centenary ed., CRC Press, 2012.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouped Work ID
629f17f7-7741-52c4-3682-e8a0885cff8c-eng
Grouping Information
| Grouped Work ID | 629f17f7-7741-52c4-3682-e8a0885cff8c-eng |
|---|---|
| Full title | universal computer the road from leibniz to turing |
| Author | davis martin |
| Grouping Category | book |
| Last Update | 2024-04-16 12:23:35PM |
| Last Indexed | 2024-04-17 03:00:13AM |
Book Cover Information
| Image Source | syndetics |
|---|---|
| First Loaded | Jun 21, 2022 |
| Last Used | Apr 9, 2024 |
Marc Record
| First Detected | Nov 09, 2022 03:41:26 PM |
|---|---|
| Last File Modification Time | Apr 16, 2024 12:28:12 PM |
MARC Record
| LEADER | 04700cam a2200877 a 4500 | ||
|---|---|---|---|
| 001 | ocn773034282 | ||
| 003 | OCoLC | ||
| 005 | 20240405112445.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 120117s2012 flua ob 001 0 eng d | ||
| 010 | |z 2011039841 | ||
| 019 | |a 809977291|a 859859751|a 1048236507|a 1050973181|a 1065719012|a 1076644867|a 1229469677|a 1281713995 | ||
| 020 | |a 9781466505209|q (electronic bk.) | ||
| 020 | |a 1466505206|q (electronic bk.) | ||
| 020 | |a 9781138413931|q (hbk.) | ||
| 020 | |a 1138413933 | ||
| 020 | |z 9781466505193 | ||
| 020 | |z 1466505192 | ||
| 024 | 8 | |a 9786613908667 | |
| 029 | 1 | |a AU@|b 000049145822 | |
| 029 | 1 | |a CHBIS|b 011431957 | |
| 029 | 1 | |a CHNEW|b 000618329 | |
| 029 | 1 | |a CHVBK|b 567546373 | |
| 029 | 1 | |a DEBSZ|b 397217145 | |
| 029 | 1 | |a NLGGC|b 401255204 | |
| 029 | 1 | |a NZ1|b 14243802 | |
| 035 | |a (OCoLC)773034282|z (OCoLC)809977291|z (OCoLC)859859751|z (OCoLC)1048236507|z (OCoLC)1050973181|z (OCoLC)1065719012|z (OCoLC)1076644867|z (OCoLC)1229469677|z (OCoLC)1281713995 | ||
| 037 | |a 390866|b MIL | ||
| 040 | |a N$T|b eng|e pn|c N$T|d YDXCP|d E7B|d EBLCP|d MHW|d UIU|d CDX|d OCLCO|d OCLCQ|d DEBSZ|d OCLCF|d OCLCQ|d OCLCO|d UIU|d CRCPR|d OCLCQ|d COO|d OCLCQ|d OCLCO|d CUS|d MERUC|d BUF|d UUM|d CEF|d VT2|d OCLCQ|d WYU|d LVT|d G3B|d S9I|d UKAHL|d OCLCQ|d OCLCO|d OCLCQ|d OCLCA|d OCLCO|d OCLCL | ||
| 049 | |a TKLA | ||
| 050 | 4 | |a QA76.17|b .D38 2012eb | |
| 072 | 7 | |a COM|x 013000|2 bisacsh | |
| 072 | 7 | |a COM|x 014000|2 bisacsh | |
| 072 | 7 | |a COM|x 018000|2 bisacsh | |
| 072 | 7 | |a COM|x 067000|2 bisacsh | |
| 072 | 7 | |a COM|x 032000|2 bisacsh | |
| 072 | 7 | |a COM|x 037000|2 bisacsh | |
| 072 | 7 | |a COM|x 052000|2 bisacsh | |
| 082 | 0 | 4 | |a 004|2 23 |
| 100 | 1 | |a Davis, Martin,|d 1928-2023,|e author.|1 https://id.oclc.org/worldcat/entity/E39PBJjCKmQPK7w8QbCKCDbjmd | |
| 245 | 1 | 4 | |a The universal computer :|b the road from Leibniz to Turing /|c Martin Davis. |
| 246 | 1 | |i Title page:|a Universal computer : the road from Liebniz to Turing | |
| 250 | |a Turing centenary ed. | ||
| 260 | |a Boca Raton, FL :|b CRC Press,|c ©2012. | ||
| 300 | |a 1 online resource (xiv, 224 pages) :|b illustrations | ||
| 336 | |a text|b txt|2 rdacontent | ||
| 337 | |a computer|b c|2 rdamedia | ||
| 338 | |a online resource|b cr|2 rdacarrier | ||
| 500 | |a "An A K Peters Book." | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Leibniz's dream -- Boole turns logic into algebra -- Frege : from breakthrough to despair -- Cantor : detour through infinity -- Hilbert to the rescue -- Gödel upsets the applecart -- Turing conceives of the all-purpose computer -- Making the first universal computers -- Beyond Leibniz's dream. | |
| 520 | |a The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age -- the logicians. The story begins with Leibniz in the 17th century and then focuses on Boole, Frege, Cantor, Hilbert, and Godel, before turning to Turing. Turing's analysis of algorithmic pro. | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a O'Reilly|b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Electronic digital computers|x History. | |
| 650 | 6 | |a Ordinateurs|x Histoire. | |
| 650 | 7 | |a COMPUTERS|x Computer Literacy.|2 bisacsh | |
| 650 | 7 | |a COMPUTERS|x Computer Science.|2 bisacsh | |
| 650 | 7 | |a COMPUTERS|x Data Processing.|2 bisacsh | |
| 650 | 7 | |a COMPUTERS|x Hardware|x General.|2 bisacsh | |
| 650 | 7 | |a COMPUTERS|x Information Technology.|2 bisacsh | |
| 650 | 7 | |a COMPUTERS|x Machine Theory.|2 bisacsh | |
| 650 | 7 | |a COMPUTERS|x Reference.|2 bisacsh | |
| 650 | 7 | |a Electronic digital computers|2 fast | |
| 655 | 0 | |a Electronic books. | |
| 655 | 7 | |a History|2 fast | |
| 758 | |i has work:|a The universal computer (Text)|1 https://id.oclc.org/worldcat/entity/E39PCFxR8q3GMwtmCkxrcxDwmd|4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version:|a Davis, Martin, 1928-|t Universal computer.|b Turing centenary ed.|d Boca Raton, FL : CRC Press, ©2012|z 9781466505193|w (DLC) 2011039841|w (OCoLC)756596194 |
| 856 | 4 | 0 | |u https://ezproxy.knoxlib.org/login?url=https://learning.oreilly.com/library/view/~/9781466505209/?ar |
| 938 | |a Askews and Holts Library Services|b ASKH|n AH24074007 | ||
| 938 | |a Coutts Information Services|b COUT|n 23413002 | ||
| 938 | |a CRC Press|b CRCP|n AKP0KE16055PDF | ||
| 938 | |a ebrary|b EBRY|n ebr10522552 | ||
| 938 | |a YBP Library Services|b YANK|n 7265087 | ||
| 994 | |a 92|b TKL | ||