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
