Podcast #005 – Uma Jornada Épica em Busca dos Fundamentos da Matemática

Notas do episódio

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.