Nao achou assim tao maravilhosa a vida do JvH
acho a vida de uma pessoa desesperada
que cai no fanatismo
em posicoes extremas
e que nao produziu nada a nivel matematico, logico ou filosofifco
senao promover esta ideai errada que o Frege foi o pai da logica moderna.

Prefiro por exemplo uma pessoa com o Gothendieck,
grande martematico e sabio
Tem um novo site sobre Grothendieck com muitas coisas que ele escreveu
e que nao foram publicadas:
http://www.grothendieckcircle.org/

________________________________
De : Francisco Antonio Doria [[email protected]]
Date d'envoi : samedi, 24. janvier 2009 14:29
À : BEZIAU Jean-Yves
Cc : [email protected]
Objet : Re: [Logica-l] JvH e a lenda do Frege com papai da logica moderna

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]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a