Com se sabe logo depois do segundo teorema de incompletude do Gödel Gentzen provou a consistencia (relativa) da aritmetica.
Gödel gostava muito do trabalho do Gentzen e passou anos estudando este trabalho o que levou ele ao ultimo resultado importante dele, sua prova "dialectica" que se chama assim porque foi publicado no jornal Dialectica na decada 50. (journal Suiço fundado por Bernays, Bachelard e Gonseth). Este exemplo mostra mais uma vez que o Gödel foi mas um provador (talvez um tipo de super maquina de Turing) que um conceptualizador. JYB _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
