"[A] thoroughly enjoyable mix of biographical portraits and theoretical mathematics....Full of well-honed anecdotes and telling detail, the book reads like a masterful lecture."
"How do you trace the intellectual lineage of something as complex and ubiquitous as the computer? Do you start from von Neumann or Babbage, Archimedes or al-Khwarizmi--or perhaps from the foggy origins of the abacus and the digit zero? In this beautifully written book, Martin Davis...argues that computers are in many ways the culmination of the glorious and powerful mathematical tradition we now call logic...[W]hatever the future may hold, the influence of logic on the development of computers and computation is undeniable and deep--and it could not have found a more eloquent and worthy chronicler."
From the Publisher
This accessible survey traces the history of computer science, profiles influential mathematicians and logicians, celebrates the long-term impact of their innovations, and probes the technological and intellectual foundation of this rapidly evolving field.