Acho que escreveram errado na mensagem. Acho que o professor Beziau quis falar do Saharon Shelah, quem é um dos lógicos mais importantes vivos atualmente. Tem trabalhos em teoria dos conjuntos e teoria dos modelos (o tema sobre que estou fazendo minha tese de douturado na Colômbia), principalmente: http://shelah.logic.at/ http://en.wikipedia.org/wiki/Saharon_Shelah
Abraço da Colômbia. Pedro Zambrano. 2011/3/11 Joao Marcos <botoc...@gmail.com> > não sei se o Saharon Shelah (possivelmente o matemático mais > "produtivo" do mundo, depois do Erdos) iria gostar disto... > http://en.wikipedia.org/wiki/Saharon_Shelah > > jm > > 2011/3/11 Adolfo Neto <adolfo....@gmail.com>: > > Quem é "Saharon Sheila"? > > > > O google não diz nada... > > Quer dizer, diz > > > > Você quis dizer: "*Sharon* > > Sheila"< > http://www.google.com.br/search?hl=pt-BR&sa=X&ei=OHN6Tbp5jviAB_bf7OIH&ved=0CCsQBSgA&q=%22Sharon+Sheila%22&spell=1 > > > > > > > > > > 2011/3/9 jean-yves beziau <beziau...@gmail.com> > > > >> Carnaval dos Logicos no Brasil > >> > >> Vem ai os numeros de artigos de logicos em atividade no Brasil > repertoriado > >> pela Mathematical Reviews da American Mathematical Society: > >> > >> 181 Newton da Costa > >> 60 Jean-Yves Beziau > >> 59 Paulo Veloso > >> 58 Walter Carnielli > >> 57 Francisco Antonio Doria > >> 35 Decio Krause > >> 29 Itala D'Ottaviano > >> 29 Ruy de Queiroz > >> 28 Marcelo Finger > >> 25 Edward Herman Haeusler > >> 24 Francisco Miraglia > >> 20 Marcelo Coniglio > >> > >> A seguir uma lista (nao exhaustiva) desses numeros para logicos em > >> atividade > >> no mundo. > >> Pare quem quer saber melhor quem é quem, aconselho dar um olhado no > livro > >> seguinte: > >> The International Directory of Logicians - Who is who in logic > >> Dov Gabbay & John Woods (eds) > >> College Publication, London, 2009. > >> > >> Carnaval dos Logicos no Mundo > >> > >> 892 Saharon Sheila > >> 238 Dov Gabbay > >> 185 Andreas Blass > >> 173 Anand Pillay > >> 170 Yuri Gurevich > >> 167 Jaakko Hinitikka > >> 151 Patrick Suppes > >> 149 Johan van Benthem > >> 144 Grigori Mints > >> 136 Daniele Mundici > >> 131 Istvan Nemeti > >> 128 Solomon Feferman > >> 120 Alexander Kechris > >> 115 Georg Kreisel > >> 115 H. Jerome Keisler > >> 114 Gaisi Takeuti > >> 105 Hajnal Andreka > >> 91 Melvin Fitting > >> 91 Graham Priest > >> 81 Dirk van Dalen > >> 77 Hiroakira Ono > >> 77 Anne Troelstra > >> 77 Samuel R. Buss > >> 73 Arnon Avron > >> 73 Wilfrid Hodges > >> 72 Jan Wolenski > >> 71 Roberto Cignoli > >> 71 Jouko Vaananen > >> 71 Jean-Yves Girard > >> 71 Robert Golblatt > >> 70 Lloyd Humberstone > >> 68 Rohit Parikh > >> 63 Martin Davis > >> 62 John L.Bell > >> 61 W. Hugh Woodin > >> 56 Michael Dummett > >> 55 Nuel Belnap > >> 54 Amilcar Sernadas > >> 54 Yde Venema > >> 54 Benedikt Lowe > >> 54 Neil Tennant > >> 53 Diderik Batens > >> 51 Michael J. Dunn > >> 50 Raymond Smullyan > >> 47 Carlos Di Prisco > >> 47 Kit Fine > >> 46 Dag Prawitz > >> 46 Valentin Goranko > >> 45 Donald A. (Tony) Martin > >> 40 Per Martin-Lof > >> 38 Patrick Blackburn > >> 36 Xavier Caicedo > >> 36 Steven Givant > >> 32 Jonathan P. Seldin > >> _______________________________________________ > >> Logica-l mailing list > >> Logica-l@dimap.ufrn.br > >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >> > > > > > > > > -- > > ================================================================== > > Adolfo Neto > > Assistant Professor - Federal University of Technology, Paraná > > Web: http://www.dainf.ct.utfpr.edu.br/~adolfo > > Twitter: http://twitter.com/adolfont > > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > > ================================================================== > > _______________________________________________ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > > -- > http://sequiturquodlibet.googlepages.com/ > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- PEDRO ZAMBRANO Universidad Nacional de Colombia Bogotá - Colombia _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
