Excelente que voce vai contribuir! confesso que nao entendo nada de "f-anéis reduzidos", e muito pouco de pointless topology, mas gostaria de entender mais.. Abs Valeria
2012/10/11 Francisco Miraglia <[email protected]> > Car@s, > > Há uma certa variedade de coisas; entretanto, uma delas seria o > desenvolvimento da teoria das formas quadráticas nos chamados f-anéis > reduzidos (sem nilpotentes), muito particularmente, anéis de funções reais > contínuas > definidas em completamente regulares(a teoria é meio sem graça para > funções complexas). Por exemplo, determinar a K-teoria de Milnor de uma > classe significativa desses anéis envolve point-set topology (além, > evidentemente, álgebra, análise e lógica). > > Como tenho enorme admiração pela intelectual que é a Ofélia ("over and > above" ser uma matemática de primeira), se estiver por aqui na época, > tentarei > contribuir, se a Comissão Organizadora julgar apropriado. > > Um grande abraço, > > Chico Miraglia > > PS: Em realação à alguns dos relatos que circulam em nossa rede, > lembrei-me de > dois episódios, em que penso ter aprendido algo com meus inte rlocutores: > > 1) "A ignorância é, em geral, irreverente"; > > 2) "Esta declaração seguer chega a estar errada (no original: > "Unfortunately, that is not even wrong"). > > > Outro abraço, > > Chico Miraglia > > > Quoting 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> >>> **<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<http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l> >> >> >> > > Francisco Miraglia <[email protected]> > -- 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
