Re: [Logica-l] Erlagol 14 / 75 anos de Bruno Poizat

2021-06-22 Por tôpico jean-yves beziau
Grato JM, boa sugestão, mas voltei há pouco da Amazon e o Jeff Bezios me falou que todos os voos da Blue Moon para a Lua estão suspensos até o ano 2101 por causa da pandemia, parece que mesmo na cratera de Boole houve casos de CøViD ! JY On Tue, Jun 22, 2021 at 9:07 PM Joao Marcos wrote: > > De

Re: [Logica-l] Erlagol 14 / 75 anos de Bruno Poizat

2021-06-22 Por tôpico Joao Marcos
> De 23 a 29 de junho vai acontecer em Erlagol na Sibéria a décima quarta > escola de teoria dos modelos e universal álgebra Nunca foi tão fácil organizar um evento "em Erlagol", dado que no formato online ninguém precisa estar lá! Você precisa agora correr para organizar um evento *na Lua*, Je

[Logica-l] Erlagol 14 / 75 anos de Bruno Poizat

2021-06-22 Por tôpico jean-yves beziau
De 23 a 29 de junho vai acontecer em Erlagol na Sibéria a décima quarta escola de teoria dos modelos e universal álgebra dedicada ao 75 anos de Bruno Poizat, que parece mais jovem que nunca: https://erlagol.ru/?page_id=175&lang=en A palestra dele vai ser sobre a teoria positiva dos conjuntos. JYB

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-22 Por tôpico Julio Stern
Que tal topless and bottomless particles ? Theoria dos quarks tem nomes "picantes" by design... ---Julio Stern From: Manuel Doria Sent: Tuesday, June 22, 2021 6:18 PM To: Walter Carnielli Cc: Hermógenes Oliveira ; Lista acadêmica brasileira dos profissio

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-22 Por tôpico Manuel Doria
Agora há mais uma: - SIMPs (Strongly Interacting Massive Particle) https://news.berkeley.edu/2017/12/04/machos-are-dead-wimps-are-a-no-show-say-hello-to-simps/ 'Simp' (verbo 'simping') é um termo coloquial sexualmente derrogatório tipicamente aplicado a homens com temperamento visto como excessi

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-22 Por tôpico Manuel Doria
Em astrofísica há pelo menos 3 inside jokes consagradas envolvendo estereótipos opostos de sexualidade masculina no batismo de matéria escura bariônica e não-bariônica: - WIMPs (Weak Interacting Massive Particles) - MACHOs (Massive Compact Halo Object) - RAMBOs (Robust Associations of Massive Bary

[Logica-l] The Bourbaki Ensemble [conjuntos e inclusão]

2021-06-22 Por tôpico jean-yves beziau
Para bem entender o que é a inclusão me parece importante estudar um pouco a teoria dos conjuntos: http://www.bourbakiensemble.org/ Com falou o J.J.Sylvester, "a matemática é a música da razão", daí o titulo do livro bourbachique: https://www.springer.com/gp/book/9783540533467 JYB -- Você está re

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-22 Por tôpico Walter Carnielli
Cara(s)s, Concordo em boa com Hermogenes; gosto do Nabokov, gostei tambem do filme "Lolita" de Adrian Lyne, mas isso não ajuda a ser um.bom nome para um grupo de pesquisa que quer parecer (e é de fato) serio. O que pensaríamos de um grupo de pesquisa em Astrofisica que se chamasse C*entro de As

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-22 Por tôpico Hermógenes Oliveira
Na segunda-feira, 21 de junho de 2021, às 12:40:15 -03, Marcelo Finger escreveu: > No centro de IA (C4AI) da USP-IBM-Fapesp, estamos construindo 3 Córpus: > - Córpus Carolina (em homenagem à Carolina Michaelis de Vasconcelos) > - Córpus Portinari (em homenagem a Cândido Portinari) > - Córpus