I. Artigos & Ensaios
A Matemática como Conversão da Alma
O papel dos números na Paideia Platônica.
História da Teoria dos Conjuntos
O desenvolvimento do conceito de infinito por Georg Cantor.
Alan Mathison Turing: Brevíssima Biografia
A vida e o legado do pai da computação.
II. Podcasts
A Matemática no programa educacional de Platão
A importância dos números na formação de futuros filósofos.
A Organização da Lógica Segundo Tomás de Aquino
As três operações do intelecto: apreensão, juízo e raciocínio.
Os Escritos Lógicos de Aristóteles (Organon)
Uma introdução à lógica clássica silogística.
Lógica, Dialética e Retórica
As três vias fundamentais do discurso argumentativo.
Definições
O papel das definições formais em linguagens lógicas.
Notas Sobre a Tese de Church
A conexão entre a intuição de algoritmo e computabilidade.
Indecidibilidade e Incompletude em Sistemas Formais
Fronteiras da lógica e os limites do conhecimento decidível.
Matemática Reversa (Reverse Mathematics)
Os axiomas mínimos necessários para provar teoremas matemáticos.
Otimização Matemática
A busca por mínimos e máximos e suas aplicações práticas.
Algumas Noções de Metamatemática
O estudo formal de linguagens e sistemas lógicos.
Geometrias Não Euclidianas (Parte 2/2)
Os trabalhos de Gauss, Lobachevsky, Bolyai e Riemann.
Geometrias Não Euclidianas (Parte 1/2)
[Descrição do episódio]
Frege e a análise lógica do conceito de 'número'
[Descrição do episódio]
Os segredos matemáticos dos Simpsons
[Descrição do episódio]
Será que N está contido em Z?
[Descrição do episódio]
David Hilbert e os fundamentos da matemática (parte 2/2)
[Descrição do episódio]
David Hilbert e os fundamentos da matemática (parte 1/2)
[Descrição do episódio]
Teorias axiomáticas de conjuntos
[Descrição do episódio]
Buscando inspiração na natureza
[Descrição do episódio]
O argumento epistemológico de Benacerraf
[Descrição do episódio]
P vs NP e criptografia
[Descrição do episódio]
O problema 'P vs NP'
[Descrição do episódio]
Lógica intuicionista e o princípio do terceiro excluído
[Descrição do episódio]
Lógicas não clássicas
[Descrição do episódio]
Verdade, incompletude e o paradoxo do mentiroso
[Descrição do episódio]
Julia Robinson e o 10º Problema de Hilbert
[Descrição do episódio]
O infinito de Cantor: vejo, mas não acredito
[Descrição do episódio]
Matemática na telona (e na telinha)
[Descrição do episódio]
Realismo e antirrealismo em filosofia da matemática
[Descrição do episódio]
O problema do programa elegante de Chaitin
[Descrição do episódio]
Eu sou um robô (mas posso estar te enganando)
[Descrição do episódio]
Uma jornada épica em busca dos fundamentos da matemática
[Descrição do episódio]
Newton da Costa e os fundamentos da física
[Descrição do episódio]
Os limites teóricos da computação
[Descrição do episódio]
Zero é um número natural?
[Descrição do episódio]
Axioma
[Descrição do episódio]
III. Videocasts
A Prova de Gödel
Explicação visual do teorema da incompletude.
IV. Cursos Formais
Lógica Matemática I
Introdução aos sistemas formais.
Lógica Matemática II
Metalógica do Cálculo Proposicional.
Lógica Matemática III
Método Axiomático e Teorias Formais.
Teoria Axiomático dos Conjuntos I
Axiomas da teoria Zermelo-Fraenkel.
Teoria Axiomático dos Conjuntos II
Números Naturais.
Teoria da Computabilidade I
Os limites lógicos da computação.
Uma brevíssima introdução aos fundamentos da matemática
Escolas fundacionais: logicismo, intuicionismo e formalismo.