Podcast Número Imaginário
Episódio #014 – Lógica Intuicionista e o Princípio do Terceiro Excluído
- Autor: Vários
- Narrador: Vários
- Editora: Podcast
- Duração: 0:15:18
- Mais informações
Informações:
Sinopse
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.
