Los sistemas matemáticos no pueden probar todas sus verdades
Los teoremas de Kurt Gödel de 1931 revelaron que los sistemas matemáticos consistentes, lo suficientemente potentes para la aritmética básica, no pueden probar todas sus propias verdades. Esto expuso límites inherentes en la lógica formal.
En 1931, el matemático Kurt Gödel lanzó una bomba. Ningún sistema matemático consistente, lo suficientemente potente para la aritmética básica, puede probar todas sus propias afirmaciones verdaderas. Esto significa que tales sistemas son inherentemente incompletos. No pueden capturar toda la verdad matemática usando solo sus reglas internas. También demostró que un sistema consistente no puede probar su propia consistencia.
Seguir Leyendo en la App
más un cuestionario de 3 preguntas