E resolver problemas? Seria atividade menor, como palavras cruzadas? Sent from my iPhone
On 09/08/2012, at 10:35, jean-yves beziau <[email protected]> wrote: > 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 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
