Palestras e Seminários
12/06/2026
13:13
Auditório Fernão Stella de Rodrigues Germano
Palestrante: Leandro Aurichi
https://legal.icmc.usp.br/doku.php
Responsável: Marina Andretta (andretta@icmc.usp.br)
Seminário de Coisas Legais
Resumo: Há um tipo de problema sobre grafos (infinitos) que pergunta algo na linha: se, para todo n natural, eu tenho n cópias disjuntas de algo, é verdade que eu tenho infinitas cópias disjuntas? Quando formalizamos esse problema (por exemplo, explicitando o que é o “algo” e o que queremos dizer com “cópia”) obtemos diversos tipos de resposta: “sim”, “não”, “não, mas é difícil de provar” e até “não se sabe”. Vamos apresentar algumas variações de tal problema, inclusive formulações que nem envolvem grafos.