LA MATEMÁTICA,¿ DEMUESTRA LA VERDAD?

Estamos acostumbrados a probar todo mediante la matemática, pero, qué pasaría si con ella no puede demostrarse la verdad? Solo una parte, es visible como demostrable a nuestros ojos.

Las teorías de incompletitud de Kurt Gödel son dos teoremas fundamentales en la lógica y la teoría de números que fueron desarrollados por el matemático y lógico austrohúngaro Kurt Gödel en la década de 1930. Estos teoremas revolucionaron la comprensión de las matemáticas y la lógica, y tienen profundas implicaciones en campos como la filosofía de la matemática y la teoría de la computación. Aquí expongo una explicación general de ambos teoremas:

Primer Teorema de Incompletitud:

El Primer Teorema de Incompletitud establece que en cualquier sistema formal lo suficientemente rico para expresar la aritmética de los números naturales (como el sistema de los números de Peano), hay afirmaciones verdaderas pero indecidibles. Es decir, hay afirmaciones matemáticas que no pueden ser probadas ni refutadas dentro de ese sistema utilizando sus propias reglas y axiomas.

La prueba de este teorema se basa en la construcción de una afirmación autorreferencial, conocida como la "sentencia de Gödel" o "fórmula de Gödel", que es capaz de afirmar su propia no demostrabilidad dentro del sistema formal. Esto crea un dilema, ya que si la sentencia de Gödel es verdadera, entonces hay una afirmación verdadera pero indecidible en el sistema; pero si se considera falsa, entonces su afirmación de no demostrabilidad es falsa, lo que significa que debe ser demostrable y, por lo tanto, verdadera. Este teorema demuestra que ningún sistema formal puede ser completamente autocontenible y capaz de demostrar todas las verdades matemáticas sobre los números naturales.

Segundo Teorema de Incompletitud:

El Segundo Teorema de Incompletitud es una extensión del primero y establece que en un sistema formal lo suficientemente rico como para expresar su propia consistencia (es decir, puede afirmar que no contiene contradicciones), no puede demostrar su propia consistencia. En otras palabras, si un sistema formal es lo suficientemente fuerte para probar todas las verdades matemáticas sobre los números naturales, entonces no puede probar que no contiene errores o contradicciones internas.

Esto significa que, si asumimos que un sistema formal es consistente, entonces habrá afirmaciones que son verdaderas pero que no pueden ser demostradas como verdaderas dentro del sistema mismo. Además, si el sistema es inconsistente, entonces todas las afirmaciones serán demostrables, pero algunas de ellas serán falsas.

Estos teoremas tienen profundas implicaciones filosóficas y matemáticas. Demuestran que ningún sistema formal puede ser completamente autocontenible y capaz de probar todas las verdades matemáticas. Además, cuestionan la idea de que las matemáticas son un sistema lógico completo y consistente. Gödel también demostró que es imposible utilizar las matemáticas para resolver definitivamente ciertas cuestiones sobre sí mismas.

En resumen, los teoremas de incompletitud de Gödel son resultados fundamentales en la teoría de la lógica y los fundamentos de las matemáticas que han tenido un impacto duradero en la filosofía de la matemática y la teoría de la computación. Estos teoremas revelan las limitaciones intrínsecas de cualquier sistema formal y plantean preguntas profundas sobre la naturaleza de la verdad matemática y la posibilidad de una teoría matemática completa y consistente.

En este libro, utilizaremos la aritmética y la geometría ante imposibilidades existentes en papel pero no de forma presencial. Tal es el caso de las cifras decimales periódicas, imposibilidades geométricas dimensionales, integrales sagradas, Constantes, Números Irracionales, Números Espejos y otros más.