¿Inventó Alan Turing el ordenador?

No precisamente. Muchas personas contribuyeron a la invención del ordenador. Pero Turing fue muy importante en la invención del ordenador moderno y en la formalización de la teoría subyacente que permitió inventar y construir el ordenador.

Charles Babbage creó el concepto de ordenador programable aproximadamente un siglo antes de que Alan Turing estuviera en activo. Incluso intentó construir su "Motor Analítico", como lo llamó, pero perdió la financiación y se quedó en un dispositivo principalmente teórico. Era, por supuesto, analógico y mecánico. A lo largo del siglo XIX se construyeron algunos otros ordenadores mecánicos (menos sofisticados).

Sin embargo, lo que hizo Alan Turing en 1936 fue demostrar matemáticamente que ciertos tipos de ordenadores programables, como la Máquina Analítica de Babbage, podían computar cualquier cosa que fuera realmente computable (lo que ahora se conoce como ser "Turing-completo"). En su artículo, básicamente sentó las bases de los ordenadores modernos.

Al mismo tiempo (a partir de 1935), Konrad Zuse construyó el primer ordenador eléctrico programable, el Z3, en Alemania. Era completo como el de Turing, por lo que a Zuse también se le suele llamar el inventor del ordenador.

John Von Neumann se basó en el documento de Turing y creó la arquitectura de los ordenadores modernos (cómo se comunican la CPU, los registros de memoria y otros ordenadores). Esta arquitectura se sigue utilizando en su mayor parte hoy en día.

También participaron otras personas notables, pero estos tres son, en mi opinión, los principales "inventores" del ordenador. Babbage fue la persona que consideró por primera vez una máquina que fuera Turing-completa, por lo que en ese sentido es quizás el "inventor" adecuado; de hecho, a menudo se le llama "el padre del ordenador". Zuse también pensó en una máquina similar, pero la suya no era mecánica y sí estaba terminada. Turing fue fundamental para formalizar la teoría de la computación, y Von Neumann la puso en práctica y sentó las bases de cómo se diseñan los ordenadores modernos.