Teoremas de Incompletitud de Gödel

Los Teoremas de Incompletitud de Gödel, publicados por Kurt Gödel en 1931, son dos teoremas famosos de lógica matemática.

Demuestran que en cualquier sistema axiomático consistente lo suficientemente potente como para describir la aritmética, existen proposiciones verdaderas que no pueden ser demostradas ni refutadas dentro del sistema.

Relevancia para la Inteligencia: El físico Roger Penrose utiliza estos teoremas para argumentar que la conciencia humana es “no computable”. Sugiere que la mente humana puede captar verdades matemáticas que un algoritmo (una computadora) nunca podría probar formalmente, lo que implica que el cerebro no funciona simplemente como una máquina de Turing clásica.