mission

geometor.hilbert establishes a rigorous, verbatim, bilingual digital critical edition of David Hilbert’s Grundlagen der Geometrie (The Foundations of Geometry, 1899 / 1902) as the axiomatic and metamathematical keystone of the GEOMETOR classical canon.

Core Objectives

1. Verbatim Textual Fidelity: Preserve 100% unabridged primary sources—aligning Hilbert’s June 1899 Göttingen Festschrift (editio princeps, B. G. Teubner) section-by-section (§§ 1–39) and theorem-by-theorem (Theorems 1–44) with E. J. Townsend’s 1902 authorized English translation (including Hilbert’s 1900 Vollständigkeitsaxiom, Max Dehn’s polyhedral and non-Legendrian results, and the 1902 Appendix on topological transformation groups).

2. Cross-Repository Synthesis: Bridge the classical synthetic geometry of geometor/euclid and geometor/elements, the projective hexagram configurations of geometor/pappus, and the Aristotelian-Thomistic epistemological critique of geometor/hoenen (De Noetica Geometriae, 1954) through a machine-queryable concordance.

3. Exact Symbolic & Constructive Resonance: Highlight Hilbert’s minimal countable Pythagorean coordinate field $\Omega$ (§ 9) and segment calculus (Streckenrechnung, §§ 15, 24) as the direct foundational counterpart to GEOMETOR’s exact symbolic algebra engine (geometor/model).