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.