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
