Sobre o Episódio
Neste episódio, falarei sobre o programa de Hilbert — um conjunto de ideias fundamentais propostas pelo matemático alemão David Hilbert para justificar a matemática clássica por meio de um tipo de raciocínio denominado finitário.
Figuras Citadas
- David Hilbert (1862 - 1943)
- Kurt Gödel (1906 - 1978)
- Gerhard Gentzen (1909 - 1945)
Referências
- GEORGE, Alexander; VELLEMAN, Daniel. Philosophies of Mathematics. Blackwell Publishers, 2001.
- HILBERT, David. Sobre o infinito. Tradução de Marcelo Papini.
- LOURENÇO, Manuel S. Os elementos do programa de Hilbert. Centro de Filosofia da Universidade de Lisboa, 2004.