[Solar-general] Muerte al postmodernismo

Lun Jul 28 18:19:16 CEST 2008

y quizas lo mas interesante de godel es que hay certezas sobre el
sistema, que no pueden ser probadas (deducidas) mediante los axiomas
del sistema, sino estudiando el sistema, algo asi como metaverdades.

por ejemplo un sistema que hable sobre los comportamientos de las
hormigas, cuyas proposiciones verdaderas describan lo que las hormigas
hacen y sus falsedades lo que no hacen, y que todo lo que las hormigas
hacen o pudieran hacer y no hacen sea expresable en el sistema, o sea
es completo

bueno ese sistema quizas no pueda demostrar  sentencias que describen
generalidades como todas las hormigas que giran a la derecha un numero
primo de veces y luego giran a la izquierda, siguen girando un numero
par de veces.
Quizas esto sea verdad, pero quizas no se pueda deducir de los axiomas
del sistema original. Se puede deducir a partir de analizar el
sistema, pero no se puede producir como demostracion.

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