Giorgio Venturi
University of Campinas
This paper aims to show how the mathematical content of Hilbert's Axiom of Completeness consists in an attempt to solve the more general problem of the relationship between intuition and formalization. Hilbert found the accordance between these two sides of mathematical knowledge at a logical level, clarifying the necessary and sufficient conditions for a good formalization of geometry. We will tackle the problem of what is, for Hilbert, the definition of geometry. The solution of this problem will bring out how Hilbert's conception of mathematics is not as innovative as his conception of the axiomatic method. The role that the demonstrative tools play in Hilbert's foundational reflections will also drive us to deal with the problem of the purity of methods, explicitly addressed by Hilbert. In this respect Hilbert's position is very innovative and deeply linked to his modern conception of the axiomatic method. In the end we will show that the role played by the Axiom of Completeness for geometry is the same as the Axiom of Induction for arithmetic and of Church-Turing thesis for computability theory. We end this paper arguing that set theory is the right context in which applying the axiomatic method to mathematics and we postpone to a sequel of this work the attempt to offer a solution similar to Hilbert's for the completeness of set theory.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 68,944
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Philosophy of Mathematical Practice.Paolo Mancosu (ed.) - 2008 - Oxford, England: Oxford University Press.
Subsystems of Second-Order Arithmetic.Stephen G. Simpson - 2004 - Studia Logica 77 (1):129-129.
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Philosophical and Mathematical Correspondence. [REVIEW]A. Reix - 1982 - Revue Philosophique de la France Et de l'Etranger 172 (1):64-64.
The Philosophy of Mathematical Practice.Paolo Mancosu - 2009 - Studia Logica 92 (1):137-141.

View all 16 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On The Infinite / Sur L’Infini.Marcel Bodea - 2001 - Studia Philosophica 1.
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
Completitud y continuidad en Fundamentos de la geometría de Hilbert : acerca del Vollständigkeitsaxiom.Eduardo Nicolás Giovannini - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (1):139-163.
Husserl and Hilbert on Completeness, Still.Jairo Silva - 2016 - Synthese 193 (6):1925-1947.


Added to PP index

Total views
9 ( #946,771 of 2,498,157 )

Recent downloads (6 months)
1 ( #427,476 of 2,498,157 )

How can I increase my downloads?


My notes