IEste año celebramos el 90 aniversario del trabajo pionero de Kurt Gödel, quien fundó la teoría teórica moderna de la informática y la inteligencia artificial (IA) en 1931. Gödel envió ondas de choque a la comunidad académica mientras demostraba los límites fundamentales de la informática, la inteligencia artificial, lógica y matemáticas en sí. Esto tuvo un gran impacto en la ciencia y la filosofía en el siglo XX.

Nacido en Brno (actual Brno), Gödel tenía 25 años cuando escribió su tesis en Viena. En el curso de sus estudios, diseñó un lenguaje universal para codificar cualquier operación que pudiera formalizarse. Se basa en números enteros y permite la representación de datos, como axiomas de operaciones aritméticas básicas y teoremas demostrables, así como programas, por ejemplo, cadena de operaciones sobre los datos que producen evidencia. En particular, permite formalizar el comportamiento de cualquier ordenador digital de forma intuitiva. Wadell construyó declaraciones formales, autorreferenciales e indecidibles famosas, que implican que el contenido de la verdad no puede ser determinado por la aritmética.

Al hacerlo, finalmente determinó los límites básicos de la prueba de la teoría de algoritmos, la computación y todo tipo de inteligencia artificial computacional. Algunos incluso malinterpretaron sus resultados y creyeron que demostraba la superioridad de los humanos sobre la inteligencia artificial. De hecho, gran parte de la IA temprana en las décadas de 1940 a 1970 se ocupó de las pruebas teóricas y la inferencia en el método de Gödel (a diferencia del enfoque inductivo del aprendizaje automático que prevalece en la actualidad). Hasta cierto punto, fue posible apoyar a los especialistas humanos con sistemas de expertos deductivos.

Leibniz, Frij, Zuz, Turing

Como casi todos los grandes eruditos, Dowel estaba sobre los hombros de los demás. Combinó el famoso truco de destilación de Georg Cantor de 1891 (que mostró que hay diferentes tipos de infinito) con ideas fundamentales de Gottlob Frege, quien introdujo el primer lenguaje formal en 1879, y de Thoralf Skolem, quien fue un primitivo recursivo en 1923. Estos son los componentes básicos de la aritmética), así como por Jacques Herbrand, quien reconoció las limitaciones del enfoque de Skolem. Este trabajo, a su vez, amplió las ideas pioneras que el científico enciclopédico y «primer científico informático» Gottfried Wilhelm Leibniz tenía mucho antes.