Estranhamente, figuras como Gödel, Tarski e outros tantos matemáticos e lógicos que trabalharam com lógica (mesmo alguns menos conhecidos pelo público geral bem informado, como Manin, Halldén, Skolem e Kleene) têm uma aura de importância maior -- no geral -- que a maioria dos algebraistas, analistas, geômetras, etc. Ninguém os pode ver como macaquinhos sem passar imediatamente por desinformado. Ao menos é o que me parece.
Abraços, Julio Lemos 2012/10/11 Valeria de Paiva <[email protected]> > ola a todos, > Pois 'e, eu mandei mensagem do Chico Miraglia diretamente pro Samuel, pois > achei que ele nao tinha visto e nao podia responder por ele, mas > pessoalmente gostaria bastante de saber o que o Chico esta' pensando em > apresentar... > > Acho que Teoria de Conjuntos e' Logica e que nos logicos temos que > conversar mais entre a gente e com outros matematicos, filosofos, > informatas, linguistas, etc.. > > Mesmo que alguns matematicos boboes nao acreditem que fazemos matematica e > nos chamem de macaquinhos... > > Valeria > > 2012/10/11 <[email protected]> > > > Caros, > > > > Sobre a mensagem do Miraglia sobre a homenagem à Ofelia Alas: não é > > verdade que lógicos não possam participar... > > > > - Na STW passada, em Salvador (agora, no início de 2012), tivemos a > > presença do Andrés Villaveces, da Colombia, que deu uma palestra muito > > interessante sobre, digamos, forcing sobre espaços topológicos (uma > > generalização, portanto, do forcing sobre ordens parciais, que no final > > trabalhamos com abertos regulares da topologia natural definida nessas > > ordens), relação disso com feixes e etc... Ou seja, é Lógica mas com > > aplicações diretas em Topologia e Teoria dos Conjuntos. > > > > Depois desse evento em Salvador, e tendo conhecido mais a fundo o pessoal > > da Colômbia - além do Andrés Villaveces, Ramiro de la Vega também esteve > > aqui -, e além de outros contatos com o pessoal de Lógica de Bogotá > (sempre > > converso muito com o Pedro Zambrano), temos muito contato com di Prisco > na > > Venezuela, então acredito que sempre haverá um espaço para a Lógica > > fortemente ligada a conjuntos e topologia no nosso evento, e obviamente, > > não só para lógicos colombianos e venezuelanos - lógicos brasileiros > serão > > muuuuuito bem vindos !!! > > > > Perguntem a Valeria de Paiva: ela esteve aqui também na STW 2012, e > > estamos trabalhando com algumas relações entre combinatória infinitária e > > certas categorias. > > > > (Inclusive, Miraglia, se você encontrar a Lucia Junqueira aí pelo IME/USP > > vocês podem conversar mais sobre colaborações suas ao evento !) > > > > ... De modo que trabalhos de Lógica que tenham grande intersecção com (ou > > aplicações em) Teoria dos Conjuntos e Topologia Geral fazem parte do > escopo > > do evento. > > > > Até mais, > > > > []s Samuel > > > > > > > > > > > > > > ------------------------------**------------------------------**---- > > Universidade Federal da Bahia - http://www.portal.ufba.br > > > > ______________________________**_________________ > > Logica-l mailing list > > [email protected] > > http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l< > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l> > > > > > > -- > Valeria de Paiva > http://www.cs.bham.ac.uk/~vdp/ > http://valeriadepaiva.org/www/ > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Julio Lemos, PhD Formal Logic / Philosophy of Law University of São Paulo _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
