[Solar-general] Muerte al postmodernismo

Sab Jul 26 18:35:49 CEST 2008

>> un sistema logico formal si es completo no puede ser consistente y si
>> es consistente no puede ser completo,
>
> asi es, y? que tiene que ver eso con lo que tu dices
>

perdon, me traiciono mi asi es.

eso solo pasa para sistemas formales de cierta complejidad

(los que tienen la capacidad de autoreferenciarse, es alli donde entra
en juego el tema paradojas)

porque si un sistema puede hablar de si mismo admite expresiones como
"yo siempre miento".

y ese tipo de expresiones permiten demostrar que si es completo no es
consistente, dado que si es completo debe resolver la verdad de esas
afirmaciones, y eso entra en contradiccion.

pero perfentamente podemos tener sistemas formales complejos  no completos

y de eso se trata la matematica (hoy) (hilbert quiso construir un
sistema completo de una)

en esos sistemas (modelos)  podremos seguir decidiendo que cosas
hacemos verdad por mucho tiempo

puse modelos porque podemos desde alguna ciencia usar un modelo
adecuado para representar sus realidades y en tal sentido elegir el
conjunto de axiomas que declaramos principios de esa ciencia, como?
pues viendo que sus conclusiones se adaptan a los experimentos. Asi
esos principios resumen el conjunto de observables de dicha ciencia

espero te sirva, y espero no tenga muchos errores

>
-- 
Diego Saravia
Diego.Saravia en gmail.com
NO FUNCIONA->dsa en unsa.edu.ar