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]> > 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] >> 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 > >
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
