The universal computer : the road from Leibniz to Turing / Martin Davis.
By: Davis, Martin [author.].
Publisher: Boca Raton, Florida : CRC Press/Taylor & Francis Group, 2018Description: xv, 222 pages ; 24 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 9781138502086 (pbk. : alk. paper).Subject(s): Electronic digital computers -- History | Mathematicians -- BiographyGenre/Form: Print books.
Contents:
Leibniz's dream -- Boole turns logic into algebra -- Fregeb : 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.
| Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|
| On Shelf | QA76.17 .D38 2018 (Browse shelf) | Available | AU00000000012989 |
Total holds: 0
Browsing Alfaisal University Shelves , Shelving location: On Shelf Close shelf browser
|
|
|
|
|
|
|
||
| QA76.167 .L44 2019 The coevolution : the entwined futures of humans and machines / | QA76.17 .D36 2014 It began with Babbage : the genesis of computer science / | QA76.17 .D363 2018 The second age of computer science : from ALGOL genes to neural nets / | QA76.17 .D38 2018 The universal computer : the road from Leibniz to Turing / | QA76.17 .H49 2015 The computing universe : a journey through a revolution / | QA76.17 .W55 2020 Home computers : 100 icons that defined a digital generation / | QA76.2.A2 I87 2014 The innovators : how a group of inventors, hackers, geniuses, and geeks created the digital revolution / |
Includes bibliographical references and index.
Leibniz's dream -- Boole turns logic into algebra -- Fregeb : 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.