La visión de Turing: El nacimiento de la informática

Opiniones de los lectores

El libro recibe elogios generalizados por sus explicaciones claras y accesibles de conceptos complejos de la informática y la lógica matemática, en particular en relación con Alan Turing y sus contribuciones. Muchos lectores aprecian su contexto histórico y la profundidad de la información que proporciona, lo que lo hace valioso tanto para aficionados como para profesionales de la informática. Sin embargo, algunas reseñas mencionan deficiencias, como detalles insuficientes en ciertas áreas, errores tipográficos y el deseo de más información sobre la vida de Turing y el contexto más amplio de la informática.

⬤ Explicaciones claras y comprensibles de temas complejos de informática y lógica matemática.
⬤ Proporciona un valioso contexto histórico e introduce a los lectores en figuras clave como Alan Turing y Charles Sanders Pierce.
⬤ Accesible a un público general, por lo que es adecuado tanto para principiantes como para aquellos con cierta experiencia en el campo.
⬤ Atractivo estilo narrativo que mantiene el interés de los lectores.
⬤ Buena bibliografía para lecturas adicionales.

⬤ El capítulo sobre el cálculo lambda se considera insuficientemente detallado.
⬤ Algunos contenidos técnicos pueden estar más allá de la comprensión común.
⬤ El libro contiene varios errores tipográficos.
⬤ Algunos lectores desean más detalles sobre la vida de Turing y el desarrollo de la tecnología informática.
⬤ Algunas partes del libro pueden parecer apresuradas o carentes de profundidad, especialmente hacia el final.

(basado en 20 opiniones de lectores)

Título original:

Turing's Vision: The Birth of Computer Science

Contenido del libro:

Una exploración accesible y fascinante de cómo la teoría matemática de Alan Turing dio lugar a la informática moderna y sus aplicaciones, desde el ordenador de sobremesa a los teléfonos móviles.

En 1936, cuando sólo tenía veinticuatro años, Alan Turing escribió un extraordinario artículo en el que esbozaba la teoría de la computación, exponiendo las ideas que subyacen en todos los ordenadores modernos. Esta teoría innovadora y poderosa constituye ahora la base de la informática. En La visión de Turing, Chris Bernhardt explica la teoría, la contribución más importante de Turing, para el lector general. Bernhardt argumenta que el punto fuerte de la teoría de Turing es su sencillez y que, explicada de forma directa, es eminentemente comprensible para los no especialistas. Como escribe Marvin Minsky: "La mera simplicidad de los fundamentos de la teoría y el camino extraordinariamente corto desde estos fundamentos hasta sus conclusiones lógicas y sorprendentes confieren a la teoría una belleza matemática que por sí sola le garantiza un lugar permanente en la teoría de la computación." Bernhardt comienza por los fundamentos y llega sistemáticamente a las sorprendentes conclusiones. También analiza la teoría de Turing en el contexto de la historia de las matemáticas, otras visiones de la computación (incluidas las de Alonzo Church), los trabajos posteriores de Turing y el nacimiento del ordenador moderno.

En el artículo "On Computable Numbers, with an Application to the Entscheidungsproblem" (Sobre números computables, con una aplicación al Entscheidungsproblem), Turing reflexiona detenidamente sobre la forma en que los humanos realizan la computación, descomponiéndola en una secuencia de pasos, y luego construye máquinas teóricas capaces de realizar cada paso. Turing quería demostrar que había problemas que estaban más allá de la capacidad de cualquier ordenador para resolverlos.

En particular, quería encontrar un problema de decisión que pudiera demostrar que era indecidible. Para explicar las ideas de Turing, Bernhardt examina tres conocidos problemas de decisión para explorar el concepto de indecidibilidad.

Investiga las máquinas de computación teóricas, incluidas las máquinas de Turing.

Explica las máquinas universales.

Y demuestra que ciertos problemas son indecidibles, incluido el problema de Turing relativo a los números computables.