Teoría Temprana
años 1930–años 1950 · Turing y el Nacimiento de la Computación
Antes de que existieran las computadoras electrónicas, los matemáticos ya exploraban una cuestión profunda: pueden las máquinas «pensar»? Esta pregunta condujo a la emergencia de los fundamentos teóricos que establecieron las bases matemáticas y lógicas para el posterior nacimiento de la inteligencia artificial. Los pioneros de esta era —Turing, Church, Gödel— no se limitaron a la exploración matemática, sino que también emprendieron una indagación filosófica sobre la naturaleza de la mente humana.
La exploración teórica de esta era puede dividirse en tres líneas principales: el desarrollo de la teoría de la computación (impulsado por Turing y Church), los límites de la lógica formal (el trabajo de Gödel) y el nacimiento de la teoría de la información (la contribución de Shannon). Estas tres direcciones se entrelazan para formar la piedra angular teórica de la inteligencia artificial.
Hitos importantes
Teoremas de Incompletitud de Gödel
Kurt Gödel publicó sus teoremas de incompletitud, demostrando que cualquier sistema formal lo suficientemente potente contiene proposiciones que no pueden probarse ni refutarse dentro del propio sistema. Este descubrimiento no sólo conmocionó a la comunidad matemática, sino que también tuvo profundas implicaciones para la teoría de la computación y la inteligencia artificial.
Kurt Gödel (1906–1978)
Tesis de Church-Turing
Alonzo Church y Alan Turing propusieron de forma independiente la célebre Tesis de Church-Turing. Esta tesis afirma que toda función efectivamente computable es Turing-computable. De este modo se formaliza la noción intuitiva de «computabilidad», convirtiéndose en el fundamento de la ciencia de la computación.
Alonzo Church y Alan Turing
Máquina de Turing
Alan Turing introdujo el concepto de la máquina de Turing en su artículo fundamental «On Computable Numbers, with an Application to the Entscheidungsproblem». Este modelo abstracto de computación puede simular cualquier proceso matemáticamente computable.
Alan Turing (1912–1954)
Cálculo Lambda
Alonzo Church propuso el cálculo lambda, un sistema formal para la definición y aplicación de funciones. El cálculo lambda se considera la base teórica de la programación funcional. El cálculo lambda original de 1936 no tenía tipos; Church añadió tipos simples en 1940 («A Formulation of the Simple Theory of Types»), creando uno de los primeros sistemas explícitamente tipados.
Alonzo Church (1903–1995)
Modelo de Neurona
Warren McCulloch y Walter Pitts publicaron «A Logical Calculus of the Ideas Immanent in Nervous Activity», introduciendo el primer modelo de neurona artificial (neurona McCulloch-Pitts). Este modelo simplificaba las neuronas a interruptores de umbral binario, sentando las bases para la investigación posterior en redes neuronales.
Warren McCulloch y Walter Pitts
Cibernética
Norbert Wiener publicó «Cybernetics: Or Control and Communication in the Animal and the Machine», fundando la nueva disciplina de la cibernética. El estudio de cómo los sistemas se autorregulan mediante mecanismos de retroalimentación tuvo un profundo impacto en la IA y la robótica.
Norbert Wiener (1894-1964)
Teoría de la Información de Shannon
Claude Shannon publicó «A Mathematical Theory of Communication», sentando las bases de la teoría de la información. Conceptos cómo entropía, codificación y cantidad de información se convirtieron en herramientas fundamentales para comprender los datos y el procesamiento de la información.
Claude Shannon (1916–2001)
Test de Turing
En «Computing Machinery and Intelligence», Turing sustituyó la ambigua pregunta «¿Pueden pensar las máquinas?» por el juego de imitación, en el que una persona evaluadora usa una conversación escrita para distinguir una máquina de un ser humano. Es un criterio conductual, no una prueba de conciencia.
Alan Turing
La propuesta de Dartmouth de 1955
En 1955, John McCarthy, Marvin Minsky, Nathaniel Rochester y Claude Shannon usaron el término «artificial intelligence» en la propuesta del Dartmouth Summer Research Project y trazaron un programa de investigación para el verano de 1956.
John McCarthy et al.
Figuras importantes
Alan Turing
Padre de la Ciencia de la Computación
Turing fue no sólo el fundador de la ciencia de la computación, sino también un pionero del pensamiento sobre inteligencia artificial. Su modelo de máquina de Turing sentó las bases de la teoría de la computación, y el Test de Turing proporcionó un parámetro de referencia para las máquinas inteligentes. Durante la Segunda Guerra Mundial, su trabajo ayudó a descifrar el código Enigma alemán. En 1954, Turing falleció tras ser perseguido por su homosexualidad. En 2013, la reina Isabel II le otorgó un indulto real póstumo.
Alonzo Church
Padre del Cálculo Lambda
Church fue profesor en la Universidad de Princeton. Su Cálculo Lambda es la base teórica de la programación funcional. Su estudiante fue Turing, y juntos propusieron la Tesis de Church-Turing, que sigue siendo central en la teoría de la computación.
Kurt Gödel
Lógico
Los Teoremas de Incompletitud de Gödel son considerados uno de los descubrimientos matemáticos más importantes del siglo XX. Demuestran que incluso sistemas precisos cómo la matemática tienen limitaciones inherentes, una perspectiva filosófica que impacta profundamente el desarrollo de la IA.
Claude Shannon
Padre de la Teoría de la Información
Shannon fue no sólo el fundador de la teoría de la información, sino también un explorador temprano de la inteligencia artificial. Construyo un ratón mecánico (Theseus) capaz de resolver laberintos, una demostración temprana de máquina que aprende. Su tesis de maestría de 1937 «A Symbolic Analysis of Relay and Switching Circuits» es considerada fundacional para la teoría de los circuitos de conmutación digitales.
Norbert Wiener
Padre de la Cibernética
Wiener fue matemático en el MIT y fundó la cibernética, un campo interdisciplinario. Su concepto de «retroalimentación» influyó en la investigación temprana de la IA. Wiener fue también el primero en advertir sobre los peligros que la IA podría conllevar.
Citas célebres
Propongo considerar la pregunta: pueden pensar las máquinas?
Cualquier sistema formal lo suficientemente potente es incompleto.
El peligro de las máquinas no está en las máquinas mismas, sino en la dependencia del hombre hacía ellas.