Title: Engines of logic : mathematicians and the origin of the computer /
Authors: Davis, Martin, 1928-
Publisher: Norton,
Year: 2001
Subjects: Electronic digital computers History.; Logica.; Computers.; Wiskundigen.
Contents: Leibniz's dream -- Boole turns logic into algebra -- Frege : from breakthrough to despair -- Cantor : detour through infinity -- Hilbert to the rescue -- Gödel upsets the applecart -- Turing conceives of the all-purpose computer -- Making the first universal computers -- Beyond Leibniz's dream.