Europe/Lisbon
Sala P3.10, Pavilhão de Matemática — Online

Duarte Maia, Aluno de Doutoramento em Matemática, Universidade de Chicago
O meu teorema é super efetivo contra o teu

“Matemática Inversa” é um ramo da lógica relativamente recente (anos 70) e activo. Entre outras coisas, esta área faz sentido de afirmações da forma “este teorema implica aquele teorema”. Nesta palestra, procuramos introduzir as noções básicas da matemática inversa, com o objectivo de convencer a audiência que o teorema de Weierstrass é equivalente à afirmação “qualquer anel tem um ideal primo”, mas estritamente mais fraco do que “qualquer anel tem um ideal maximal”.

Não é necessário conhecimento prévio de lógica, pelo que todos os alunos são bem-vindos.