.png "English"){kind=small}
Autor: Pablo Jacovkis
El 23 de junio de 2012 se conmemoró el centésimo aniversario del nacimiento de Alan Turing. Este deslumbrante matemático es considerado uno de los padres de la ciencia de la computación y –de una manera más secreta- un héroe de la Segunda Guerra Mundial. Contribuyó como pocos a la defensa de su patria, Gran Bretaña, aunque su esfuerzo y dedicación no fueron debidamente correspondidos, e incluso debió sufrir la persecución y el escarnio.
Turing murió joven: se quitó la vida el 7 de junio de 1954. Sin embargo sus logros, durante sus casi 42 años de vida, le dieron un lugar prominente en el panteón de la ciencia del siglo XX. Y también en el de aquéllos cuya contribución personal a la derrota del nazismo puede ser particularmente individualizada.
en 1936 –a los 24 años, sin haberse aún doctorado, y a la sazón miembro del King's College de la Universidad de Cambridge, donde se había graduado con honores– escribió un artículo cuyo título en castellano sería “Sobre números computables, con una aplicación al problema de la decisión”. El texto fue publicado a comienzos de 1937 en la prestigiosa revista científica Proceedings of the London Mathematical Society, y para su elaboración utilizó una “máquina” teórica que hacía las veces de una computadora con reglas muy simples y formales (recordemos que las computadoras no existían en ese momento). En dicho artículo demostró que esa máquina podía lleva a cabo cualquier cálculo matemático que pueda ser representado por un algoritmo, y que no era posible encontrar un algoritmo que decidiera si una aseveración (dentro de determinado tipo de aseveraciones lógicas y matemáticas esenciales en computación) es demostrable o no.
Esa máquina se llamó después “máquina de Turing”, y jugó un papel fundacional en la teoría de la computación. Sobre todo porque en el mismo artículo, Turing ideó teóricamente lo que después se llamó “máquina de Turing universal”: o sea, una máquina de Turing que puede “simular” cualquier otra máquina de Turing. Toda la teoría de la computación “concreta”, desarrollada alrededor de computadoras reales (que empezaron a construirse unos años después), está profundamente influida por su trabajo.
