A.

TURING
Mquina
y

Pensamiento

NDICE Pgina(s) 1) Introduccin....... 2) Acercamiento a Alan Turing.. 3) El Entscheidungsproblem ..................................................... 4) La mquina universal...... 4.1. Pueden pensar las mquinas?........................................................ 5) Alan Turing en dos ejemplos histricos...................... 5.1. Segunda Guerra Mundial................................................................ 5.2. El ajedrez........................................................................................ 6) Conclusiones...... 7) Bibliografa......... 3 5

7 13 16

26 26 29

31 33

INTRODUCCIN

Pocos saben que la Segunda Guerra Mundial fue ganada no slo con el esfuerzo de los militares sino tambin con las neuronas de los descifradores de cdigos, que por lo general consiguieron llevar la delantera a los sistemas de comunicacin alemanes, japoneses e italianos. El papel de la Lgica, y en especial de Alan Turing, fue determinante en la resolucin del conflicto. La lgica (y su historia) no queda reducida a libros, estanteras y bibliotecas. Ninguna otra poca de la lgica nos resulta ms prxima que la lgica contempornea. Y en ninguna otra poca la lgica ha conocido un desarrollo y una variedad comparables a los de nuestra actualidad1. Las palabras de Luis Vega bien pudieran aplicarse al gran conflicto blico. Y exagerando slo un poco, como dice el matemtico Andrew Hodges, al mismo Alan Turing: Es slo una minscula exageracin que el matemtico britnico Alan Turing salv a los Aliados de los nazis, que invent la computadora y la inteligencia artificial, y que anticip la liberacin homosexual antes de suicidarse con 41 aos 2. La ltima faceta escapa por completo a las pretensiones del presente ensayo, que s va a profundizar en la figura de un Alan Turing, de cuya muerte se cumplen este 2012 doscientos aos. Las contribuciones histricas sobre el desarrollo terico de la lgica son principalmente textos. Salta a la vista que el pasado de la lgica slo tiene entidad o existencia escrita: nos los encontramos en archivos y bibliotecas3. Podemos hablar sin embargo de mquinas lgicas (y ms especficamente de mquinas de Turing) e inmediatamente nos vienen a la mente autmatas formales y cuestiones de computabilidad. Y es que, no hay que descartar la incidencia de la industria y de la
1

Vega Ren, Luis: Una gua de historia de la lgica . Cuadernos de la UNED. Madrid, 1996, p. 165. Una muestra de la complejidad que envuelve la consideracin panormica de la lgica contempornea, segn este autor, es que nos encontramos con tres presuntos fundadores, con cuatro programas y con solapamientos de distintas reas y lneas de investigacin. Los tres presuntos fundadores son: Boole, Frege y Peano. Y los cuatro programas relevantes por su capacidad de orientacin del anlisis lgico son: 1) el programa del lgebra de la lgica, de origen booleano pero con profundas inflexiones posteriores; 2) el programa logicista de Frege que procura formar y desarrollar: el anlisis lgico sobre la base del lenguaje de una gran lgica; 3) el programa de una lgica subyacente y de una metodologa estructural de las teoras deductivas (matemticas), que se beneficia de dos fuentes de inspiracin y desarrollo: Peano y su escuela, Hilbert y su rea de influencia; 4) diversas contribuciones en el campo de la semntica, que acaban encontrando unas primeras seas tcnicas de identidad en la semntica cientfica de Tarski de los aos 30. 2 Andrew Hodges es el autor del libro Alan Turing: The Enigma (The Centenary Edition). Hodges, Andrew: Alan Turing: The Enigma (The Centenary Edition). Princetown University Press. Nueva Jersey, 2012, contraportada. 3 Vega Ren, Luis: Una gua de historia de la lgica. Cuadernos de la UNED. Madrid, 1996, p. 2.

tecnologa sobre el futuro de una disciplina tradicionalmente acadmica como la lgica. El ajedrez es otro ejemplo. Es el cuerpo humano una mquina?, son sus estados posibles finitos y determinados? En la poca de Turing (1912-1954) estaba en apogeo el debate intelectual sobre el determinismo, sobre todo cuando desde el campo de la mecnica cuntica y el principio de determinacin de Heisenberg se haba puesto otra vez en cuestin el problema planteado por Laplace4. Era la cuntica la solucin al problema de la relacin entre la voluntad humana y la determinacin? Turing es uno de los pensadores que ataj este nudo filosfico, que implicaba no slo problemas lgicos sino religiosos e incluso ontolgicos. Busc la forma de solventar el problema examinando los lmites intrnsecos del pensamiento mecnico. Acaso no era el lenguaje lo que separaba al hombre de las mquinas?, poda una mquina de estados finitos y determinados manejar smbolos como un humano? Turing entendi que el nico modo de solucionar estos interrogantes era describir esa mquina de forma exacta; o mejor incluso, construirla. La mente humana fue el laboratorio de Turing, que se ha convertido en la figura sobre la que pivota una revolucin cientfica que todava no ha concluido su curso. 1947. Puede pensar una mquina? La pregunta de Turing retumb en el Laboratorio Nacional de Fsica. Tres aos ms tarde inici la investigacin en inteligencia artificial, con la publicacin en Mind de su artculo Computing machinery and intelligence (Mquinas computadoras e inteligencia). Sostena que la respuesta slo puede darse experimentalmente, proponiendo lo que posteriormente se ha llamado el Test de Turing, es decir, una mquina piensa si un humano, comunicndose por escrito con ella y con otros interlocutores humanos, es incapaz de distinguir quin es quin. Turing supuso adems que para el ao 2000 las mquinas podran ya enfrentarse a los teoremas ms complicados, as como a la simulacin de partidas de ajedrez. Hasta qu punto se han cumplido sus predicciones?

Se llama ecuacin de Laplace, en clculo vectorial, a la ecuacin de derivadas parciales de segundo orden de tipo elptico, en honor al fsico y matemtico Pierre-Simon Laplace.

ACERCAMIENTO A ALAN TURING

Alan Mathison Turing naci el 23 de junio de 1912 en Paddington, Londres. Proceda de una familia de clase media esforzada, consciente de su posicin social y ligada en su ltima generacin a las actividades del imperio britnico en la India. Asisti a la escuela privada de Sherborne, donde fue un alumno muy singular: muy malo en ingls y latn, pero con gran facilidad por las matemticas y apasionado por la fsica y la qumica. El aburrimiento en la escuela se acab cuando conoci mejor a Christopher Morcom, a quien admiraba. La sbita muerte de su amigo le sumi en una larga crisis. Pens obsesivamente en la relacin de la mente con la materia y en si la mente de su amigo podra haber sobrevivido a su muerte5. Desde joven destac en el campo de las matemticas y la computabilidad. Ya en 1931 formaliza el concepto de mquina de Turing, sustituyendo el lenguaje formal de Gdel sobre los lmites de la computacin y la demostracin. Relacion el concepto matemtico de la computabilidad con problemas tradicionales como la separacin mente-cuerpo, y el binomio libre albedro-determinismo. La siguiente etapa de su vida supuso un cambio radical, de la investigacin terica a la aplicacin prctica. De profesor en el Kings College al ejrcito ingls. El criptoanlisis se convirti desde entonces en su obsesin, tratando de desmantelar la mquina alemana Enigma. Durante los ltimos aos de la guerra colabor en la creacin del Colossus, una especie de cerebro primitivo que tiene en su haber el haber condicionado el desembarco de Normanda. Pasada la Segunda Guerra Mundial comienza a trabajar en el Laboratorio Nacional de Fsica y, posteriormente, en el laboratorio de computacin de la Universidad de Mnchester. Echando un vistazo atrs, podemos hablar que, mediada la pasada centuria, la fsica haba dado un paso al frente, con la criptologa y la computacin en un comparativo oscuro plano. La vida de Alan Turing fue parte de ese secreto y oscuridad del mundo lgico. Tuvo que pasar una generacin despus de su muerte para que se le reconociera como un cientfico avanzado para su tiempo. El principio de su final comienza cuando fue procesado por homosexual. Decide no defenderse de los cargos y escogi la castracin qumica, que le acarre importantes consecuencias con las decide no vivir, ingiriendo cianuro en junio de 1954.

Mostern Heras, Jess: Los lgicos. Espasa Calpe. Madrid, 2000, p. 288.

Considerado uno de los padres de la ciencia de la computacin y precursor de la informtica moderna, este 2012 se conmemoran los doscientos aos de su muerte. Su influencia en la formalizacin de los conceptos de algoritmo y computacin es clave para entender hoy reas diversas de la informtica, la robtica y la lgica matemtica.