Libro Turing's Vision: The Birth Of Computer Science

Descripción

La fascinante y notable teoría de Turing, que ahora constituye la base de la ciencia informática, explicada para el lector general.

En 1936, cuando tenía apenas veinticuatro años, Alan Turing escribió un artículo notable en el que esbozaba la teoría de la computación, exponiendo las ideas que sustentan a todos los ordenadores modernos. Esta teoría revolucionaria y poderosa constituye ahora la base de la ciencia 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 sostiene que la fortaleza de la teoría de Turing es su simplicidad y que, explicada de manera directa, es perfectamente comprensible para el no especialista. Como escribe Marvin Minsky: "La absoluta simplicidad de la base de la teoría y el camino extraordinariamente corto desde esta base hasta sus conclusiones lógicas y sorprendentes le dan 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 con la base y construye sistemáticamente hasta las sorprendentes conclusiones. También analiza la teoría de Turing en el contexto de la historia matemática, otras visiones de la computación (incluidas las de Alonzo Church), el trabajo posterior de Turing y el nacimiento de la computadora moderna.

En el artículo "Sobre los números computables, con una aplicación al problema de la endoscopia ", Turing reflexiona detenidamente sobre la forma en que los seres humanos realizan los cálculos, descomponiéndolos en una secuencia de pasos y luego construyendo 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 problemas de decisión bien conocidos 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 sobre los números computables.