Pular para o conteúdo principal

Sobre o Formalismo (parte I)

 O professor Amadeo Peter Hiller --em um artigo intitulado "A matemática e o infinito" para o Suplemento Cultural do jornal "O Estado de São Paulo", datado de 16/04/1978, Ano II, Número 78, pp. 9-10-- apresenta, de modo didático e concisamente, os principais pontos propostos pelo projeto de Hilbert para a fundamentação da matemática, a saber:

  1. "Dividir o universo das proposições matemáticas em duas partes, as que se referem a objetos finitários 'reais' e as que se referem aos objetos infinitários 'ideais'."
  2. "Dado um raciocínio em que se demonstra uma proposição real a partir de hipóteses 'reais', mas em que no meio do arrazoado foram usadas proposições referentes a objetos 'ideais', mostrar que existe um raciocínio diverso, provando a mesma conclusão a partir das mesmas hipóteses, em que não aparecem proposições 'ideais'."
  3. "Fazer o anterior usando métodos matemáticos insofismáveis, i.e., finitários, e, também, provar a coerência do sistema todo usando os mesmos métodos."
Conforme observado por Hiller (1978), se este programa fundacional fosse exequível, o chamado 'problema do infinito' deixaria de existir. De acordo com Hiller: "Pode-se pensar nos objetos infinitários como algo que só existe num sentido metafórico, ... um modo de falar, ... Trabalhar com o Infinito significa, então, trabalhar com proposições ideais. Para verificar se uma sequência [p. ex., da forma] A então B então C então D de proposições é uma dedução de D a partir de A não importam os significados das proposições envolvidas; ... o que importa é saber pela forma de A e de B se a inferência  A então B é correta, pela forma de B e de C se a inferência B então C é correta; pela forma de C e de D se a inferência C então D é correta. ... Realizado o Programa, toda inferência  em que aparece uma proposição ideal deve ser testada somente levando-se em consideração a forma das proposições envolvidas." Ainda, segundo Hiller, o desenvolvimento desse Programa requer, como Hilbert reconheceu, uma álgebra cujos objetos são fórmulas aritméticas (denominada por Hilbert de metamatemática). Por conseguinte, a operação principal (abstrata) dessa álgebra é a inferência. Esse cálculo algébrico metamatemático é conhecido como a Teoria da Prova de Hilbert. Nesta teoria, foi explicitado de modo preciso a definição de prova, i.e., uma sequência formal de inferências contendo termos que expressam as hipóteses e a conclusão da prova. De acordo com Hilbert, a ausência de uma contradição pode ser interpretada da seguinte forma: "Não há duas sequências formais que, partindo dos mesmos axiomas lógicos como hipóteses, cheguem a conclusões opostas."
    Como observa o Prof. Jairo da Silva, em seu livro "Filosofia(s) da Matemática" de 2007, Editora da Unesp, páginas 196-197: "O segundo problema da lista [da famosa lista de problemas matemáticos proposta por Hilbert no II Congresso Internacional de Matemáticos, em Paris, ocorrido em 08 de agosto de 1900] pedia que se demonstrasse a 'compatibilidade dos axiomas aritméticos'. Isso já levanta algumas questões: 1) A que aritmética se referia Hilbert? 2) Pro que seriam necessárias demonstrações de consistência de teorias verdadeiras, como são, supõe-se, as aritméticas usuais dos números naturais, racionais e reais? (Haveria alguma razão para se duvidar que elas fossem, de fato, verdadeiras?) 3) Que ferramentas matemáticas seriam admissíveis nas demonstrações de consistência; ou seja, essas demonstrações deveriam ser levadas a cabo em que contexto matemático?"

    Essas questões e outros aspectos do Programa de Hilbert serão discutidas na próxima postagem.

Comentários

Postagens mais visitadas deste blog

Informes: Sobre os Fundamentos Lógico-epistêmicos da Inteligência Artificial

   Na postagem intitulada: " An Analysis of the Epistemological Foundations of Machine Learning ", publicado no blog SciELO em Perspectiva em 15 de agosto/24 [veja o link abaixo], apresento uma análise crítica dos fundamentos lógico-epistêmicos do aprendizado de máquina, com foco na limitação da autonomia dos sistemas de IA na geração de conhecimento. Contrastando essa possibilidade com as restrições teóricas impostas pelo teorema da incompletude de Chaitin , que estabelece um limite para a capacidade cognitiva da IA, de tal modo que a IA não pode superar a capacidade cognitiva humana. https://humanas.blog.scielo.org/en/2024/08/15/epistemological-foundations-of-machine-learning/       Esta postagem faz referência ao artigo publicado na Revista Transformação , intitulado: " Comentário a “Por trás da inteligência artificial: uma análise das bases epistemológicas do aprendizado de máquina” ", publicado em 05/07/202. O referido artigo pode ser acessado por...

Sobre a linguagem como meio universal ou como cálculo - II parte.

  A oposição calculus ratiocinator versus characteristica universalis  como apresentada na postagem anterior tem um caráter absoluto , com base em um resultado estabelecido recentemente por mim (veja postagem, neste blog, sobre a publicação dos Proceedings of the 19th Brazilian Logic Conference - XIX EBL , no Journal of Applied Logics - IFCoLog Journal of Logics and their Applications , Vol. 9 N. 1, 2022, do paper intitulado: "A note on Tarski´s remarks about the non-admissibility of a general theory of semantics", pp. 573-582), pois a partir do seguinte pressuposto: 'toda metalinguagem consiste em uma linguagem que admite, como objeto, outra linguagem (denominada de linguagem-objeto)'; nesta acepção, poderíamos indagar sobre a possibilidade de uma metalinguagem última , que desempenharia o papel de uma linguagem universal . Como o resultado estabelecido é bastante técnico, estou me restringindo apenas a algumas consequências filosófico-conceituais da demonstração d...

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 ...