Linked from

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

• Tullio Levi-CivitaRelated: Hilbert’s route to the field equations highlights the mathematical setting Levi-Civita helped refine.

• Waring's problemRelated: His 1909 proof established Waring's conjecture for every exponent.

• Formal methodsRelated: His formalist program helped shape the questions underlying rigorous verification.

• History of geometryRelated: His axioms for geometry clarified independence, consistency, and the role of formal assumptions.

• Millennium Prize ProblemsRelated: His 1900 list of problems helped inspire the later prize list.

• BetweennessRelated: Hilbert isolated betweenness as a primitive relation in his axiomatization of geometry.

• Hilbert's basis theoremRelated: Hilbert proved the finite-generation result that became this theorem's namesake.

• Hilbert's problemsRelated: He selected and presented the 23 challenges that define this list.

• Constantin CarathéodoryRelated: Carathéodory worked in the Göttingen environment shaped by Hilbert and his research school.

• Gelfond–Schneider theoremRelated: His seventh problem directly motivated the result.

• Formal scienceRelated: His program sought a rigorous formal foundation for all of mathematics.

• Pasch's axiomRelated: Hilbert incorporated Pasch's order principle into a systematic axiom system.

• Tarski's axiomsRelated: Hilbert's axiomatization provided a major predecessor and comparison for Tarski's approach.

• Theory of relativityRelated: His work forms part of the history of general relativity's field equations.

• Hilbert's theoremRelated: He proved the non-immersion result that bears his name.

• Noether normalization lemmaRelated: Hilbert’s finiteness methods formed part of the algebraic setting in which normalization became central.

• Operator theoryRelated: Hilbert spaces and integral-equation methods became central settings for operator theory.

• Pappus's hexagon theoremRelated: His algebraic framework helped clarify the theorem's connection to commutative fields.

• Desargues's theoremRelated: His axiom systems clarified when Desargues's theorem follows from projective-plane assumptions.

• Axiom (mathematics and logic)Related: His axiomatic approach made explicit the structural role of undefined terms and postulates.

• Fredholm's theoremRelated: Hilbert's integral-equation program formed a mathematical backdrop for Fredholm's results.

• Friedrichs' inequalityRelated: Hilbert-space methods provide the setting for many uses of the inequality.

• Gödel's first incompleteness theoremRelated: His program framed the exact question the incompleteness theorem answered negatively.

• Hilbert–Smith conjectureRelated: His fifth problem provided the historical source of the conjecture's name and motivation.

• Turing's proofRelated: The Entscheidungsproblem arose from Hilbert’s program for formal reasoning.