>http://funredes.org/mistica/castellano/emec/produccion/memoria16/0080.html

Estimados,
Lo que aquí pasa solo es explicable con un teorema.
Por eso y por iletrado recurro al wiki. En lógica
matemática, los teoremas de la incompletitud de
Gödel son dos célebres teoremas demostrados por
Kurt Gödel en 1930. Simplificando, el primer
teorema afirma:

En cualquier formalización consistente de las
matemáticas que es lo bastante fuerte para
definir el concepto de números naturales,
se puede construir una afirmación que ni
se puede demostrar ni se puede refutar
dentro de ese sistema.

Este teorema es uno de los más famosos
fuera de las matemáticas, y uno de los
peor comprendidos. Es un teorema en
lógica formal, y como tal es fácil
malinterpretarlo. Hay multitud de
afirmaciones que parecen similares
a este primer teorema de incompletud
de Gödel, pero que en realidad no
son ciertas. Éstas se comentan en
Malentendidos en torno a los teoremas
de Gödel.
me encanto
abrazo fraterno
js
Nearby lun 05 feb 2007 16:31:48 AST