> O teorema de incompletude de Gödel depende de muitas coisas que o Gödel > nao inventou: [...] > - paradoxo do mentiroso (Gödel falou explictamente que ele se inspirou > deste paradoxo)
A despeito do que o próprio Gödel terá dito informalmente acerca de sua fonte de inspiração, o que importa neste caso parece ser o uso do procedimento de diagonalização inventado (?) por Cantor. Não podemos deixar de apontar a séria confusão que está em comparar o primeiro teorema de incompletabilidade de Gödel ao Paradoxo do Mentiroso: Gödel *não* demonstrou que há "verdades que não são verdadeiras", na Aritmética, mas que há ali *verdades que não são demonstráveis por uma teoria recursivamente axiomatizável*. Wittgenstein morreu sem entender isso. > Gödel por causa da excentricidade dele virou uma lenda. > Do outro lado poucas pessoas falam do Paul Bernays > que era uma pessoa discreta > que fiz contribucoes muito importante a logica, > e que foi uma das pessoas mas proxima ao Gödel, > Ver o artigo do Feferman: > http://math.stanford.edu/~feferman/papers/bernays.pdf O trabalho do discreto Bernays foi de fato simplesmente sensacional, e sem ele personalidades díspares como Hilbert e Fraenkel teriam ambos produzido cientificamente substancialmente menos do que de fato produziram. Se Bernays não tivesse tido este papel, contudo, ainda assim teria entrado para a história como o orientador do Gentzen. Ou será que agora estou "idolatrando" esse tal de Gentzen? Joao Marcos -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
