Hilbert, completeness and geometry
This is a rather lengthy discussion of Hilbert's axiom of completeness in his \textit{Grundlagen der Geometrie}. Much is made of Hilbert's emphasis on the introduction of numbers by geometric means. The author reaches the conclusion that ``Hilbert's analysis of the notion of continuity led him to formalize the Axiom of Completeness as a sufficient condition for analytic geometry, in the form of a maximality principle.NEWLINENEWLINEHe then searches (without citing the most important paper on this subject [\textit{R. Carnap} and \textit{F. Bachmann}, Erkenntnis 6, 166--188 (1936; Zbl 0015.04902)]) for other examples of such axioms, and finds that the Church-Turing thesis is its analog in the theory of computability, and that the axiom of induction as a second-order principle is another such example in the axiomatization of arithmetic by Peano and Dedekind.
- Completeness and continuity in Hilbert's \textit{Foundations of geometry}: on the \textit{Vollständigkeitsaxiom}
- From completeness to Archimedean completeness. An essay in the foundations of Euclidean geometry
- Husserl's two notions of completeness. Husserl and Hilbert on completeness and imaginary elements in mathematics
- Axiomatizing changing conceptions of the geometric continuum. II: Archimedes-Descartes-Hilbert-Tarski
- Axiomatizing changing conceptions of the geometric continuum. I: Euclid-Hilbert
- Husserl and Hilbert on completeness. A neglected chapter in early twentieth century foundations of mathematics
- From completeness to Archimedean completeness. An essay in the foundations of Euclidean geometry
- Formalization of Hilbert's geometry of incidence and parallelism
- Husserl's two notions of completeness. Husserl and Hilbert on completeness and imaginary elements in mathematics
- Hilbert on different notions of completeness: a conceptual and historical analysis
- Hilbert's categoricity of real numbers
- scientific article; zbMATH DE number 510782 (Why is no real title available?)
- scientific article; zbMATH DE number 1163359 (Why is no real title available?)
- Axiomatizing changing conceptions of the geometric continuum. II: Archimedes-Descartes-Hilbert-Tarski
- Reflections on the Axiomatic Approach to Continuity
- Constructibility and Geometry
- Axiomatizing changing conceptions of the geometric continuum. I: Euclid-Hilbert
- Completeness and continuity in Hilbert's \textit{Foundations of geometry}: on the \textit{Vollständigkeitsaxiom}
- Towards completeness: Husserl on theories of manifolds 1890--1901
This page was built for publication: Hilbert, completeness and geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2926205)
