27 Jul
2008
27 Jul
'08
1:14 a.m.
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 [email protected] NO FUNCIONA->[email protected]