Turings Vision The Birth Of Computer Science (the Mit Press, De Bernhardt, Chris. Editorial The Mit Press, Tapa Blanda En Inglés, 2017

Descripción

Turings fascinating and remarkable theory, which now forms the basis of computer science, explained for the general reader.

En 1936, cuando tenía solo veinticuatro años, Alan Turing escribió un notable artículo en el que esbozó la teoría de la computación, sentando las bases de todas las computadoras modernas. Esta teoría innovadora y poderosa ahora forma la base de la informática. En Turings Vision, Chris Bernhardt explica la teoría, la contribución más importante de Turing, para el lector general. Bernhardt argumenta que la fortaleza de la teoría de Turing radica en su simplicidad, y que, explicada de manera clara, es comprensible para el no especialista.

Como escribe Marvin Minsky, “La pura simplicidad de la base de la teoría y el extraordinario camino corto desde esta base hasta sus lógicas y sorprendentes conclusiones le otorgan a la teoría una belleza matemática que garantiza su 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 examina 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 Entscheidungsproblem”, Turing reflexiona cuidadosamente sobre cómo 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 computadora para resolver; en particular, quería encontrar un problema de decisión que pudiera probar 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 máquinas de computación teóricas, incluidas las máquinas de Turing; explica máquinas universales; y demuestra que ciertos problemas son indecidibles, incluido el problema de Turing sobre números computables.

Revisión

La deslumbrante variedad de aplicaciones informáticas, desde computadoras de escritorio hasta teléfonos celulares, ha oscurecido el juego de ideas que primero puso en marcha nuestra era moderna. En este relato, Bernhardt revela la crucial contribución a estos desarrollos hecha por Alan Turing y otros primeros científicos de la computación. Un libro maravilloso.

Acerca del autor

Chris Bernhardt es profesor de matemáticas en la Universidad de Fairfield y autor de Turings Vision: The Birth of Computer Science (MIT Press).