ESTUDOS DE ONTOLOGIAS CONTEMPORÂNEAS (318876

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.