2008/7/28 Diego Saravia <[email protected]>:
El día 28 de julio de 2008 19:25, minombresbond <[email protected]> escribió:
El Mon, 28 Jul 2008 19:11:06 -0300 minombresbond <[email protected]> escribió:
Kurt Gödel probó, justamente en 1931, que había "verdades" que estaban más allá de la lógica, "verdades" que la lógica "sola" no podía comprobar.
noooooooo, no es mas alla de la logica, mas alla de la logica de produccion de teoremas del sistema formal
bueno es un copy paste de paenza, me quedo tranquilo, si te parece ridiculo lo que el dice, entonces no estoy tan loco yo en ese parrafo coincido con paenza, tu no
y a partir de esa cuestion, es que el teorema de godel fue tan influyente en la filosofia del SXX !
_______________________________________________ Solar-general mailing list [email protected] https://lists.ourproject.org/cgi-bin/mailman/listinfo/solar-general
-- Diego Saravia [email protected] NO FUNCIONA->[email protected]
_______________________________________________ Solar-general mailing list [email protected] https://lists.ourproject.org/cgi-bin/mailman/listinfo/solar-general