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



Document title: O processo de validação de verdades matemáticas em sua historicidade
Journal: Tangram (Dourados)
Database:
System number: 000546773
ISSN: 2595-0967
Authors:
Year:
Volumen: 4
Number: 4
Pages: 65-91
Country: Brasil
Language: Portugués
Portuguese 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.
Full text: Texto completo (Ver PDF)