Finalmente, obrigado
On Sun, 31 Mar 2024 at 18:47, O Administrador da LOGICA-L <
logica-l-ow...@dimap.ufrn.br> wrote:
> -- Forwarded message -
> Subject: [Logica-l] Shani Louk: ouf topics, não é?
> >
> > https://twitter.com/HenMazzig/status/1773318588775948699
>
> Sem dúvida. E
volumes especiais do Bulletin of the American Mathematical Society
"Will machines change mathematics?"
https://www.ams.org/journals/bull/-000-00/S0273-0979-2024-01836-9/
tópicos cobertos no primeiro volume, publicado este mês:
- AI and formalization as a tool for traditional mathematics
- Can
Você não saiu em 30/março?
On Mon, 1 Apr 2024, 17:35 Aldo Figallo-Orellano,
wrote:
> Eita, parece que não estou mais na lista também. Eu não sei que regra devo
> ter cumprido. Enfim, boa semana!
>
> El lun, 1 abr 2024 a la(s) 1:49 p.m., Aldo Figallo-Orellano (
> aldofiga...@gmail.com) escribió:
Caro João Marcos e Colegas:
Quero cumprimentar o João Marcos, não simplesmente pelo aniversário de
nossa Lista, criada e cuidada por ele, mas pelo zelo com que sempre nos
manteve bem comportados!
João, quero sobretudo cumprimentá-lo pela elegância com que você soube
lidar com este episódio lament
