Culture, Informatics, Mathematics, Uncategorized

Engines of Logic

Last night I finished reading the book ‘Engines of Logic: Mathematicians and the Origin of the Computer’ by Martin Davis. This book is about the history of logic and describes how some of the prominent people and their ideas paved the way for today’s computers.

It traces the development of the computer through the life and work of logicians/mathematicians like Gottfried Leibniz, George Boole, David Hilbert, Georg Cantor, Kurt Gödel, Alan Turing and John von Neumann. It’s not a history of computing devices although of course some of these things come up.

It’s an excellent book, and a must-read for anyone wishing to understand the concepts upon which our everyday computers are based.

By the way, the same book was also published as ‘The Universal Computer. The Road from Leibniz to Turing’.

1 Comment

speak up

Add your comment below, or trackback from your own site.

Subscribe to these comments.

Be nice. Keep it clean. Stay on topic. No spam.

You can use these tags: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

*Required Fields