Page 27 - 06 Turing

establecer la consistencia o inconsistencia de un sistema formal.
Esto significa que hasta la fecha los matemáticos «hacían su cien-
cia» usando reglas de deducción -es decir, razonando- y rudo-
mas, esto es, ideas o proposiciones que se consideran evidentes y
por ello no requieren demostración alguna. Fue en este contexto
cuando Hilbert propuso a la comunidad científica el desafío de
encontrar un procedimiento mecánico, o en lenguaje actual un
«procedimiento de computación», con el que fuera posible decidir
la veracidad o no de una proposición matemática. Se trataba de
abandonar la discusión meramente académica iniciada por Godel
y buscar una solución real a este problema, ya que nada más y
nada menos era la «honorabilidad» de la matemática la que estaba
en juego. Alan Turing no pudo resistirse a tal desafío, como era
propio de su personalidad, así que se puso a trabajar en busca de
la solución al problema lanzado por Hilbert, consecuencia a su vez
del teorema enunciado por Godel: esta consistió en una máquina
teórica, sin existencia real, a la que Turing bautizó originalmente
como máquina-a. Este dispositivo, conocido popularmente como
máquina de Turing, nació de una discusión al más alto nivel
entre filósofos y matemáticos. En la actualidad se considera que
es la propuesta a nivel teórico del primer ordenador de la historia
de la ciencia. Sin embargo, pese a la genialidad de las ideas que
Turing manejaba en 1937, estas no eran suficientes para que se
materializaran realmente en la construcción de un ordenador. La-
mentablemente, hizo falta un conflicto bélico a gran escala, la Se-
gunda Guerra Mundial, para que matemáticos e ingenieros auna-
ran esfuerzos para conseguir que se diseñara y construyera esa
máquina asombrosa: el ordenador.
Ahora bien, ¿qué es realmente una máquina de Turing, qué par-
tes o dispositivos tiene? Una máquina-a-abreviatura de máquina-
. a(utomática)- es un dispositivo abstracto, sin existencia real, que
representa la configuración más sencilla de un ordenador. La má-
quina es tal que es capaz de leer y escribir símbolos sobre una cinta
dividida en celdas, que es teóricamente infinita. Esto significa que
no tiene fin por su derecha ni por su izquierda. Obviamente la cinta
representa la memoria principal; en un ordenador actual el equiva-
lente sería la memoria RAM. Es interesante observar que Turing

WUÉ ES UN ORDENADOR? 27