Podcast #014 – Lógica Intuicionista e o Princípio do Terceiro Excluído

Notas do episódio

Olá a todos. Neste episódio farei uma breve introdução às principais ideias construtivistas em matemática. Darei destaque, em particular, à lógica intuicionista e sua relação com o princípio lógico do terceiro excluído.