[Solar-general] Muerte al postmodernismo

Dom Jul 27 05:32:11 CEST 2008

2008/7/26 Diego Saravia <dsa en unsa.edu.ar>:
>>
>> 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
> Diego.Saravia en gmail.com
> NO FUNCIONA->dsa en unsa.edu.ar
>
> _______________________________________________
> Solar-general mailing list
> Solar-general en lists.ourproject.org
> https://lists.ourproject.org/cgi-bin/mailman/listinfo/solar-general
>