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.

·

lunes, 3 de junio de 2013

EL ESCRITOR INDECIDIBLE


Alfred Tarski y sus modelos
fue como los escritores y
sus personajes.



Un escritor acerca
de otro escritor escribía.
A su vez este escritor,
según la historia,
escribía acerca de otro.


El primero entre estos
escritores ficticios,
supuso mejor hacer
que el ficticio colega,
fabulado, pudiera
escribir acerca de
algún otro de ellos.


Entonces pensó aquel
escritor supuesto real
«Quizá algún otro
escritor se encuentre
escribiendo acerca
de mí como yo de ellos
me encuentro ahora escribiendo.»


Y cuál fue la sorpresa
del artista al dudar,
sugiriendo su propia
presunta irrealidad.
Porque no podía saber
por medio de palabras
nada sobre el escritor
escribiendo acerca de él.


Las palabras, todas, que
antes siempre habían
revelado la verdad
aún si ésta era tan
lejana o recóndita,
misterio infranqueable.


Las palabras, todas, que
entonces sólo hablaban
de escritores muy irreales,
ellos siempre tan ficticios.
¡Ellos siempre tan ficticios!
Mas nunca sobre aquellos
escritores más reales
que él en esta historia.


Nunca él demostrable
real en esta historia.


3 de Junio de 2013

No hay comentarios:

Publicar un comentario