Sobre a Filosofia Formalista da Matemática - Parte II
Nesta postagem, estou dando continuidade à discussão anterior sobre o Programa Formalista da Matemática a partir da versão original de Hilbert e cogitando a possibilidade de uma reformulação do referido programa a partir de certos aspectos lógico-formais com base em um resultado obtido em Sarmento (2022). Considere-se, inicialmente, o seguinte texto: entrada da Stanford Encyclopedia of Philosoph y sobre Hilbert’s Program [ First published Thu Jul 31, 2003; substantive revision Fri May 24, 2019 ] o autor Prof. Richard Zach observa que: "According to Hilbert, there is a privileged part of mathematics, contentual elementary number theory, which relies only on a 'purely intuitive basis of concrete signs'. Whereas the operating with abstract concepts was considered 'inadequate and uncertain', there is a realm of extra-logical discrete objects, which exist intuitively as immediate experience before all thought. If logical inference is t...