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



Título del documento: O processo de validação de verdades matemáticas em sua historicidade
Revista: Tangram (Dourados)
Base de datos:
Número de sistema: 000546773
ISSN: 2595-0967
Autors:
Any:
Volum: 4
Número: 4
Paginació: 65-91
País: Brasil
Idioma: Portugués
Resumen en portugués 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.
Text complet: Texto completo (Ver PDF)