Re: [Logica-l] JvH e a lenda do Frege com papai da logica moderna
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 : > 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 >> >> Vida maravilhosa, aliás, J.-Y. ... >> >> On Sat, Jan 24, 2009 at 9:25 AM, BEZIAU Jean-Yves >> 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 >>> Logica-l@dimap.ufrn.br >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> >> >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] JvH e a lenda do Frege com papai da logica moderna
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 > Vida maravilhosa, aliás, J.-Y. ... > > On Sat, Jan 24, 2009 at 9:25 AM, BEZIAU Jean-Yves > 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 >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
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 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 > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] JvH e a lenda do Frege com papai da logica moderna
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 Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l