[Solar-general] Muerte al postmodernismo

Dom Jul 27 03:14:48 CEST 2008

>
> 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

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