Alan Turing

En 1931, con apenas veinticinco años, un tímido matemático austríaco asestó el golpe más demoledor de la historia del pensamiento formal: demostró que en cualquier sistema matemático consistente siempre existirán verdades que jamás podrán ser probadas. Analizamos la mente atormentada de Kurt Gödel, sus obsesiones, la conexión directa con el ‘Halting Problem’ de Turing y la pregunta que quita el sueño a los teóricos de 2026: ¿chocará la AGI contra el muro de la incompletitud?

En 1950, Alan Turing abrió un artículo académico con una pregunta que aún nos quita el sueño: ‘¿Pueden pensar las máquinas?’. Desde sus excentricidades en Bletchley Park encadenando su taza al radiador hasta romper el código nazi de Enigma y sentar las bases de la computación universal, este artículo analiza el legado de Turing bajo la óptica de la IA moderna: agentes autónomos, vulnerabilidades como los recientes ataques en Hugging Face, y el horizonte de la AGI frente a la humanidad.