Shannon, Wiener y el lenguaje de la información
La teoría de la información de Shannon (1948) y la cibernética de Wiener (1948) dieron vocabulario matemático a control, feedback y comunicación.
1940–1955
Fundamentos
Los orígenes conceptuales de la computación inteligente: Turing, cibernética y la pregunta por las máquinas pensantes.
McCulloch y Pitts 1943: la neurona artificial lógica
Warren McCulloch y Walter Pitts modelaron neuronas como unidades lógicas binarias, germen de las redes neuronales artificiales.
Turing 1950: Computing Machinery and Intelligence
El artículo de 1950 de Turing propuso el “juego de la imitación” y formuló la pregunta operativa: ¿pueden pensar las máquinas?
Turing 1936: máquinas, números computables y el halting problem
Alan Turing definió un modelo abstracto de cómputo y demostró la indecidibilidad del problema de la parada, base de la ciencia de la computación.
Gödel 1931: incompletitud y límites del formalismo
Los teoremas de incompletitud de Kurt Gödel mostraron que ningún sistema formal suficientemente rico puede capturar toda la verdad aritmética.
El Entscheidungsproblem de Hilbert y el sueño de decidirlo todo
David Hilbert planteó si existe un procedimiento finito para decidir la verdad de cualquier enunciado matemático; la respuesta negativa abrió la teoría de la computación.
Ada Lovelace y el Motor Analítico: primer algoritmo publicado
En 1843, Ada Lovelace describió un algoritmo para la máquina de Babbage y distinguió cálculo numérico de manipulación de símbolos.
George Boole y el álgebra de la lógica
En 1854, George Boole publicó Las leyes del pensamiento, transformando la lógica en un álgebra que sostiene circuitos y computación digital.
Leibniz y el dream del calculus ratiocinator
En los siglos XVII–XVIII, Gottfried Wilhelm Leibniz imaginó un lenguaje universal y un cálculo del razonamiento que anticipan la IA simbólica.
Aristóteles y la lógica silogística: raíces remotas de la IA
La lógica aristotélica del siglo IV a.C. aportó reglas formales de inferencia que siglos después inspiraron la automatización del razonamiento.