Sobre o Episódio
Neste episódio farei uma breve introdução às principais ideias construtivistas em matemática. Darei destaque, em particular, à lógica intuicionista e sua relação com o princípio lógico do terceiro excluído.
Figuras Citadas
- Leopold Kronecker (1823 - 1891)
- Luitzen Egbertus Jan Brouwer (1881 - 1966)
Referências
- BIANCONI, Ricardo. Lógicas Construtivas: Intuicionismo, uma Introdução.
- BISHOP, Erret e BRIDGES, Douglas. Constructive Analysis. (Visualização parcial no Google books).
- BRIDGES, Douglas. Constructive mathematics: a foundation for computable analysis. Theoretical Computer Science, Volume 219, Issues 1–2, 28 May 1999, pag. 95–109.
- BRIDGES, Douglas e PALMGREN, Erik. Constructive Mathematics. The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (ed.).
- FRIEND, Michèle. Introducing philosophy of mathematics. Routledge, 2014. (Visualização parcial no Google books).
- MOSCHOVAKIS, Joan. Intuitionistic Logic. The Stanford Encyclopedia of Philosophy (Spring 2015 Edition), Edward N. Zalta (ed.).
- RODRIGUES, Abílio. Sobre a lógica intuicionista. Notas de Aula (texto introdutório e de divulgação feito pelo autor para ser usado em aula; uma versão desse texto é uma seção deste livro).
- TROELSTRA, A. S. History of constructivism in the 20th century.
- TROELSTRA, A. S. e VAN DALEN, D. Constructivism in mathematics: an introduction. Volume 1 (Studies in Logic and the Foundations of Mathematics), Elsevier Science, 1988. (Visualização parcial no Google books).