Abstract
The theory that ``consistency implies existence'' was put forward by Hilbert on various occasions around the start of the last century, and it was strongly and explicitly emphasized in his correspondence with Frege. Since (Gödel's) completeness theorem, abstractly speaking, forms the basis of this theory, it has become common practice to assume that Hilbert took for granted the semantic completeness of second order logic. In this paper I maintain that this widely held view is untrue to the facts, and that the clue to explain what Hilbert meant by linking together consistency and existence is to be found in the role played by the completeness axiom within both geometrical and arithmetical axiom systems.
Similar content being viewed by others
REFERENCES
Baldus, R.: 1928, ‘Ñber Hilberts Vollständigkeitsaxiom’, Mathematische Annalen 100, 321–333.
Behmann, H.: 1922, ‘Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem’, Mathematische Annalen 86, 163–229.
Bernays, P. and Schönfinkel, M.: 1928, ‘Zum Entscheidungsproblem der mathematischen Logik’, Mathematische Annalen 99, 342–372.
Ehrlich P.: 1997, ‘From Completeness to Archimedean Completeness. An Essay in the Foundations of Euclidean Geometry’, Synthese 110(1), 57–76.
Frege, G.: 1980, in G. Gabriel et al. (eds), Philosophical and Mathematical Correspondence, Blackwell, Oxford.
Hilbert, D.: 1899, Die Grundlagen der Geometrie, Teubner, Leipzig.
Hilbert, D.: 1900, ‘Ñber den Zahlbegriff’, Jahresbericht der Deutschen Mathematiker-Vereinigung 8, 180–194.
Hilbert, D.: 1900a, ‘Mathematische Probleme’, in (Hilbert 1970), pp. 290–329.
Hilbert, D.: 1917, ‘Axiomatisches Denken’, in (Hilbert 1970), pp. 146–156.
Hilbert, D.: 1929, ‘Probleme der Grundlegung der Mathematik’, Mathematische Annalen 102, 1–9 (Lecture delivered at the Cong. Int. dei Mat. held in Bologna in 1928).
Hilbert, D.: 1970, Gesammelte Abhandlungen. Dritter Band, Springer, Berlin-Heidelberg-New York.
Hilbert, D. and Ackermann W.: 1928, Grundzüge der theoretischen Logik, Springer, Berlin.
Hilbert, D. and Bernays P.: 1970, Grundlagen der Mathematik II, Springer, Berlin-Heidelberg-New York.
Hintikka, J.: 1988, ‘On the Development of the Model-theoretic Viewpoint in Logical Theory’, Synthese 77(1), 1–36.
Hintikka, J.: 1996, The Principles of Mathematics Revisited, Cambridge University Press, Cambridge.
Hintikka, J.: 1997, ‘Hilbert Vindicated?’, Synthese 110(1), 15–36.
Majer, U.: 1997, ‘Husserl and Hilbert on Completeness. A Neglected Chapter in Early Twentieth Century Foundations of Mathematics’, Synthese 110(1), 37–56.
Mancosu, P.: 1999, ‘Between Russell and Hilbert: Behmann on the Foundations of Mathematics’, The Bulletin of Symbolic Logic 5(3), 303–330.
Van Heijenoort, J.: 1985, ‘Logic as Calculus and Logic as Language’, in Selected Essays, Bibliopolis, Naples.
Veblen, O.: 1904, ‘A System of Axioms for Geometry’, Transactions of the American Mathematical Society 5, 343–384
Von Plato, J.: 1997, ‘Formalization of Hilbert's Geometry of Incidence and Parallelism’, Synthese 110(1), 127–141.
Webb, J.: 1995, ‘Tracking Contradictions in Geometry: The Idea of a Model from Kant to Hilbert’, in J. Hintikka (ed.), From Dedekind to Gödel. Essays on the Development of the Foundations of Mathematics, Kluwer Academic Publishers, Dordrecht, pp. 1–20.
Webb, J.: 1997, ‘Hilbert's Formalism and Arithmetization of Mathematics’, Synthese 110(1), 1–14.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Moriconi, E. On the Meaning of Hilbert's Consistency Problem (Paris, 1900). Synthese 137, 129–139 (2003). https://doi.org/10.1023/A:1026282901818
Issue Date:
DOI: https://doi.org/10.1023/A:1026282901818