Computacion

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 la década de 1950, Eugene Wigner sentenció: ‘Solo Johnny von Neumann estaba completamente despierto’. Desde calcular divisiones de ocho dígitos de cabeza con seis años hasta diseñar el plano maestro de todos los procesadores modernos y anticipar que el progreso tecnológico nos conducía a una ‘singularidad esencial’, analizamos el legado del polímata que moldeó el hardware, la estrategia de los agentes y el destino de la AGI.