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
