Gödel, Turing y el límite que la IA no puede cruzar

Infinities, impossibilities, and the man in the white linen suit

Kurt Gödel, el lógico que demostró que las matemáticas nunca pueden explicarse a sí mismas, murió convencido de que lo envenenaban. Su teorema de incompletitud, publicado en 1931, destruyó el sueño de Hilbert de un sistema perfecto y llevó a Turing a inventar la computadora moderna. Hoy, en pleno auge de la IA, sus ideas resuenan: los sistemas de auto-mejora como la Máquina de Gödel Darwin intercambian la garantía matemática por la validación empírica, y algunos problemas de aprendizaje son indecidibles. Un recorrido por la historia que conecta la lógica, la computación y los límites de la inteligencia artificial.