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, 27 de septiembre de 2013

UN TESTIMONIO INDECIDIBLE

 
Nunca es «suficiente»
lo dicho sobre Gödel,
sus teoremas,
y, sin embargo,
lo es.

Insistió en hacer tal o cual cosa,
así, así o asado;
no se tenía pleno testimonio de ello.

Luego, insistió en insistir.
Y luego, insistiendo,
insistió en insistir.

Siguió con esa insistencia,
insistencia en motivos ya insistidos,
y de pronto descubrió quien lo escuchaba
que no se requería nada en sí
para reconocerse que lo primero en ocurrir,
y lo más relevante, fue aquella insistencia
sobre tal o cual cosa,
así, así o asado,
sin pleno testimonio de ello.

27 de Setiembre de 2013

[Esta entrada participa en la VII Edición del Carnaval de Humanidades alojado por @jlmgarvayo en el blog Afán por saber.]

Nota: Esta alegoría es introductoria. La familiaridad con el teorema de [incompletitud] de Gödel no suele ser común. En dado caso, se sugiere leer antes la siguiente entrada: El teorema de Gödel, o también esta otra: Del teorema de Gödel.
 
 

No hay comentarios:

Publicar un comentario