Sobre a Filosofia Formalista da Matemática - Parte I
No Capítulo intitulado "A Filosofia Formalista da Matemática" (pp. 380-386) da obra A Experiência Matemática (1989) os autores P. Davis e R. Hersh destacam que: "Nos meados do séc. XX, o formalismo tornou-se a atitude filosófica dominante nos textos e outros escritos 'oficiais' da matemática. O construtivismo permaneceu como heresia com somente poucos adeptos. O platonismo era e é acreditado por (quase) todos os matemáticos. Mas, como uma religião subterrânea, é praticado secretamente e raramente mencionado em público." "O formalismo contemporâneo descende do formalismo de Hilbert, mas não é a mesma coisa. Hilbert acreditava na realidade da matemática finita. Ele inventou a metamatemática a fim de justificar a matemática do infinito . Este realismo do finito com o formalismo do infinito é ainda defendido por alguns autores. Mas, mais frequentemente, o formalista não se preocupa com esta distinção. Para ele, a matemática,...