Podcast #29 – Matemática Reversa (Reverse Mathematics)

Notas do episódio

A matemática geralmente funciona assim: a partir de certos princípios especificados (axiomas), obtém-se consequências necessárias desses princípios por meio do raciocínio lógico - os chamados teoremas. Uma área da matemática busca o caminho inverso fazendo a seguinte pergunta: dado um teorema matemático T, quais os princípios mais básicos a partir dos quais podemos provar T? É sobre essa área dos fundamentos da matemática chamada de matemática reversa que falaremos neste episódio.