Jueves, 29 de noviembre de 2007
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?.

Tags: Enrique, Arias, hermida, Valencia

Publicado por Ariastoteles @ 1:00
Comentarios (0)  | Enviar
Comentarios