2008/7/26 Diego Saravia <[email protected]>:
si en un sistema formal sabemos sumar 1+2 pero no 2+1 podriamos decir que es incompleto pero si en un caso da 3 y en el otro 4, y ademas tenemos una axioma de que a+b=b+a, bien eso es inconsistente.
lo que es interesante de godel, es que no hay balas de plata
es decir, no hay un solo axioma extra que diga todo, y si lo hay se pasa, dice demasiado
entonces debes ir planteando tus axiomas "despacito" para cada sistema suficientemente complejo
y siempre te quedaran proposiciones sin decidir para un sistema complejo, que si las necesitas definir, pues eso, las defines, una por una
desde afuera del sistema!
-- Diego Saravia [email protected] NO FUNCIONA->[email protected]
_______________________________________________ Solar-general mailing list [email protected] https://lists.ourproject.org/cgi-bin/mailman/listinfo/solar-general