
Martin Davis
The Road from
Leibniz to Turing
the
Universal
Computer
leibniz
gödel
hilbertfregeboole cantor
T
u
r
i
n
g
C
e
n
t
e
n
a
r
y
E
d
i
t
i
o
n
turing
the
Universal Computer
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who
began it all. 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 com-
puter age
—the logicians.
The story begins with Leibniz in the 17
th
century and then focuses on ...