O processo de validação de verdades matemáticas em sua historicidade

Abstract

O texto tem por objetivo expor compreensões sobre o que vem a ser uma demonstração matemática, em sua historicidade. Como procedimentos metodológicos nos pautamos nas orientações expostas em trabalhos de Edmund Husserl (1859-1938). Trata-se de uma pesquisa de caráter qualitativo, desenvolvida segundo a abordagem fenomenológica. As discussões sobre as demonstrações ou verdades matemáticas são iniciadas com o modelo dedutivo, proposto por Euclides, em Os Elementos e, são retomadas ao longo do tempo, por diferentes filosofias da matemática, que intencionavam estabelece uma linguagem formal e livrar a matemática de suas contradições. O que definimos por matemática formal na atualidade é fruto deste processo.