Reseña Máquina de Turing

En el artículo original: “Alan Turing y sus máquinas de escribir”, publicado en la revista digital C2 Ciencia y Cultura, el autor, Francisco Rodríguez Henríquez, da a conocer el gran aporte del científico y matemático inglés Alan Turing, considerado como padre de la ciencia de la computación, la maquina de Turing.  

En los primeros párrafos se explica acerca de las incógnitas propuestas por David Hilbert al Congreso Internacional de Matemáticas celebrado en 1928, que requerían de un análisis filosófico y meta-matemático. Cómo Kurt Gödel halló respuesta a las dos primeras preguntas y quedando sin resolver la tercera, a la que se conoce cómo Entscheidungsproblem. Esta última se refiere a la existencia de un algoritmo (procedimiento) para demostrar en un tiempo finito la validez o no de una proposición matemática a partir de sus axiomas.

Para ello trabajaron de manera independiente matemáticos importantes, donde Alonzo Church y Alan Turing respondieron de manera negativa al problema, no existe tal algoritmo. A través de dos enfoques equivalentes, Church basado en su cálculo lambda y Turing desarrollando el concepto de su máquina teórica capaz de ejecutar cualquier programa de forma mecánica.

Básicamente la máquina universal de Turing consiste en una cinta tan larga como sea necesaria, dividida en casillas, la cual representa la memoria donde se pueden escribir y almacenar símbolos e instrucciones. Sobre ella, una cabeza o “computador” navega y ejecuta los programas que tiene que realizar.

A través de su máquina, Turing demostró la existencia de números no computables, con lo que respondió de manera negativa al Entscheidungsproblem. Significando la existencia de problemas imposibles de resolver por la capacidad humana.

Es sorprendente cómo Turing fue capaz de imaginar los ordenadores antes de que existieran, así como desarrollar los inicios de la teoría de la computación y definir conceptos y técnicas básicas de la programación. También dirigió el proyecto de la computadora Manchester Mark 1, donde se corrió el primer programa.

Sus habilidades con las maquinas destacaron a este gran hombre, pues se sabe que fungió como criptógrafo de su país durante la segunda guerra mundial, descifrando los códigos escritos en la máquina alemana Enigma. Una vez más el ingenio de Turing contribuyó a la sociedad.

El artículo muestra a grandes rasgos el desarrollo tecnológico realizado por Alan Turing en su época, permitiendo al lector tener una noción general acerca de las bases de la teoría de la computación, en la que actualmente se sustentan los ordenadores. Así también incita a reflexionar sobre la importancia del fundamento matemático sobre toda construcción tecnológica, donde la investigación teórica abre nuevos horizontes  hacia el avance como humanidad.

...