De mucha buena fe y con muy mala voluntad.
La verdad de las matemáticas
Enrique Arias Valencia
Nada es más cierto que dos más dos son cuatro, nada es más cierto, ni siquiera la trinidad. ¿No es asombroso que siempre, y en todos los casos dos más dos sean cuatro? ¿Y si son dos y dos mitades? Son cuatro mitades.
Gödel también estaba entregado en cuerpo y alma a este asunto de la verdad, pero él lo trató por medio de la lógica. Ya lo ha dicho con su pluma magistral Douglas R. Hofstadter en su obra inmortal: “En suma, lo que demostró Gödel fue que la demostrabilidad es un concepto más endeble que la verdad, independientemente del sistema axiomático de que se trate”. La demostración es endeble. ¿Es endeble la verdad? Hofstadter nos persuade de que no lo es más que la demostración. Hofstadter afirma que “Las demostraciones son pruebas dentro de sistemas fijos de proposiciones”.
Enrique Arias Valencia
Nada es más cierto que dos más dos son cuatro, nada es más cierto, ni siquiera la trinidad. ¿No es asombroso que siempre, y en todos los casos dos más dos sean cuatro? ¿Y si son dos y dos mitades? Son cuatro mitades.
Gödel también estaba entregado en cuerpo y alma a este asunto de la verdad, pero él lo trató por medio de la lógica. Ya lo ha dicho con su pluma magistral Douglas R. Hofstadter en su obra inmortal: “En suma, lo que demostró Gödel fue que la demostrabilidad es un concepto más endeble que la verdad, independientemente del sistema axiomático de que se trate”. La demostración es endeble. ¿Es endeble la verdad? Hofstadter nos persuade de que no lo es más que la demostración. Hofstadter afirma que “Las demostraciones son pruebas dentro de sistemas fijos de proposiciones”.