Sobre o Episódio
A matemática geralmente opera a partir de axiomas para obter teoremas. A matemática reversa busca o caminho oposto: dado um teorema T, quais são os princípios mais básicos necessários para prová-lo?
Neste episódio, exploramos esta área fascinante dos fundamentos que investiga a estrutura lógica da própria matemática.
Figuras de Destaque
- Stephen Simpson
- Harvey Friedman
Referências Técnicas
- SIMPSON, Stephen. Subsystems of Second Order Arithmetic (2006).
- SIMPSON, Stephen. The Gödel Hierarchy and Reverse Mathematics (2001).
- MONTALBÁN, Antonio. Matemática reversa (2011).
- COBB, John. An Introduction to Reverse Mathematics (2009).
- FRIEDMAN, Harvey. Some Systems of Second Order Arithmetic and Their Use (1974).
Trilha Sonora
- Abertura: Mozart - Serenade No. 13 in G major, K. 525 (Allegro).
- Intervalos: _ghost - Reverie (small theme).
- Encerramento: Ivan Chew - I Have Often Told You Stories.
Materiais Complementares
- Visite o nosso canal no Youtube para acompanhar séries sobre lógica, conjuntos e sistemas formais.