Prezados: Só pergunto quem inventou a teoria PCF em Teoria dos Conjuntos, por exemplo. Foi o Shelah.
Vou falar sobre a minha área de expertícia que é a Teoria dos Modelos: Quem inventou as Abstract Elementary Classes como geralização das classes elementares de primera ordem, tentando estudar classes axiomatizáveis em lógicas infinitárias? Foi o Shelah. Não indo muito longe, o Shelah foi o cara que inventou as teorias estáveis, tentando resolver a conjetura do Los sobre categoricidade em teorias não enumeráveis, né? Aqui concordo com você, esse problema vem de uma conjetura do Los. A tese de doutorado do Shelah foi desenvolver as teorias estáveis, né? Qualquer cara que saiba um pouco sobre teoria dos modelos muito depois do teorema do Morley, sabe da importância das teorias estáveis ... O Shelah inventou o conceito de non-forking como noção de independência. Qualquer cara que saiba um pouco de teoria dos modelos, sabe que essa noção é muito importante na teoria dos modelos que ainda se trabalha atualmente. Essa noção de independência até tem levado a teses de doutorado, como a famosa tese do B. Kim sob a orientação do Anand Pillay sobre teorias simples. Além disso, o Shelah inventou as noções de tipos ortogonáis, tipos regulares, etc. Tem até artigos mais recentes sobre esses conceitos, mas nos casos mais gerais -nas teorias rosy-: http://ptmat.fc.ul.pt/~alexus/papers/thorn_orthogonality_and_weight-12-05.pdf Recomendo dar uma olhada ao livro "Classification Theory", tanto na primera ordem -dos anos 70- como nas AECs -livro recente, do 2009-. Muitas das ideias que se trabalham atualmente em Teoria dos Modelos vem das ideias do Shelah nesses livros ... Tem mais artigos do Shelah que tem levado a teses de doutorado (Monica VanDieren na Carnegie Mellon, Fred Drueck na Universidade de Illinois em Chicago, até a minha tese de doutorado mesma, etc.) que vem de trabalhos do Shelah como por exemplo o artigo do Shelah com o meu orientador -Andrés Villaveces- sobre o problema da existência e unicidade dos modelos limites como versão fraca de superestabilidade. Também não vem de problemas propostos pelo Los, pelo Hodges nem pelo Tarski... né? Simplesmente porque a superestabilidade e as AECs são noções muito novas para que pelo menos o Los ou o Tarski tivessem sabido dela -eles nem conheceram a noção de omega-estabilidade-. Recomendo dar uma olhada, por exemplo, à introdução do livro do Pillay (Geometric Stability Theory) antes de falar sobre o trabalho do Shelah. Concordo que quem saiba apenas a teoria dos modelos até o teorema do Morley provado nos anos 60, pode pensar que o Shelah só tentou responder a pregunta ca conjetura de Los no caso das teorias não enumeráveis, mas dando uma olhada aos trabalhos *recentes* em teoria dos modelos -estou falando dos trabalhos desde 1970 até agora-, o pessoal que trabalha em teoria dos modelos concordamos que as invenções do Shelah, pelo menos em teoria dos modelos, tem sido muito importantes. Então, pelo menos eu não concordo com a afirmação do JY sobre que o Shelah não inventou nada. Saudações, Pedro Zambrano 2012/8/8 jean-yves beziau <[email protected]> > me parce que a relacao custo/benefico nao e tao elevada, > muitos artigos produzidos usando ferramente computacionais > * alem do fato que o Shelah nao inventou nada* > ele e mais do tipo a resolver problemos que foram colocado > por Tarski, Los, etc > > pessoa que eu acho mais interessante na teoria do modelos e o Wilfrid > Hodges > http://wilfridhodges.co. <http://wilfridhodges.co.uk/> > ele e um pensador! > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- P. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
