Título: THE UNIVERSAL COMPUTER: THE ROAD FROM LEIBNIZ TO TURING Autor: Martin Davis Editorial: AK Peters Páginas: 240 Idioma: Inglés Fecha de publicación: Diciembre 2011 ISBN: 978-1466505193

INFORMACIÓN EDITORIAL

El ritmo asombrosamente rápido de la evolución de la informática hace que sea fácil pasar por alto a los pioneros. Escrito por Martin Davis, lógico e investigador respetado en teoría de la computación, The Universal Computer: The Road from Leibniz to Turing explora las fascinantes vidas, ideas y descubrimientos matemáticos de siete notables. Cuenta las historias de los héroes olvidados de la era de Los ordenadores: los lógicos.

La historia comienza con Leibniz en el siglo 17 y luego se centra en Boole, Frege, Cantor, Hilbert, Gödel y, antes de pasar a Turing. El análisis de Turing de los procesos algorítmicos condujo a una máquina única que podría ser programada para llevar a cabo procesos: el ordenador. Davis describe cómo este grupo increíble, con una vida tan extraordinaria como sus logros, lidia con el razonamiento lógico y su mecanización. Mediante la investigación de sus logros y fracasos, muestra cómo estos pioneros allanaron el camino hacia la informática actual.

Davis analiza el éxito de la IBM Watson en Jeopardy, reorganiza la información sobre la incompletitud, y agrega información sobre Konrad Zuse.

Más información: AK Peters