Episódio #05 – Uma Jornada Épica em Busca dos Fundamentos da Matemática

Neste episódio iniciaremos uma viagem cujo destino é o entendimento da própria natureza fundamental da matemática – uma busca épica pelos seus fundamentos, onde várias surpresas e reviravoltas nos esperam. Nosso ponto de partida são três linhas de pensamento – o logicismo de Frege e Russel, o intuicionismo de Brouwer e o formalismo de Hilbert. Ao final do episódio, deixarei sugestões de dois livros especiais sobre o assunto.