Alan Turing: el padre de la computación moderna
Arnold Wender · · 11 min de lectura
Ver todo: Geeks famososEn 1936, un matemático de 23 años llamado Alan Turing publicó un artículo académico que respondía a una pregunta filosófica sobre los límites de las matemáticas. Sin quererlo, describió la arquitectura conceptual de todas las computadoras que existirían en los siguientes noventa años. No construyó ningún hardware. No escribió código en ningún lenguaje de programación. Solo razonó, con lápiz y papel, sobre qué es y qué no es computable, y en ese proceso inventó la noción de máquina universal.
Turing es llamado “el padre de la computación moderna” no porque haya ensamblado la primera computadora — eso lo hicieron otros, y con ayuda de muchos — sino porque definió teóricamente qué es una computadora antes de que existiera ninguna. También contribuyó a ganar la Segunda Guerra Mundial desde un bunker secreto en el campo inglés, sentó las bases filosóficas de la inteligencia artificial y pagó con su vida — a los 41 años — una deuda absurda que la sociedad británica de los años cincuenta le cobró por su orientación sexual.
Lo esencial sobre Alan Turing
- Vivió del 23 de junio de 1912 al 7 de junio de 1954 — nació en Maida Vale, Londres, Inglaterra; murió en Wilmslow, Cheshire, a los 41 años
- En 1936 publicó “On Computable Numbers”, donde introdujo el modelo teórico de la Máquina de Turing y demostró que existen problemas matemáticos bien definidos que ninguna máquina puede resolver
- Durante la Segunda Guerra Mundial diseñó la Bombe, una máquina electromecánica que descifró mensajes encriptados por Enigma y contribuyó decisivamente al esfuerzo aliado
- En 1950 publicó “Computing Machinery and Intelligence”, donde propuso el Test de Turing como criterio operacional para determinar si una máquina puede considerarse inteligente
- Fue condenado por “conducta indecente grave” en 1952 — es decir, por ser homosexual — y sometido a castración química; murió dos años después de envenenamiento por cianuro; el veredicto fue un suicidio
- En 2013, la reina Isabel II lo indultó de forma póstuma bajo el “Royal Prerogative of Mercy”, y en 2016 el “Turing’s Law” extendió el indulto a miles de hombres condenados por las mismas leyes
Visita Geeks famosos en GeekShop para conocer más perfiles de las personas que construyeron el mundo digital.
Orígenes y el camino hacia Cambridge
Alan Mathison Turing nació el 23 de junio de 1912 en Maida Vale, un barrio de Londres. Su padre, Julius Mathison Turing, trabajaba en el Indian Civil Service y pasaba largas temporadas en la India; su madre, Ethel Sara Stoney, era hija de un ingeniero jefe de los ferrocarriles de Madrás. Alan y su hermano mayor John fueron criados en gran parte por una familia de acogida en la costa inglesa mientras sus padres residían en el subcontinente.
Desde pequeño mostró una curiosidad matemática fuera de lo ordinario. A los catorce años, sin haber estudiado cálculo formal, derivó la función de arcotangente por cuenta propia. Sus maestros en Sherborne School reconocieron su talento pero lo consideraban difícil de encuadrar — demasiado interesado en matemáticas y ciencias, poco en humanidades, indiferente a los rituales sociales del internado inglés.
1931–1936
Cambridge y la pregunta que lo cambió todo
En 1931 ingresó al King’s College de Cambridge para estudiar matemáticas. Fue admitido con beca y encontró en la universidad un ambiente intelectualmente estimulante y, por primera vez, socialmente compatible. Se formó en teoría de probabilidad y también en lógica matemática, que en los años treinta era un campo en ebullición.
El problema que cambió su carrera era uno que el matemático alemán David Hilbert había planteado en 1928 con el nombre de Entscheidungsproblem — “el problema de la decisión”: ¿existe un procedimiento mecánico que pueda determinar, para cualquier afirmación matemática, si es verdadera o falsa? Era, en el fondo, preguntar si las matemáticas podían automatizarse por completo.
La respuesta de Turing fue no. Pero para demostrar ese no necesitaba definir primero con precisión qué significa “procedimiento mecánico”, y fue en ese intento donde construyó el concepto más influyente de su vida.
Sus aportes: la máquina que lo cambió todo
En 1936, Turing publicó “On Computable Numbers, with an Application to the Entscheidungsproblem” en las Proceedings of the London Mathematical Society. El artículo contiene dos contribuciones distintas que a menudo se confunden.
1936–1950
De la máquina abstracta al test de la mente
La primera contribución es el modelo de la Máquina de Turing: un dispositivo conceptual abstracto que consiste en una cinta infinita dividida en celdas, un cabezal lector-escritor y un conjunto de estados internos. La máquina lee un símbolo, decide qué escribir y hacia dónde moverse según su estado actual, y repite. Simple al extremo. Pero Turing demostró que este mecanismo minimalista puede simular cualquier cómputo que cualquier otra máquina sea capaz de realizar.
De ahí derivó la segunda contribución: la Máquina Universal de Turing, una versión que, en lugar de estar “programada” con un conjunto fijo de reglas, lee su propio programa desde la cinta. Es decir, una sola máquina que puede ejecutar cualquier programa. Esto es exactamente lo que es cualquier computadora de propósito general que existe hoy.
La tercera contribución es la más filosóficamente profunda: Turing demostró que existen problemas matemáticos bien definidos — en particular, el Halting Problem o problema de la parada — que ninguna máquina puede resolver. La pregunta “¿este programa terminará alguna vez de ejecutarse?” no tiene solución algorítmica general. Fue la primera prueba rigurosa de que hay límites fundamentales a lo que puede computarse, independientemente de cuán potente sea la máquina.
El nombre “Máquina de Turing” fue acuñado en ese mismo año por el matemático Alonzo Church, quien trabajaba en paralelo en un sistema equivalente llamado cálculo lambda. La convergencia de ambos sistemas — distintos formalmente pero equivalentes en poder — convenció a la comunidad matemática de que habían encontrado la definición correcta de computabilidad.
En 1950, Turing publicó “Computing Machinery and Intelligence” en la revista filosófica Mind, donde propuso sustituir la pregunta “¿pueden pensar las máquinas?” por una versión operacional: si un humano no puede distinguir, en una conversación escrita, si el interlocutor es un humano o una máquina, esa máquina supera el test. El Test de Turing — como fue renombrado — es hoy el punto de partida de cualquier conversación seria sobre inteligencia artificial.
Cronología: de la teoría a la guerra y el legado
| Año | Evento |
|---|---|
| 1912 | Nace el 23 de junio en Maida Vale, Londres |
| 1931 | Ingresa al King’s College de Cambridge con beca |
| 1936 | Publica “On Computable Numbers” — define la Máquina de Turing y el concepto de computabilidad |
| 1938 | Obtiene su doctorado en Princeton bajo la dirección de Alonzo Church |
| 1939 | Se incorpora a Bletchley Park el día en que Gran Bretaña declara la guerra a Alemania |
| 1940 | Diseña la Bombe junto con Gordon Welchman; en marzo se instala la primera unidad |
| 1945 | Es condecorado con la Orden del Imperio Británico (OBE) por su trabajo bélico; diseña el ACE |
| 1946 | Presenta el diseño completo del ACE, la primera especificación de una computadora digital de propósito general con programa almacenado |
| 1950 | Publica “Computing Machinery and Intelligence” y propone el Test de Turing |
| 1952 | Publica “The Chemical Basis of Morphogenesis”, donde aplica matemática a la formación de patrones en biología |
| 1952 | Es arrestado y condenado por “conducta indecente grave”; acepta castración química para evitar prisión |
| 1954 | Muere el 7 de junio por envenenamiento con cianuro; el inquest determina suicidio |
| 2013 | Recibe indulto póstumo real bajo el Royal Prerogative of Mercy durante el gobierno de David Cameron |
| 2016 | El “Turing’s Law” extiende el indulto póstumo a miles de hombres condenados por las mismas leyes |
Solo podemos ver una pequeña distancia hacia adelante, pero podemos ver ahí mucho que necesita hacerse.
Esta frase — la última línea de “Computing Machinery and Intelligence” (1950) — resume la postura de Turing ante el futuro de la computación: no un horizonte utópico ni catastrófico, sino una agenda de trabajo inmediata y concreta. La escribió cuatro años antes de morir.
Mitos y realidad
La figura de Turing acumula exageraciones en dos direcciones: tanto quienes lo idealizan como el genio solitario que lo inventó todo, como quienes minimizan sus contribuciones al constatar que trabajó en equipo. La realidad es más matizada y más interesante que cualquiera de las dos versiones.
Si quieres explorar los perfiles de otras personas que definieron la computación moderna, visita Ada Lovelace: la primera programadora de la historia y Donald Knuth: el monje de los algoritmos.
FAQ
¿Por qué se llama “padre de la computación moderna” y no simplemente “inventor de la computadora”?
Porque la distinción importa. Turing no construyó la primera computadora electrónica — eso lo hicieron ingenieros como Tommy Flowers (Colossus) y el equipo de la ENIAC. Lo que Turing hizo en 1936 fue definir teóricamente qué es una computadora: un dispositivo que ejecuta instrucciones de propósito general sobre datos. Esa definición conceptual — la Máquina Universal de Turing — es el cimiento sobre el que se construyó toda la computación práctica posterior. “Padre de la computación moderna” reconoce esa contribución fundacional sin atribuirle inventos de hardware que no le pertenecen.
¿Qué es exactamente el “problema de la parada” que Turing demostró insoluble?
El problema de la parada pregunta: dado un programa y una entrada, ¿es posible determinar de antemano si ese programa terminará de ejecutarse en algún momento o se quedará en un bucle infinito? Turing demostró en 1936 que no existe ningún algoritmo general que pueda responder esa pregunta para todos los programas posibles. La demostración usa una variante de la paradoja del mentiroso: si existiera un programa que detectara bucles infinitos, se podría construir otro programa que lo engañara contradiciendo su propia salida, lo cual genera una contradicción lógica. Este resultado implica que hay límites fundamentales a lo que puede computarse, independientemente de cuán rápida o potente sea la máquina.
¿Cómo funciona el Test de Turing y por qué sigue siendo relevante hoy?
Turing propuso lo que llamó el “Juego de Imitación”: un evaluador humano conversa por escrito con dos interlocutores — uno humano, uno máquina — sin saber cuál es cuál. Si la máquina logra que el evaluador no pueda distinguirla del humano con una frecuencia significativa, se considera que ha “pasado” el test. Turing argumentó que si una máquina puede comportarse de manera indistinguible de un humano en conversación abierta, la pregunta de si “realmente piensa” se vuelve irrelevante — de la misma forma que no cuestionamos si otros humanos “realmente piensan”. El test sigue siendo el punto de referencia más citado en filosofía de la mente e inteligencia artificial, aunque también el más debatido: muchos argumentan que pasar el test no implica comprensión genuina, solo buena simulación.
¿Fue la condena de Turing el único caso de su tipo, o algo sistemático?
Fue parte de una persecución sistemática. Las leyes contra la “conducta indecente grave” en Gran Bretaña se remontaban a 1885 y habían afectado a miles de hombres. Cuando Turing reportó en 1952 un robo en su casa, la investigación policial derivó en su arresto al descubrir que tenía una relación con otro hombre. La condena implicó una “terapia” de castración química mediante inyecciones de estrógeno durante un año, con efectos físicos documentados. El “Turing’s Law” aprobado en 2016 indultó póstumamente a más de 49,000 hombres condenados por las mismas leyes en Gran Bretaña.
¿Qué dice el Test de Turing sobre los modelos de lenguaje como ChatGPT o Claude?
El propio Turing especuló en 1950 que para el año 2000 existirían máquinas capaces de engañar a evaluadores humanos el 30% de las veces en conversaciones de cinco minutos. Los modelos de lenguaje actuales van mucho más allá de esa estimación. Sin embargo, la mayoría de los investigadores en IA consideran que “pasar el Test de Turing” no equivale a “ser inteligente” en ningún sentido profundo — solo a producir texto estadísticamente convincente. El debate que Turing abrió en 1950 sigue sin resolverse: la diferencia entre simular una mente y tener una.
Fuentes
Los datos biográficos de esta guía se apoyan en fuentes autoritativas:
- Alan Turing — Encyclopædia Britannica (biografía y aportaciones)