The Universal Computer

Author: Martin Davis
Edition: 1
Binding: Paperback
ISBN: 1466505192
Publisher: A K Peters/CRC Press

The Universal Computer: The Road from Leibniz to Turing

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all.
"The Universal Computer" traces the development of computer concepts by exploring with captivating detail the lives and work of the geniuses who first formulated them. Readers can come away with a revelatory understanding of how and why computers work and how the algorithms within them came to be. Major review attention.
Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age - the logicians. The story begins with Leibniz in the 17th century and then focuses on Boole, Frege, Cantor, Hilbert, and GAdel, before turning to Turing. Turing's analysis of algorithmic processes led to a single, all-purpose machine that could be programmed to carry out such processes-the computer. Davis describes h

Turing's Cathedral: The Origins of the Digital Universe

"It is possible to invent a single machine which can be used to compute any computable sequence," twenty-four-year-old Alan Turing announced in 1936. In Turing's Cathedral, George Dyson f

Computability and Unsolvability

Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general th

Nine Algorithms That Changed the Future: The Ingenious Ideas That Drive Today's Computers

Every day, we use our computers to perform remarkable feats. A simple web search picks out a handful of relevant needles from the world's biggest haystack: the billions of pages on the World Wide Web.

Alan Turing: The Enigma The Centenary Edition

It is only a slight exaggeration to say that the British mathematician Alan Turing (1912-1954) saved the Allies from the Nazis, invented the computer and artificial intelligence, and anticipated gay l

The Golden Ticket: P, NP, and the Search for the Impossible

The P-NP problem is the most important open problem in computer science, if not all of mathematics. The Golden Ticket provides a nontechnical introduction to P-NP, its rich history, and its alg