HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS
AUTOR(ES)
VENTURI, GIORGIO
FONTE
Manuscrito
DATA DE PUBLICAÇÃO
2015-08
RESUMO
Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution.
Documentos Relacionados
- Análise estrutural do emprego formal e informal na economia brasileira
- The use of formal and informal home care by the disabled elderly.
- Informal and formal health care systems for the rural elderly.
- Ensino da astronomia no Brasil: educação formal, informal, não formal e divulgação científica
- Formal and informal care utilisation amongst elderly persons with visual impairment