Está en la página 1de 1

¿P UEDE P ENSAR UN A MÁ QU INA?

La noción de máquina de Turing es una ideali- creativa de teoremas, también han sido pro-
zación matemática útil para probar que ciertas puestos. Turing pensaba que en 50 años (es
tareas no son automatizables o que ciertas fun- decir, ahora) empezaría a ser posible construir
ciones no son compatibles. Una máquina de Tu- máquinas así.
ring es como un computador digital, pero sin li-
mitaciones de capacidad, de memoria ni de Hace tiempo que los computadores realizan
tiempo de ejecución. Una función es computa- pruebas matemáticas triviales, del tipo de los
ble si, y sólo si, hay una máquina de Turing que ejercicios que se ponen a los estudiantes, pero
la computa: si le damos uno o varios argumen- se dudaba de su capacidad para encontrar prue-
tos como input, la máquina computa una serie bas originales de problemas teóricos que hayan
finita de pasos programados e imprime como resistido a matemáticos profesionales. A finales
output el valor de la función para esos argu- de 1996, Larry Wos y William McCune (del Ar-
mentos. Un conjunto es recursivo si la corres- gonne National Laboratory) han logrado por pri-
pondiente función característica (que asigna el mera vez programar un computador de tal
número 1 a los objetos que pertenecen al con- manera que ha resuelto creativamente un pro-
junto y 0 a los que no) es computable. Estas no- blema abierto que los matemáticos humanos ha-
ciones fueron introducidas hace sesenta años bían sido incapaces de resolver. Herbert Rob-
por el genial y extravagante matemático inglés bins había planteado a Alfred Tarski la pregunta
Alan Turing en Sobre números computables de si cierto sistema de ecuaciones era equiva-
(1937), y constituyen desde entonces la base de lente a la definición de un álgebra de Doole.
la teoría de la recursión, la rama más exitosa de Tarski no había sabido resolverlo, pero se lo ha-
la lógica matemática. bía pasado a otros matemáticos hasta que final-
mente llegó a manos de Wos y McCune, que tra-
En 1939 estalló la Segunda Guerra Mundial, y bajan en programas de prueba automática de
Turing fue enrolado para descifrar los códigos teoremas. Un nuevo programa genérico (no es-
secretos del ejército alemán. Los mandos alema- pecífico para el problema de Robbins), que trata
nes creían que las órdenes cifradas que transmi- de probar hipótesis mediante la búsqueda de
tían a sus aviones y submarinos eran indesci- contradicciones implicadas por la negación de
frables, pero Turing y sus colegas lograron la hipótesis, ha conducido por sorpresa a en-
descifrarlas con una enorme y primitiva máqui- contrar una prueba original de la conjetura de
na computadora, lo cual resultó decisivo para la Robbins.
victoria aliada.
Turing se habría alegrado de este resultado,
¿Puede pensar una máquina? Turing planteó la que confirma sus predicciones. También se ha-
cuestión en 1947 ante el National Physical La- bría alegrado de lo mucho que se han liberado
boratory, y tres años después, en un artículo, las costumbres. En 1952 no quiso negar una re-
"Máquinas computadoras e inteligencia", ini- lación homosexual que había tenido, por lo
ciando así la investigación de la inteligencia ar- que fue condenado judicialmente a una pena
tificial. Turing sostenía que esta cuestión sólo de cárcel, conmutada por un tratamiento de
puede resolverse experimentalmente y propo- hormonas que lo dejó impotente y le estropeó
nía lo que luego se ha llamado el test de Tu- su buena forma física, que siempre había cuida-
ring: podemos decir que una máquina piensa do con gimnasia y carreras de maratón. Depri-
si un interlocutor humano, comunicándose por mido, se suicidó en 1954, a los 42 años de
escrito con ella y con otros humanos, es inca- edad.
paz de distinguir a la máquina de los otros in-
terlocutores humanos. Otros retos, como la si- Jesús Mosterín, catedrático de Filosofía,
mulación de partidas de ajedrez o la prueba Ciencia y Sociedad en el CSIC.