Sobre o Episódio
Neste episódio, apresento alguns conceitos da metamatemática, que consiste no estudo de linguagens e sistemas formais.
Referências Acadêmicas
- HAMILTON, A. G. Logic for mathematicians. Cambridge University Press, 1988.
- HUNTER, Geoffrey. Metalogic: an introduction to the metatheory of standard first order logic. University of California Press, 1973.
- ALVES, Daniel Durante Pereira. Teoria de modelos: notas de aula. UFRN.
- CONIGLIO, Marcelo. Um curso de teoria de modelos. UNICAMP.
Trilha Sonora
- Abertura: Mozart - Serenade No. 13 in G major, K. 525 (Allegro).
- Intervalos: Kevin MacLeod - Slow Burn.
- Encerramento: Ivan Chew - I Have Often Told You Stories.
Créditos da Capa
- KAUFMANN, Bert. A Tribute to M. C. Escher (Licença CC BY 2.0).
Materiais em Vídeo
- Acompanhe as séries sobre lógica matemática, teoria de conjuntos e sistemas formais em nosso canal no Youtube.