#Matematica
6 notas · última:
Peano, matemático
Além dos axiomas: a curva que preenche o plano, a notação lógica que Russell adotou, o Formulario Mathematico e o Latino sine flexione.
Os axiomas de Peano
Os cinco axiomas que Peano publicou em 1889, a aritmética que se constrói sobre eles, e o limite que Gödel impôs em 1931.
A numeração de Gödel
O truque que deixa a matemática falar de si mesma: dar a cada símbolo, fórmula e demonstração um número único e reversível, codificando sequências por potências de primos.
O Homem que Calculava já me encantou duas vezes
Carta de Monteiro Lobato a Malba Tahan, São Paulo, 14 de janeiro de 1939. Elogio de um clássico da literatura matemática brasileira por outro clássico da literatura infantojuvenil.
Mathematics, rightly viewed, possesses not only truth, but supreme beauty
Do ensaio The Study of Mathematics (1907). Russell defende a matemática como objeto de contemplação estética, não apenas instrumento.
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.