Boa, Marcelo
Acrescento que o texto afirma que "demonstra de uma vez para sempre
que qualquer sistema formal (matemático, simbólico etc.) é
necessariamente incompleto no sentido acima estabelecido". Claro que
isso não vale para *qualquer* sistema, como usualmente se fala na
literatura não especializada.
Agora, eu sou meio cético com isso de aplicar os resultados de Gödel
fora do estrito contexto no qual ele foi formulado. Acho que há muita
*viagem* nisso. Outra coisa que favorece essas divagações é a física
quântica.
Abraços,
Décio
_____________________________
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-970 Florianópolis, SC - Brasil
www.cfh.ufsc.br/~dkrause
"People complain that our generation has no philosophers. Quite
unjustly: it is merely that today's philosophers sit in another
department, their names are Planck and Einstein." (C. Seelig, 1952,
apud E. Scheibe 2001).
Em 03/08/2009, às 14:21, Marcelo Finger escreveu:
demonstra de uma vez para sempre que qualquer sistema formal
(matemático, simbólico etc.) é necessariamente incompleto no sentido
acima estabelecido
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
