“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.