Non DubitoEssays in the Self-as-an-End Tradition
EN / 中文|繁體|日本語|Français|Deutsch|Español|한국어
← Grandes vidas

047 / 108 · Trazar los límites de la verdad

Turing: aquella manzana

La cinta, la parada, la colaboración de guerra, el juego de imitación y una manzana sin analizar. Nadie debe demostrar su utilidad para no ser perseguido.

I. Tres manzanas

A menudo se juntan tres manzanas para contar una historia.

La primera es de Newton: cae una fruta y una pregunta une la tierra con el cielo. No hubo un golpe mágico que entregara de una vez la gravitación. La segunda pertenece a un logotipo informático; según su diseñador, el mordisco permite reconocer la fruta, no homenajea a Turing.

La tercera estaba en la habitación de Turing después de su muerte, parcialmente comida. Se confirmó el envenenamiento por cianuro, pero la manzana no fue analizada. No podemos reconocer esa incertidumbre y después abrir el relato describiendo con seguridad un bocado mortal.

Las leyendas recogen una vida en una forma fácil de recordar. Una manzana cabe en un cartel conmemorativo. Una cinta de papel, un argumento, años de colaboración y un proceso penal son más difíciles de meter en el mismo encuadre.

Alan Turing ayudó a comprender la computación y participó en el descifrado de guerra. Su país lo condenó después por una relación sexual con un hombre y lo sometió a tratamiento hormonal. El contraste indigna, pero sus derechos no necesitaban comprarse con servicios militares.

Aunque no hubiera inventado nada ni ayudado a ningún Estado, la persecución habría sido injusta. Sin ese punto de partida, nuestro homenaje vuelve a reducir a una persona al certificado de su genio útil.

II. La cinta

En 1936 Turing escribió su trabajo sobre números computables y el problema de decisión. La máquina que aparece allí no es un aparato sobre una mesa. Es una manera de precisar qué significa calcular siguiendo reglas para poder investigarlo.

Imaginemos una cinta que puede prolongarse, dividida en casillas con símbolos. Un cabezal lee la casilla actual, escribe y se desplaza a izquierda o derecha. Un conjunto finito de estados y reglas determina el siguiente paso.

Los símbolos no tienen que ser solamente ceros y unos: esa es una simplificación habitual. Importan los pasos locales, explícitos y repetibles. La máquina no se salta una regla por inspiración ni necesita comprender lo que el cálculo significa para nosotros.

Después llega la máquina universal. Si recibe una descripción codificada de las reglas de otra máquina de este tipo, puede simularla. Cambiar de tarea no requiere siempre fabricar un aparato radicalmente distinto. Se cambian las instrucciones.

Conviene separar teorema y tesis. La simulación de esas máquinas formales es un resultado matemático. Identificar todo cálculo mecánico efectivo con modelos de este tipo es la tesis de Church-Turing, no una prueba de que cualquier proceso del universo sea una cinta funcionando.

Bach obtiene música compleja de materiales limitados; Newton relaciona los cuerpos que caen con los astros. Turing reduce el cálculo a unas pocas acciones para preguntar con precisión hasta dónde pueden llegar.

III. ¿Se detendrá?

El problema de decisión pregunta, de forma precisa, si existe un procedimiento mecánico que determine la validez universal de cualquier fórmula de lógica de primer orden. Forma parte de las aspiraciones de Hilbert, pero no equivale a pedir una máquina que conteste cualquier pregunta concebible.

Turing dio un resultado negativo en 1936; Church obtuvo otro relacionado de manera independiente ese mismo año. Hoy se suele entrar por el problema de la parada: ¿puede un programa decidir siempre si cualquier programa, con una entrada concreta, acabará deteniéndose?

Supongamos un juez infalible. Construyamos un programa contrario: si el juez anuncia que se detendrá, seguirá ejecutándose para siempre; si anuncia que no se detendrá, parará. Con la autorreferencia adecuada, cualquiera de las dos respuestas queda contradicha.

No falta velocidad ni cinta. Dentro del marco definido, no existe un decisor de parada que funcione para todos los programas y entradas. El argumento original de Turing no coincide exactamente con la presentación moderna de los manuales: esta explica, no transcribe.

Sí se puede determinar la parada de muchos programas particulares. Hay clases restringidas de problemas con algoritmos fiables. La ausencia de un decisor universal no significa que nada sea computable ni demuestra que la intuición humana supere siempre a las máquinas.

La frontera importa porque es precisa. Convertirla en una consigna sobre toda la vida, la sociedad o el universo borraría la precisión que hizo posible el hallazgo.

IV. La guerra

En 1939 Turing se incorporó al trabajo bélico de Bletchley Park. Enigma parecía una cerradura con un número abrumador de configuraciones. No se trataba de admirar su complejidad, sino de averiguar qué posibilidades aparentes eran imposibles.

Una letra no podía cifrarse como ella misma. Un mensaje podía contener expresiones previsibles. Las conexiones debían ser coherentes. La Bombe combinaba esas restricciones para descartar numerosas configuraciones, no para entender mágicamente todo lo que decían los alemanes.

No fue una guerra ganada por un genio solitario. Resultaron esenciales los avances previos de matemáticos polacos y la información que compartieron. Turing aportó ideas decisivas al diseño británico, Gordon Welchman una mejora importante, los ingenieros construyeron las máquinas y sus operadores las mantuvieron trabajando.

También hicieron falta interceptaciones, análisis lingüístico, documentos capturados, operaciones navales y personas que convirtieran información en decisiones. Las máquinas dependían de personas y los trabajos de unas de los de otras, durante largas tareas repetidas que un montaje heroico suele omitir.

La contribución fue enorme. Atribuirle un número exacto de años de guerra evitados o de vidas salvadas sigue siendo una estimación contrafactual, no un recuento directamente observable. Reconocer el mérito no exige fingir esa precisión.

Después de la guerra, Turing trabajó en computación en el National Physical Laboratory y más tarde en Mánchester. No volvió simplemente a Cambridge para esperar la tragedia. Hubo diseños, discusiones, programas y preguntas sin terminar.

V. El juego de imitación

En 1950 publicó Computing Machinery and Intelligence. ¿Pueden pensar las máquinas? Una conversación puede quedar encerrada ahí: definir el pensamiento, discutir qué cuenta verdaderamente como tal y regresar a la definición.

Turing cambia la entrada. Un interrogador conversa por escrito para identificar a sus interlocutores; después se examina cómo podría actuar una máquina en esa situación. El artículo empieza con un juego entre personas antes de introducir la máquina. No afirma sin más que engañar demuestre tener alma.

El movimiento exige explicar nuestros criterios. ¿Por qué la respuesta del compañero implica comprensión y la de una máquina mero mecanismo? Si los indicios de la conversación se parecen, ¿hemos excluido de antemano a un participante por conocer su material?

Superar una prueba conversacional, sin embargo, no demuestra conciencia ni concede automáticamente condición moral. La duración, las preguntas, las condiciones y el ámbito de actuación afectan al resultado. No distinguir en un intercambio no equivale a establecer identidad en todos los aspectos.

Hume permite una comparación útil: solemos pasar de lo observable a un juicio que lo excede. Pero no abolió todo conocimiento causal, ni Turing declaró que pensar fuera un fraude. La comparación sirve de pasarela, no de prueba de que ambas filosofías sean idénticas.

¿Qué observaste? ¿Qué inferiste? ¿Qué quedó sin probar? Turing no cerró la discusión a las generaciones siguientes. Trasladó parte de ella a un lugar donde pueden examinarse mutuamente las afirmaciones.

VI. Con Gödel

Gödel publicó sus teoremas de incompletitud en 1931; el trabajo de Turing llegó en 1936. No fue el mismo año ni exactamente la misma proposición demostrada dos veces.

Los resultados de Gödel muestran límites de teorías consistentes, efectivamente axiomatizadas y capaces de expresar suficiente aritmética. La indecidibilidad de Turing trata de algoritmos generales para determinadas clases de problemas. Las conexiones son profundas, pero no vuelven intercambiables las hipótesis y las conclusiones.

Como orientación inicial, podemos decir que ciertas reglas de prueba no agotan la aritmética y que ningún programa general resuelve todas las preguntas de parada. La imagen ayuda a entrar; no sustituye a una definición formal.

Tampoco conviene convertir a Gödel en un platónico que solo mira más allá del límite y a Turing en un ingeniero que solo construye. Las pruebas del primero necesitan construcciones delicadas; la máquina del segundo empieza siendo matemática abstracta.

Un límite no ordena suspender la investigación. Sin respuesta universal podemos diseñar programas útiles, demostrar teoremas y delimitar dónde sirve cada método. Distinguir lo imposible en general de lo posible aquí también produce conocimiento.

Saber que una herramienta no puede hacerlo todo está muy lejos de creer que no puede hacer nada. Turing no se quedó sentado junto al resultado negativo. Continuó diseñando cosas que funcionaran y pudieran utilizar otros.

VII. Con Sócrates

Si colocamos a Turing al lado de Sócrates, se oye una pregunta emparentada: dices que sabes, pero ¿cómo estás juzgando?

Sócrates enfrenta una definición a personas y casos para encontrar dónde falla. Turing dispone una experiencia de conversación donde las exclusiones aparentemente obvias de la inteligencia de una máquina tienen que someterse a examen.

No son métodos idénticos. La indagación ética socrática no es una prueba estadística; el juego de imitación tampoco pretende únicamente dejarnos sin saber nada. Turing propone vías constructivas de investigación, incluidas máquinas capaces de aprender.

Comparten la resistencia a dejar que una palabra familiar haga todo el trabajo. Decir «solo es una máquina» exige explicar qué excluye ese solo. Reconocer a una persona no debería reducirse a reconocer un perfil de prestaciones.

La vida de Turing vuelve dolorosa la pregunta. Una sociedad aceptó el valor de su trabajo y después usó la identidad de su pareja para restringirle la vida. Entendió la utilidad del descifrado y no respetó la existencia privada del descifrador.

Su dignidad no se deduce del teorema de la parada. Ningún resultado matemático necesita responder previamente por él. Una persona no es una lista de contribuciones: ahí debe comenzar nuestra lectura ética.

VIII. La condena

En 1952 Turing denunció un robo; la investigación reveló su relación sexual con Arnold Murray. Cuando fue condenado en marzo tenía treinta y nueve años, no cuarenta y uno. La ley criminalizaba entonces determinados actos sexuales consentidos entre hombres.

La acusación de gross indecency ya había servido contra Oscar Wilde. Turing aceptó libertad vigilada condicionada a un tratamiento hormonal en lugar de prisión. Hablar de elección requiere aclarar que ambas opciones las imponía el Estado, no las decidía un paciente que consintiera libremente.

El tratamiento, llamado habitualmente castración química, dañó su cuerpo y vulneró su autonomía. Perdió acceso al trabajo criptográfico secreto, pero mantuvo su investigación en Mánchester. Sus últimos años no fueron una espera vacía de la muerte, sin amigos ni actividad.

Un lector chino puede recordar a Sima Qian soportando el castigo para continuar su obra histórica. Cambian las épocas, las penas y las circunstancias. La comparación no demuestra un motivo único de Turing ni invita a celebrar como noble un dilema impuesto.

La investigación sobre morfogénesis había comenzado antes de la condena. En 1952 apareció un trabajo importante y después siguió adelante. ¿Cómo producen dibujos la reacción y la difusión? ¿Cómo crecen las formas vivas? No eran un consuelo descubierto solo tras el castigo.

Continuó trabajando, tratando con gente y bromeando. Nada de eso atenúa la persecución. Más bien impide imponerle un diagnóstico psicológico no demostrado. Una persona herida sigue siendo mayor que el expediente de sus heridas.

IX. Aquella manzana

Turing fue encontrado muerto en casa el 8 de junio de 1954; la muerte se fecha el día 7. Tenía cuarenta y un años. Se confirmó el cianuro y la investigación concluyó suicidio. Su madre creía en un accidente experimental. La manzana sin analizar no permite reconstruir con certeza el acto.

Reconocerlo no borra la conclusión oficial ni disculpa la persecución. Es negarse a llenar un hueco documental con un plano trágico perfecto. Las necesidades del relato no deciden lo que él pensaba al final.

El Gobierno británico pidió disculpas en 2009. Llegó un indulto real póstumo en 2013, y su retrato apareció en el billete de cincuenta libras en 2021. La memoria pública cambió de dirección sin devolverle los años perdidos.

Además, la reparación no debe reservarse al más famoso. Quienes nunca descifraron un código ni aparecieron en un billete tampoco debieron ser castigados por intimidad consentida.

En el puente imaginario de esta serie, Turing está entre los demás. Hume guarda el backgammon, Kierkegaard se vuelve y se acerca el perro de Schopenhauer. No le haremos morder una manzana envenenada ante un público: ni está probado ni es el precio de comprenderlo.

Démosle mejor una hoja llena de signos. Le queda algo por decir y alguien le hace sitio. La escena inventada no repara la historia, pero al menos no vuelve a reducirlo a un símbolo de muerte.

No era solo un recurso nacional finalmente reconocido ni una fábula según la cual el genio debe ser desdichado. Era alguien que debería haber podido seguir trabajando, amando y envejeciendo.

No sabemos si la manzana contenía cianuro. Sabemos que él ya no está. Conservar esa diferencia también forma parte de recordarlo honestamente.

Notas de lectura y fuentes

Se distinguen universalidad, tesis de Church-Turing, parada y validez de primer orden. La diagonal es una explicación moderna, no una transcripción del artículo de 1936. Comparar con Gödel no iguala teoremas ni deduce la ética de la matemática.

El descifrado fue colectivo. Turing tenía treinta y nueve años al ser condenado y ya investigaba la morfogénesis. Causa de muerte, conclusión oficial y manzana sin analizar son cuestiones distintas. El puente es imaginario, no una reconstrucción de la muerte.

Turing: números computables, archivo B/12 · Turing: máquinas de computación e inteligencia (1950) · Museo Nacional de Computación: la Bombe · Andrew Hodges: Turing, 1952–1954, y archivos · Entrevista a Rob Janoff, diseñador del logotipo Apple · Gobierno británico: indulto póstumo, 2013 · Banco de Inglaterra: billete de Turing, 2021

Reescritura española independiente. Fuentes, citas y notas detalladas en la edición china e inglesa。