Primer teorema de incompletitud
Cualquier sistema formal consistente F lo suficientemente potente para expresar la aritmética básica contiene afirmaciones que son verdaderas pero indemostrables dentro de F. La demostración se basa en la autorreferencia: Gödel construyó una afirmación G que declara «esta afirmación no es demostrable en F». Si F demuestra G, F es inconsistente. Si F no puede demostrar G, entonces G es verdadera (ya que dice que no es demostrable) pero indemostrable. En cualquier caso, F es incompleto o inconsistente.
Segundo teorema de incompletitud
Ningún sistema formal consistente lo suficientemente potente para expresar la aritmética básica puede demostrar su propia consistencia. No se puede utilizar un sistema para establecer que el sistema nunca demostrará una contradicción. Este es el resultado más profundo: significa que el programa de Hilbert de demostrar la consistencia de las matemáticas mediante métodos matemáticos es imposible.
Lo que Gödel no demuestra
Los teoremas de incompletitud no significan que las matemáticas sean poco fiables ni que «todo vale». Se aplican a sistemas formales (sistemas axiomáticos con reglas de demostración mecánicas), no a la intuición matemática en general. No significan que toda cuestión matemática sea indecidible, solo que ningún sistema de axiomas finito decide todas las cuestiones. Gödel mismo era platónico: creía que las verdades matemáticas son objetivamente reales y accesibles a la intuición matemática, incluso cuando superan la demostración formal.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Implicaciones más allá de las matemáticas
Los teoremas de Gödel han sido interpretados (a menudo sobreinterpretados) como si tuvieran implicaciones para la inteligencia artificial, los límites del conocimiento humano y la naturaleza de la conciencia (argumento de Penrose). La interpretación más defendible: cualquier IA suficientemente potente basada en un sistema formal tendrá puntos ciegos: verdades matemáticas que no puede demostrar. Si la intuición matemática humana escapa a esta limitación es un tema ferozmente debatido.
Preguntas frecuentes
¿Qué dicen los teoremas de incompletitud de Gödel?
El primer teorema: cualquier sistema formal consistente lo suficientemente potente para la aritmética contiene afirmaciones verdaderas que no puede demostrar. El segundo teorema: ningún sistema de este tipo puede demostrar su propia consistencia. Juntos, muestran que las matemáticas no pueden ser completamente axiomatizadas: siempre habrá verdades matemáticas que escapen a cualquier sistema de demostración fijo.
¿Demuestran los teoremas de Gödel que la IA nunca podrá igualar la inteligencia humana?
Roger Penrose argumenta que sí: si la mente fuera un sistema formal, Gödel se aplicaría; dado que los matemáticos pueden reconocer verdades que van más allá de la demostración formal, la mente debe ser algo más. Los críticos (incluyendo a la mayoría de los investigadores de IA) argumentan que esto es una mala aplicación de los teoremas: Gödel se aplica a sistemas formales fijos, y un sistema de aprendizaje o uno que cambia sus axiomas no es lo mismo.
¿Tratan los teoremas de Gödel sobre los límites del conocimiento humano?
Se refieren específicamente a los sistemas axiomáticos formales, no al conocimiento humano en general. Gödel creía que los humanos poseen una intuición matemática que trasciende cualquier sistema formal particular: él era platónico. Los teoremas demuestran que ningún procedimiento de demostración mecánico abarca la totalidad de las matemáticas, pero si el entendimiento matemático humano supera a los procedimientos mecánicos es una cuestión filosófica independiente.