29 Jul
2008
29 Jul
'08
12:37 a.m.
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
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]