Descripción
En 1936, cuando tenía solo veinticuatro años, Alan Turing escribió un notable artículo en el que esbozaba la teoría de la computación, sentando las bases de las ideas que subyacen a todos los ordenadores modernos. Esta teoría innovadora y poderosa ahora forma 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 la fuerza de la teoría de Turing es su simplicidad, y que, explicada de manera sencilla, es eminentemente 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 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 sistemáticamente construye hasta las sorprendentes conclusiones. También ve 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, desglosá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 conocidos para explorar el concepto de indecibilidad; investiga 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.
Autor: Chris Bernhardt
Editorial: MIT Press
Publicado: 21/04/2017
Páginas: 208
Tipo de encuadernación: Tapa blanda
Peso: 0.70lbs
Tamaño: 8.70h x 5.70w x 0.70d
ISBN13: 9780262533515
ISBN10: 0262533510
Categorías BISAC:
- Informática | Ciencias de la Computación
- Informática | Historia
- Biografía y Autobiografía | Ciencia y Tecnología