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>
--
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
Francisco Miraglia <[email protected]>
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
