Universal computer :
Davis, Martin
Universal computer : the road from Leibniz to Turing Martin Davis. - Turing centenary ed. - Boca Raton, Fla. : CRC Press, 2012. - xiv, 224 p. : ill. ; 23 cm.
Includes bibliographical references (p. 209-216) 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
2011039841
Electronic digital computers--History.
QA76.17 / .D38 2012
004 / DAV-U
Universal computer : the road from Leibniz to Turing Martin Davis. - Turing centenary ed. - Boca Raton, Fla. : CRC Press, 2012. - xiv, 224 p. : ill. ; 23 cm.
Includes bibliographical references (p. 209-216) 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
2011039841
Electronic digital computers--History.
QA76.17 / .D38 2012
004 / DAV-U