O objetivo desta série de apresentações é realizar uma brevíssima introdução à filosofia e aos fundamentos da matemática. A ideia é apresentar alguns textos sobre fundamentos da matemática e depois disponibilizar esses textos para leitura. Pretendo inicialmente abordar alguns tópicos como: escolas fundacionais (logicismo, intuicionismo e formalismo), teoria de conjuntos, alguns resultados da lógica clássica e da teoria da computabilidade.
Podcast #024 – Frege e a Análise Lógica do Conceito de Número
O que é um número? Neste episódio falarei um pouco sobre a construção lógica do conceito de número realizada pelo matemático, lógico e filósofo Gottlob Frege.
Podcast #005 – 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.
Número Imaginário 