La computadora Universal. De Leibniz a Turing
Imprimir
La computadora Universal. De Leibniz a Turing
Categoría: Divulgación matemática
Autor:
M. Davis
Editorial:
Debate (Colección: Referencias)
Año de publicación: 
2002
Nº de hojas:
296
ISBN:
84-8306-953-9

El objetivo principal de este texto es explicar el papel de la lógica en el desarrollo de la computación moderna, tanto desde el punto de vista teórico como para la materialización física de los ordenadores. Es interesante la observación de que el paso definitivo para la creación de los ordenadores que conocemos hoy día lo dio un lógico matemático, J. Von Neumann, al publicar en 1945 un informe sobre el diseño del EDVAC que se basaba en la idea (hoy muy aceptada, pero entonces revolucionaria) de que una máquina de calcular es en realidad un artefacto lógico. El libro narra la historia de los conceptos lógicos vinculados a los modernos ordenadores al mismo tiempo que nos descubre a las personas que desarrollaron dichos conceptos, y sus motivaciones internas. En particular, son personajes centrales de este texto los siguientes matemáticos: Leibniz, Boole, Frege, Cantor, Hilbert, Gödel, Turing y von Neumann.

El texto está escrito por Martín Davis, un importante lógico americano al que podemos considerar sucesor directo de los anteriores (fue alumno de tesis de Alonzo Church. en Princeton) . En mi opinión, este libro complementa muy bien a otro ya reseñado en En Breve ("Los Lógicos", de Jesús Mosterín), tanto porque la colección de personajes elegidos es distinta como porque muchas de las anécdotas escogidas son nuevas.

(Reseña aparecida en EN BREVE vol. 3, no. 1, 2003)
 Materias: Lógica, Historia de los ordenadores
 Autor de la reseña: J. M. Almira (Universidad de Jaen)

 
Volver