Muito bem Pedro, minha colocao era provocativa e voce respondeu a provocacao explicando o trabalho do Shelah. Acho este tipo de discussao interessante na lista de logica-l (assim nao ficamos so com discussoes de comida parabenizada).
A dicotomia theorem-prover vs conceptualizador e meio caricatural O Cohen que era mais theorem-prover tive que inventar o forcing para provar a independendia de CH. Essa e uma questao interessante do ponto de visto da filosofia da matematica: sera que teoremas importantes sao sempre ligados a novos conceitos? De outro lado umas das conjecturas favoritas do Tarski, relativa a algebra de Boole, foi resolvido por computador, tem um artigo intressante sobre isso explicando porque essa prova pode ser considerado com realemente a primeira prova por computador. Estudei a teoria dos modelos em Paris com o Daniel Lascar, grande stabilizador, ele escreveu um livro sobre isso ha muitos anos, e mais rectemmente ume excelente livro chamado La théorie des modèles en peu de maux (Cassini, Paris, 2009) centrada na teoria da definissibilidade. Um dos primeiros livros sobre teoria dos modelos e o livro do Kreisel-Krivine, foi escrito em frances na decada 60 e traduzido em ingles e alemao . na base de um curso que o Kreisel fiz em Paris. G.Kreisel et J.-L.Krivine, Eléments de logique mathématique (Théorie des modèles), Dunod, Paris, 1966. Ai o filosofo Alain Badiou escreveu em 1968 um pequeno livro chamado "le concept de modèles" que tive bastante successo. (O Badiou e famoso tambem para seu livro O Ser e Evento que um livro interessante sobre o forcing. que ele considera a nocao mais importante para a filosofia no seculo 20). Estou interessado na historia da teoria dos modelos, escervi um pouco sobre isso: nos artgos "History of truth-values" (publicado no Vol.11 do Handbook of the history of logic) e "Badiou et les modèles". Sobre o inicio da teoria do modelos tem o livro bem interessante da Geraldine Brady. >From Peirce to Skolem. O artigo do Hodges "Truth in a structure" tambem e fundamental, ele tenta explicar porque a definicao de verdade da teoria dos modelos de fato nao aparece no artigo do Tarski de 1935. Tem uma coisa que ainda nao foi bem estutado e a relacao entre o trabalho de matematicos e a teoria dos modelos. Por exemplo me parcee que o teorema de Brikhoff que foi provado cerco de 1930 e tipicamente um resultado de teoria dos modelos. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
