O teorema de incompletude de Gödel depende de muitas coisas que o Gödel nao inventou: - programa de Hilbert - logica de primeira ordem (na formulacao de Hilbert-Ackerman) - nocao de recursividade (que ele pegou do Herbrand - o Heijenoort passou muito tempo procurando a carta do Herbrand para Gödel) - paradoxo do mentiroso (Gödel falou explictamente que ele se inspirou deste paradoxo) - a distincao entre linguagem e metalinguagem (o Tarski diz que foi ele que explicou isso a Gödel num visita em Vienna) e varias outras coisas.
Nao impede que o Gödel foi um grande logico mas nao inventou tudo sozinho a partir do nada. E tem outras pessoas que tiveram ideias similares independemente antes ou em parallelo tal que o Post. 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 perigo de valorizar excentricos com Gödel e Turing e de promover a ideia que a excentricidade e uma condicao necessaria para ser um genio e na base de uma falacia invertida tem pessoas que acham que isso e uma condicao suficiente ... _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
