#Filosofia-Da-Matematica
3 notas · última:
O que significa "fundamentar a aritmética"
Categoricidade, modelos não-padrão e a leitura estrutural: o que está em jogo quando se diz que cinco axiomas fundamentam os números.
Incompletude e consistência: os dois teoremas de Gödel
Por que uma teoria que contém aritmética não pode ser completa nem demonstrar a própria consistência — os dois teoremas que Gödel provou em 1931.
Mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true
Do ensaio Recent Work on the Principles of Mathematics (1901). Sobre a tese formalista: a verdade matemática é da estrutura, não dos referentes.