Isso claramente é totalemente errado mesma coisa fantastica que dizer que o calculo de predicados foi idealizado por Leibniz
Gödel com se sabe trabalhou a partir do livro do Hilbert e Ackerman que tem pouco a ver com Frege. E o Hilbert que formalizou as coisas da forma que se aproxima mais de como a gente trata a logica de predicados hoje em dia Gödel tambem foi muito influenciado pelo Lukasiewicz/Tarski a respeito da diferencia entre linguagem e matalinguagem, diferencia que é fundemntal para o segundo teoremo dele (incompletude) Numa carta a Neurath que foi achada muitos anos depois Tarski conta com ele explicou essa differencia a Gödel. Gödel foi influenciado tambem pelo Herbrand para a conceptualizaco da nocao de funcao recusriva tembem fundamental para o teoremo dele. Nao acho exagerado dizer que a influencia do Frege sobre Gödel foi zero. Com a Geraldine Brady explica no livro dela, a completude do Gödel tem muito a ver com o trabalho de Löwenhiem e Skolem. E ela mostra que Löwenhiem e Skolem nao foram influenciados de jeito nenhum por Frege, mas por Peirce. ________________________________ De : Adolfo Neto [[email protected]] Date d'envoi : samedi, 24. janvier 2009 14:46 À : Francisco Antonio Doria Cc : BEZIAU Jean-Yves; [email protected] Objet : Re: [Logica-l] JvH e a lenda do Frege com papai da logica moderna Oi Jean-Yves e lista, Estou lendo "O advento do algoritmo", de David Berlinski. Na página 155 ele escreve que Gödel "estabeleceu sua reputação demonstrando, em sua tese de doutorado na Universidade de Viena, que o cálculo de predicados - o sistema de inferências que Frege idealizou - é completo." Isto está errado? []s Adolfo ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com ========================================== 2009/1/24 Francisco Antonio Doria <[email protected]<mailto:[email protected]>> Vida maravilhosa, aliás, J.-Y. ... On Sat, Jan 24, 2009 at 9:25 AM, BEZIAU Jean-Yves <[email protected]> wrote: Continuando meu e-mail de ontem: Jean van Heijennort promoveu a lenda do Frege com papai da logica moderna, uma lenda totalemente absurda tanto absurda talvez que a propra vida do JvH que foi guarda costa e secretaria do Trotsky, amante da Frida Kahlo, assassinado pela terceira e quarta mulher - se casou duas vezes com ela - quando tinha perto de 80 anos. (Sobre Jvh, pode ver a entrada da wikipedia onde tem boas referencias) O trabalho do Jvh sobre historia de logica moderna foi importante mas deformou muito a realidade, em particular botou do lado as contribucoes muito importante de - Boole, Venn, a escola ingles - Schröder, Peirce, a algebra da logica - Tarski e a escola polonase Vamos analisar um pouco o papel de Frege no desenlvovimento da logica moderna: Influencia do Frege sobre Gödel: zero O Gödel foi influenciado por Hilbert, Tarski e Herbrand. Influencia do Frege sobre Tarski: zero Tarski foi o grande promotor da logica no seculo vinte em particular atraves da escola que ele desenvolveu na California centrada na teoria dos modelos A teoria dos modelos - o fato que uma teoria pode ter varios modelos - é uma teoria totalemente oposto as ideias do Frege. Influencia do Frege sobre desenvolvimento da logicas non classicas: zero Inflruncia do Frege sobre desenlvovimento da computacao (intelligencia artifcial, etc): zero _______________________________________________ Logica-l mailing list [email protected]<mailto:[email protected]> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list [email protected]<mailto:[email protected]> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
