Teorema de incompletitud de Gödel


Kurt F. Gödel, en «Sobre las proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines» [paráfrasis]:

«Existen argumentos lógicos imposibles de ser deducidos verdaderos o falsos; entre ellos, la coherencia de dichos razonamientos.»

La existencia verdadera o falsa de algo (por ejemplo, las piedras; al contrario, las hadas), no implica que la misma sea demostrable así, ni que deba o no tenerse fe en cualquiera de estas posibilidades.

·

La creatividad surge de hallar –pensando diferente del resto– ideas absurdas, para así nuevamente pensarlas y darles coherencia.

Ahí la importancia de la Lógica: porque sólo con ella es posible tanto hallar los absurdos como obtener la coherencia.

·

viernes, 11 de julio de 2014

EINSTEIN

Fuiste erudito retando teorías
que siendo ajustes de pruebas comunes,
o filosóficamente fallidas,
ciertas y falsas a todos confunden.

Ciertas, si lúcidamente suponen
que no haya cuerpos de avance invariante,
o porque Newton, valiente, pensase
que era inmediata la luz que se impone.

Falsas si ilógicamente disponen
de lo probable para hacerlo cierto,
aun careciéndose de mediciones.

Fue reducido por ti el Universo,
en su grandeza expansiva y acciones,
a tu prestigio de teóricos lechos.

11 de Julio de 2014

[Esta entrada participa en la XI Edición del Carnaval de Humanidades alojado por @ScientiaJMLN en el blog SCIENTIA]

 

No hay comentarios:

Publicar un comentario