Algunas verdades matemáticas nunca podrán probarse
Los teoremas de Kurt Gödel de 1931 demostraron que los sistemas matemáticos consistentes contienen afirmaciones verdaderas. Estas nunca pueden probarse formalmente. Esto revela límites fundamentales de la lógica y el conocimiento.
En 1931, Kurt Gödel reveló una verdad profunda. Cualquier sistema matemático consistente con aritmética básica contiene afirmaciones verdaderas. Pero estas no pueden probarse dentro del propio sistema. Él creó una paradoja autorreferencial. Es como decir 'esta afirmación es indemostrable'. Si es cierta, es indemostrable. Si es falsa, crea una contradicción.
Seguir Leyendo en la App
más un cuestionario de 3 preguntas