Linked from

The 80 pages that link to David Hilbert, each with the reason it gives.

• General relativityRelated: He independently derived field equations closely related to Einstein’s during 1915.

• Euclidean geometryRelated: His 1899 Grundlagen der Geometrie gave Euclidean geometry a modern axiomatic treatment.

• Turing machineRelated: Hilbert’s program supplied the foundational challenge that Turing addressed.

• Euclid's ElementsRelated: His 1899 Foundations of Geometry recast Euclidean geometry with explicit axioms and modern rigor.

• Alan TuringRelated: Hilbert posed the decision problem that Turing’s 1936 paper answered negatively.

• Einstein field equationsRelated: He developed a variational formulation of gravitational field equations around the time Einstein completed his.

• Mathematical proofRelated: His work made the structure and consistency of proof a central mathematical concern.

• University of GöttingenRelated: His Göttingen school made the university a leading center of mathematics.

• Intuitionistic logicRelated: His dispute with Brouwer framed the foundational debate from which intuitionistic logic emerged.

• AxiomRelated: His Foundations of Geometry recast geometry as a system of explicit axioms.

• Continuum hypothesisRelated: Hilbert made the continuum hypothesis the first problem on his 1900 list.

• Algebraic number theoryRelated: His number-theory work organized reciprocity laws and introduced influential conjectures.

• Hilbert's programRelated: He formulated and led the project to secure mathematics through formalization and consistency proofs.

• Emmy NoetherRelated: Hilbert supported Noether’s appointment at Göttingen when university rules barred women from faculty positions.

• Proof theoryRelated: His formalist program helped set proof theory's early research agenda.

• ConsistencyRelated: His program made proofs of consistency a central foundational goal.

• Gödel numberingRelated: Gödel’s coding helped show limits on the formalist program associated with Hilbert.

• Mathematical logicRelated: His program motivated major work on consistency, proof, and the limits of formal systems.

• Max BornRelated: Born studied under Hilbert, whose mathematical approach influenced his theoretical work.

• Alonzo ChurchRelated: His Entscheidungsproblem became the problem Church proved unsolvable in general.

• Felix KleinRelated: Klein recruited Hilbert to Göttingen, strengthening the university’s role as a mathematical center.

• Kurt GödelRelated: His foundational program defined a major target of Gödel’s results.

• Transcendental numberRelated: His seventh problem asked whether certain powers of algebraic numbers are transcendental.

• Mathematical physicsRelated: His axiomatic approach and work on integral equations affected the foundations of physical theory.

• Functional analysisRelated: His work on integral equations and Hilbert spaces helped form the subject.

• EntscheidungsproblemRelated: Hilbert posed the decision problem as part of a broader effort to formalize mathematics.

• Ernst ZermeloRelated: Hilbert’s call for a well-ordering proof helped prompt Zermelo’s 1904 result.

• Hermann WeylRelated: Hilbert supervised Weyl’s doctoral work at the University of Göttingen.

• Parallel postulateRelated: His axiomatic framework clarified how independence claims depend on a precise axiom system.

• Riemann mapping theoremRelated: His direct-method ideas inspired a rigorous existence proof for the mapping theorem.

• Invariant theoryRelated: His basis theorem transformed the study of finite generation in invariant rings.

• Axiomatic methodRelated: Hilbert recast geometry as a formal system whose axioms could be studied explicitly.

• Class field theoryRelated: His ninth problem asked for a general reciprocity law, helping set the theory's agenda.

• Commutative algebraRelated: Hilbert's basis theorem established a key finiteness property of polynomial rings.

• FormalismRelated: Hilbert made the systematic formalization of mathematics a central foundational program.

• Hermann MinkowskiRelated: Hilbert and Minkowski became close colleagues after studying together in Königsberg.

• Integral equationRelated: His spectral methods linked integral equations with the emerging theory of operators.

• Jacques HadamardRelated: Hilbert and Hadamard were leading contemporaries who shaped distinct but overlapping areas of early twentieth-century mathematics.

• GöttingenRelated: Hilbert taught at the University of Göttingen and helped make it a leading mathematical center.

• Hilbert's NullstellensatzRelated: The theorem bears his name and belongs to his program of placing algebra on structural foundations.

• International Congress of MathematiciansRelated: His 1900 congress address presented 23 problems that helped set research agendas for the twentieth century.

• KönigsbergRelated: Hilbert was born in Königsberg, whose university tradition included a prominent mathematical school.

• Nikolai LobachevskyRelated: Hilbert’s formal treatment reflects the later rigor applied to questions Lobachevsky’s work exposed.

• Noetherian ringRelated: His basis theorem established a central closure property of Noetherian rings.

• Sphere packingRelated: Hilbert's eighteenth problem asked about densest packings and congruent tile-like arrangements.

• Fredholm alternativeRelated: His investigations of integral equations formed part of the mathematical setting surrounding Fredholm's results.

• Archimedean propertyRelated: Hilbert's axioms for geometry made the Archimedean condition explicit as a structural assumption.

• Foundations of GeometryRelated: His 1899 geometry axioms set a landmark standard for rigor.

• Hilbert's tenth problemRelated: He posed the tenth problem in his 1900 address on unsolved mathematical questions.

• Hilbert's axiomsRelated: Hilbert presented the axiom system in his 1899 book on the foundations of geometry.