Sobre o Episódio
Neste episódio falarei um pouco sobre o conceito de "axioma" do ponto de vista da teoria de sistemas formais, passando por Euclides, Hilbert e chegando às teorias atuais.
Observação: Durante o programa, é mencionado um teorema sobre a construção de um triângulo equilátero. O diagrama clássico dos Elementos de Euclides pode auxiliar na compreensão deste trecho.
Destaque Literário
Recomendação do livro "O que é um axioma", de Adonai S. Sant'Anna (Editora Manole, 2003).
Referências Citadas
- KRAUSE, Décio. Introdução aos fundamentos axiomáticos da ciência. São Paulo: E.P.U. (Editora Pedagógica e Universitária), 2002.
- MENDELSON, Elliott. Introduction to Mathematical Logic. Chapman & Hall, 4ª Ed., 1997.
- SANTOS, Almir Rogério Silva; VIGLIONI, Humberto Henrique de Barros. Notas de aula de geometria euclidiana plana.
- MOREIRA, João Pedro. Notas de aula sobre o sistema MIU.
- MANFIO, Fernando. Notas de aula sobre fundamentos de geometria.