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
