olapara todos q o '''real''' papel de Frege (ou qquer outro nome importante) na logica moderna seja revisto, estudado, questionado etc. eh bem legal. temos uma perspectiva hj q nao havia ha 40, 50 anos, eh claro. mas peraí, nao eh um pouco demais dizer q eh ABSURDO o Frege ser considerado o pai da logica moderna? abraços A.
2009/1/24 Adolfo Neto <[email protected]>: > 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 > > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
