The universal computer : the road from Leibniz to Turing / Martin Davis.
Publication details: Boca Raton, Fla. : CRC Press, 2012.Edition: Turing centenary edDescription: xiv, 224 p. : ill., charts ; 24 cmISBN:- 9781466505193 (alk. paper)
- 004 23
- QA76.17 .D38 2012
| Item type | Current library | Shelving location | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Book
|
NMC Library | Stacks | QA76.17 .D38 2012 (Browse shelf(Opens below)) | 1 | Available | 33039001212579 |
Browsing NMC Library shelves, Shelving location: Stacks Close shelf browser (Hides shelf browser)
| QA76 .M21453 2012 Nine algorithms that changed the future : the ingenious ideas that drive today's computers / | QA76.17 .A85 2010 Computer / | QA76.17 .C467 2012 Computing : a concise history / | QA76.17 .D38 2012 The universal computer : the road from Leibniz to Turing / | QA76.17 .D97 2012 Turing's cathedral : the origins of the digital universe / | QA76.17 .H49 2015 The computing universe : a journey through a revolution / | QA76.17 .I53 2011 The computer : a very short introduction / |
Includes bibliographical references and index.
Leibniz's dream -- Boole turns logic into algebra -- Frege : from breakthrough to despair -- Cantor : detour through infinity -- Hilbert to the rescue -- Godel upsets the applecart -- Turing conceives of the all-purpose computer -- Making the first universal computers -- Beyond Leibniz's dream -- Epilogue -- Notes.