The universal computer : the road from Leibniz to Turing /
Davis, Martin, 1928-
The universal computer : the road from Leibniz to Turing / Martin Davis. - Turing centenary ed. - Boca Raton, Fla. : CRC Press, 2012. - xiv, 224 p. : ill., charts ; 24 cm.
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.
9781466505193 (alk. paper)
2011039841
Electronic digital computers--History.
QA76.17 / .D38 2012
004
The universal computer : the road from Leibniz to Turing / Martin Davis. - Turing centenary ed. - Boca Raton, Fla. : CRC Press, 2012. - xiv, 224 p. : ill., charts ; 24 cm.
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.
9781466505193 (alk. paper)
2011039841
Electronic digital computers--History.
QA76.17 / .D38 2012
004