[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=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

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

[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: [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

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) > -