> Primeiro e importante notar que o trabalho do Post
> foi principalemente desenvolvido a partir de Principia Mathematica,
> sem esta obra, ele talvez nao teria feito nada.
Hummm, o mesmo vale sobre o trabalho sobre
incompletude/incompletabilidade do Gödel ("Über formal unentscheidbare
Sätze der Principia Mathematica und verwandter Systeme I")... O que
exatamente isto demonstra? Que sem a obra de Russell (& Whitehead) o
Gödel "não teria feito nada"?
JM
--
http://sequiturquodlibet.googlepages.com/
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
