David Hilbert and the foundations of the theory of plane area

Archive for History of Exact Sciences 75 (6):649-698 (2021)
  Copy   BIBTEX

Abstract

This paper provides a detailed study of David Hilbert’s axiomatization of the theory of plane area, in the classical monograph Foundation of Geometry. On the one hand, we offer a precise contextualization of this theory by considering it against its nineteenth-century geometrical background. Specifically, we examine some crucial steps in the emergence of the modern theory of geometrical equivalence. On the other hand, we analyze from a more conceptual perspective the significance of Hilbert’s theory of area for the foundational program pursued in Foundations. We argue that this theory played a fundamental role in the general attempt to provide a new independent basis for Euclidean geometry. Furthermore, we contend that our examination proves relevant for understanding the requirement of “purity of the method” in the tradition of modern synthetic geometry.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Hilbert, completeness and geometry.Giorgio Venturi - 2011 - Rivista Italiana di Filosofia Analitica Junior 2 (2):80-102.
The place of probability in Hilbert’s axiomatization of physics, ca. 1900–1928.Lukas M. Verburgt - 2016 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 53:28-44.
PROOF THEORY. Gödel and the metamathematical tradition.Jeremy Avigad - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.

Analytics

Added to PP
2021-05-05

Downloads
8 (#1,317,821)

6 months
3 (#976,504)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Proofs and refutations (IV).I. Lakatos - 1963 - British Journal for the Philosophy of Science 14 (56):296-342.
Abstraction and Infinity.Paolo Mancosu - 2016 - Oxford, England: Oxford University Press.
Proofs and Refutations. The Logic of Mathematical Discovery.I. Lakatos - 1977 - Tijdschrift Voor Filosofie 39 (4):715-715.

View all 20 references / Add more references