ESTUDOS DE ONTOLOGIAS CONTEMPORÂNEAS (318876) Rodrigo A. Freire Terças e Quintas 10h-12h Local a designar EMENTA FILOSOFIA DA MATEMÁTICA 1- Objetivos Essa disciplina tem por finalidade apresentar os temas principais da filosofia da matemática. 2- Avaliação A avaliação será realizada por meio de trabalhos e/ou provas escritas. 3- Programa - Introdução - Logicismo - Teorias Matemáticas Baseadas em Teoria de Conjuntos - Formalismo - Teoremas de Gödel - Estruturas Matemáticas - Intuicionismo 4- Bibliografia - George, A. e Velleman, D. , Philosophies of Mathematics, Blackwell Publishers. - da Silva, J. J. Filosofias da Matemática, Unesp. - Shapiro, S., ed, The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford.