Posso fazer uma observação na qual estou pensando desde que a ouvi, há menos de um mês, do Suppes: a última pessoa que conheceu Gödel, Turing, Wittgenstein, e que ainda vive, é Kreisel. Kreisel no momento mora num mosteiro na Áustria, mas tem saúde precária. E ele viu o surgimento da lógica neste século XX, é testemunha direta. Depois dele, ninguém mais...
On Tue, Jan 27, 2009 at 5:54 PM, BEZIAU Jean-Yves <[email protected] > wrote: > Parece que tem dois extremos: > - de uma lado escrever artigos muito chatos em revistas serias > - de outro lado falar qualquer besteira, piadas duvidosas, a caracter > sexual, numa lista de discussao. > E o metodo americano: o cara que tudo dia da semana vai no escritorio onde > tem uma vida chatissima > e que no sabado a noite (saturday night fever) vai beber tres litros de > whiskey e fazer quelquer loucuras. > > Nao vejo a vida assim, > tem que ter capacidade de ter um espirito humorada e sutil nas publicacoes > serias > e de manter discurso de alto nivel nas listas de discussoes. > > No e-mail abaixo falei de fazer uma avliacao precisa do Frege, > sera que tem alguem que tem alguma coisa a falar a respeito? > > Carlos, Walter: certamente acho o lado conceptual muito importante > dividi entao a lista em duas partes - conceitos /teoremos > mas anota que muitas vezes uma pessoa que faz a boa conceptualizacao prova > um teoremo importante > isso é a beleza de matematica . > > > > Essa discussao sobre o Frege é interessante > mas seria bom se podemos fazer uma coisa mais construtiva e rigorosa. > Fazer uma avaliacao do Frege. > > 1) Qual e exatamente a relacao (nao causal), similitude e diferencia, entre > o sistemo de Frege e o calculo dos predicados de hoje (FOL), > Temos por isso que examinar quais sao as propriedades do sistemo do Frege. > o Abilio fala de completude, mas nao sei exateamente o que ele quer dizer, > essa palavra tem varios sentidos, me parece um pouco anacronica. > > 2) A verdadeira influencia do Frege sobre o desenlvovimento da logica > moderna > > 21) Sobre os conceitos fundamentias da logica moderna > 211) Teoria dos conjuntos > 212) Teoria da prova > 213) Teoria da recursao (computacao, intelligencia artifcial) > 214) Teoria dos modelos > 215) Logicas non classicas > > 22) Sobre os grandes resultados/teoremos da logica moderna > 221) Teoremo de completude > 222) Teoremo de incompletude (primeiro e segundo) > 223) Teoremoo de indecidiblidade > 224) Teoremoo de eliminacao da cortes > 225) independencia da hiptotese do continu. > > JYB > > _______________________________________________ > 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
