No, Alan Turing no “inventó la computadora” él solo. En 1936 hizo algo diferente y, para la historia de la computación, tan decisivo como construir una máquina: definió matemáticamente qué significa ejecutar un procedimiento mecánico de cálculo y mostró que una sola máquina abstracta podía simular todas las demás máquinas de ese tipo si recibía una descripción de sus reglas. Esa es la idea de la máquina universal, hoy estrechamente asociada al concepto de computadora programable de propósito general.
La clave es separar tres historias que suelen mezclarse: la máquina abstracta de On Computable Numbers, el trabajo de guerra de Turing en Bletchley Park y las computadoras electrónicas físicas que aparecieron en las décadas de 1940 y 1950. La conferencia Computable90, programada del 16 al 18 de septiembre de 2026 por The National Museum of Computing y la London Mathematical Society, toma precisamente este hito para debatir 90 años de influencia del trabajo de Turing.
Qué ocurrió en 1936 — y por qué la referencia bibliográfica dice 1937
Hay una pequeña trampa con las fechas. La London Mathematical Society registra que el artículo fue enviado el 28 de mayo de 1936 y leído el 12 de noviembre de ese año, mientras que la ficha bibliográfica de la revista sitúa su primera publicación en 1937, en el volumen 42 de los Proceedings of the London Mathematical Society. Por eso históricamente se habla del “artículo de 1936” de Turing y, al mismo tiempo, las referencias formales suelen citarlo como Turing (1937). La LMS explica la misma cronología en su material sobre el artículo y los fragmentos utilizados en el billete británico de £50.
El texto original, On Computable Numbers, with an Application to the Entscheidungsproblem, no propone un armario lleno de válvulas, relés o cables. Parte de una pregunta de lógica: ¿qué queremos decir cuando afirmamos que un número o procedimiento es computable mediante un método efectivo?
Qué era realmente la máquina de Turing
Turing compara a una persona que realiza un cálculo paso a paso con una máquina idealizada. En el modelo hay una cinta dividida en casillas, cada una capaz de contener un símbolo; la máquina observa una casilla por vez, puede escribir o borrar símbolos, moverse a la izquierda o a la derecha y cambiar entre un número finito de estados internos. La siguiente acción queda determinada por el estado actual y el símbolo leído.
Es un modelo matemático de un procedimiento, no un plano de ingeniería. En la idealización, la cinta puede extenderse según sea necesario; no hay especificaciones de componentes electrónicos, frecuencia de reloj, memoria física, fuente de alimentación ni circuitos lógicos. El objetivo era capturar la estructura esencial de un cálculo mecánico: reglas finitas aplicadas sucesivamente a símbolos.
También importa una precisión terminológica: en el artículo Turing habla de automatic machines y de una universal computing machine. “Máquina de Turing” se convirtió después en el nombre estándar del modelo.
El salto de una máquina específica a una máquina universal
El paso revolucionario aparece cuando Turing deja de imaginar una máquina distinta para cada tarea. En la sección dedicada a la máquina universal, afirma que es posible idear una sola máquina capaz de calcular cualquier secuencia computable, siempre que su cinta contenga una descripción estandarizada de la máquina particular que debe simular.
En lenguaje actual, las reglas de otra máquina pueden codificarse como datos y una máquina universal puede interpretarlas. Esto anticipa la separación entre una máquina de propósito general y las instrucciones que determinan lo que hará. Es una raíz conceptual del software y de la programabilidad.
Pero no conviene exagerar la equivalencia histórica. La máquina universal de 1936 no es, por sí sola, un diagrama de cableado de una computadora electrónica de programa almacenado. Aporta la idea formal de universalidad; la arquitectura física de memoria, procesador, dispositivos de entrada y salida e instrucciones almacenadas fue desarrollada por varios grupos en los años siguientes.
El resultado no fue solo “cómo calcular”, sino también “qué no puede decidirse”
El artículo no se limita a explicar lo que una máquina puede hacer. Turing utiliza el mismo formalismo para demostrar que existen preguntas sobre máquinas para las que no hay un procedimiento general que produzca siempre una respuesta. Después aplica ese razonamiento al Entscheidungsproblem, el problema de decisión de la lógica matemática, y concluye que no existe un método mecánico universal capaz de decidir todas las fórmulas del sistema considerado.
Esta es una de las razones por las que el trabajo sigue siendo central: ofrece un lenguaje para hablar a la vez de capacidad y límite. La computación no es solo hardware más rápido; también implica distinguir los problemas que admiten algoritmos de aquellos para los que no existe un algoritmo general.
La guerra: Bletchley Park no convirtió la máquina de 1936 en hardware
Cuando comenzó la Segunda Guerra Mundial, Turing fue a Bletchley Park. Según la biografía oficial de Bletchley Park, trabajó en el análisis de la Enigma naval y, apoyándose en avances anteriores de criptógrafos polacos, diseñó la Bombe, más tarde mejorada con aportes de Gordon Welchman. La Bombe aceleraba la búsqueda de posibles configuraciones de Enigma.
Sin embargo, la Bombe no era la realización física de la máquina universal de 1936. Era una máquina electromecánica especializada en una tarea criptoanalítica. El propio material educativo de Bletchley Park señala expresamente que no era una computadora de propósito general. Turing también trabajó con métodos relacionados con el tráfico Lorenz, pero la misma biografía indica que no fue responsable directo del desarrollo de Colossus, asociado sobre todo al trabajo de Tommy Flowers y al equipo de Max Newman.
Existe, por tanto, una continuidad intelectual — lógica, algoritmos y mecanización de procedimientos —, pero no una línea simple en la que “Turing inventa una máquina universal en 1936 y construye la computadora en Bletchley”.
Después de la guerra: ACE fue el paso de Turing hacia una computadora física
La transición de Turing de la teoría al diseño concreto se ve con mayor claridad en el Automatic Computing Engine (ACE). El National Physical Laboratory señala que se incorporó al NPL en 1945 y elaboró los planes del ACE en 1946. Aquí Turing sí estaba diseñando una computadora electrónica física, con programa almacenado y atención práctica al rendimiento.
El diseño completo no se construyó mientras él permaneció en el NPL. Turing se marchó en 1948; un Pilot ACE basado en sus ideas se completó en 1950 y se utilizó en aplicaciones reales. La Science Museum Group Collection conserva la máquina y la describe como basada en el diseño de Turing.
Esta etapa es importante para responder al mito con justicia: decir que Turing no construyó “la primera computadora” no disminuye su contribución. Ayudó a establecer tanto la teoría de la computación universal como diseños concretos de computadoras electrónicas.
Dónde encajan ENIAC y Manchester Baby
La pregunta “¿quién inventó la computadora?” resulta engañosa porque “computadora” puede significar distintas combinaciones de características: automática, digital, binaria, electrónica, programable, de propósito general o de programa almacenado. El Computer History Museum señala que diferentes combinaciones de estos adjetivos producen distintos candidatos al “primero”.
Dos hitos ayudan a ordenar la comparación. ENIAC, completado en 1946 en Estados Unidos, combinó computación electrónica de alta velocidad con capacidad de propósito general, pero originalmente se programaba mediante cableado y conmutadores, no guardando el programa en la misma memoria de trabajo. En cambio, el Manchester Baby ejecutó el 21 de junio de 1948 un programa almacenado electrónicamente en memoria. La Universidad de Manchester atribuye el diseño del Baby a Freddie Williams, Tom Kilburn y Geoff Tootill.
Turing llegó a Manchester en septiembre de 1948, es decir, después de aquella primera ejecución. Luego contribuyó a la programación y al Manchester Mark 1/Ferranti Mark 1. Esto refuerza la conclusión: Turing fue una figura central, pero la construcción de las computadoras modernas fue una historia colectiva.
Línea del tiempo: de la máquina abstracta a las computadoras físicas
| Fecha | Hito | Qué significa |
|---|---|---|
| 1936 | Turing envía y presenta On Computable Numbers | Formaliza la computabilidad y la idea de una máquina universal. |
| 1937 | Publicación bibliográfica del artículo en los Proceedings | Es la fecha que aparece en las referencias académicas formales. |
| 1939–1945 | Bletchley Park | Turing aplica matemáticas y mecanización al criptoanálisis; la Bombe es especializada, no una computadora universal. |
| 1945–1946 | Diseño del ACE en el NPL | Turing pasa al diseño de una computadora electrónica física de propósito general. |
| 1946 | ENIAC | Hito de la computación electrónica de propósito general, inicialmente sin programa almacenado en la memoria de trabajo. |
| 1948 | Manchester Baby | Primera ejecución de un programa en una computadora digital electrónica de programa almacenado. |
| 1950 | Pilot ACE | Máquina operativa construida a partir del diseño de Turing en el NPL. |
Qué definió Turing — y qué vino después
| Turing en 1936 | Lo que la ingeniería posterior todavía tuvo que resolver |
|---|---|
| Un modelo formal de cálculo paso a paso | Cómo realizar esos pasos con relés, válvulas y, más tarde, transistores. |
| Cinta, símbolos, estados y reglas de transición | Memorias físicas, registros, circuitos, temporización y entrada/salida. |
| Una máquina universal que simula descripciones de otras máquinas | Arquitecturas programables prácticas y formas eficientes de almacenar y ejecutar instrucciones. |
| Límites formales de lo que puede decidirse mediante un procedimiento mecánico | Elegir qué conviene automatizar y afrontar límites de tiempo, memoria y computabilidad. |
Por qué la máquina universal sigue importando 90 años después
El concepto sigue siendo importante porque separa el dispositivo físico de la tarea descrita por reglas. Una misma computadora puede funcionar como navegador, editor de texto, sistema de control o herramienta científica porque su función cambia con el programa. Las computadoras reales no son literalmente cintas infinitas con un cabezal que avanza una casilla por vez, pero la idea de que una máquina general puede ejecutar procedimientos codificados sigue siendo fundamental para la informática.
La máquina de Turing también continúa siendo una herramienta estándar para razonar sobre algoritmos, lenguajes, complejidad y decidibilidad. Computable90, en septiembre de 2026, no celebra una pieza de hardware de 90 años; celebra una forma de pensar la computación que todavía organiza preguntas actuales.
La formulación más precisa
Si “inventar la computadora” significa ser la única persona que construyó la primera computadora física moderna, la respuesta es no. Si la pregunta es si Turing aportó una de las ideas teóricas más profundas que hicieron inteligible la computadora programable de propósito general, la respuesta es sí.
La mejor síntesis es esta: Turing no inventó la computadora él solo; formalizó la computación universal y después participó directamente en el paso de esa idea a proyectos de máquinas reales. La computadora moderna nació de la convergencia entre esa teoría, la ingeniería electrónica, nuevas formas de memoria y el trabajo de múltiples equipos en distintos países.
