David Hilbert

Record year1880

summaryProposed a new route for solving and organizing problems within the invariant-theory research network led by Gordan.

M rationaleIt changed a problem of case-by-case construction into a general method establishing the existence of finite generation, changing the manageable boundary of algebraic research; as a direct predecessor general method below the M6.5 of Noether ideals/rings, it is assigned M5.8. Source completeness affects only the interval and does not reduce civilizational value.

attribution rationaleHilbert 0.50; Gordan 0.15; Klein and the network 0.15; prior theoretical work 0.15; unknown 0.05.

overlap boundaryThe finite-generation proof and methodological turn formed in the 1880 to 1890s on the basis of invariant problems of Gordan and others; it does not claim all of commutative algebra, algebraic geometry, or later eponymous objects.

Evidence gapsThe individual theorems and the boundary of constructivity still require calibration against technical primary texts.

Record year1899

summaryReorganized the foundations of Euclidean geometry through explicit axioms and analyses of independence and consistency.

M rationaleIt made axiom selection and logical relations into testable mathematical objects, forming a methodological outcome reusable across geometries, assigned M5.8; foundational effects are already included in M.

attribution rationaleHilbert 0.48; prior work on axiomatization 0.27; the Göttingen network 0.10; dissemination and adoption 0.10; unknown 0.05.

overlap boundaryAround 1899, it reorganized Euclidean and analytic geometry through explicit axioms and analyses of independence and consistency; the general idea of formalization and the later foundational program are counted only once.

Evidence gapsAxiomatic revisions in the various editions and specific proofs of independence still require calibration.

Record year1897

summaryThe Zahlbericht organizes integers, ideals, discriminants, units, and prime factorization in general number fields, and contains a complete proof of the Kronecker–Weber theorem and a more intelligible algebraic proof of Satz 90; the prior work behind the propositions is not credited to him.

M rationaleIt organized dispersed results into a workable theoretical framework for number fields, and included identifiable new proofs and proof simplifications, creating a research foundation reusable across problems; assign M5.9. The fact that the materials do not cover the entire book page by page only widens the confidence interval; it does not reduce this outcome to a general bibliography.

attribution rationaleHilbert 0.38; prior work of Kummer, Dedekind, and Kronecker 0.30; research network 0.12; editorial dissemination and adoption 0.12; unknown 0.08.

overlap boundaryThe 1897 Zahlbericht's unified framework for integers, ideals, discriminants, units, ideal classes, and prime factorization in Galois extensions of general number fields, together with a complete Kronecker–Weber proof and a concise algebraic proof of Satz 90. Synthesis, proofs, and textbook-like accessibility are counted as one outcome; the source of the Satz 90 proposition and subsequent class field theory are excluded.

Evidence gapsThe boundaries between item-by-item originality, synthesis, and later terminology throughout the book have not yet been disaggregated.

Record year1904

summaryHe published a series of studies on linear integral equations, forming a general analytic framework; Erhard Schmidt, Riesz, and later researchers in functional analysis carried out independent development.

M rationaleIt formed a general analytic and spectral framework usable across problems; as the direct analytic baseline for the Neumann operator M6, assign M5.8; subsequent abstraction is not fed back.

attribution rationaleHilbert 0.40; Schmidt 0.15; Riesz and others 0.13; prior work 0.17; assistants and editors 0.10; unknown 0.05. The mixed shares originally listed for parallel or successor researchers are retained as unresolved inputs and are not credited to these named individuals absent proof of direct transmission.

overlap boundaryThe series of papers and general theory of linear integral equations from 1904 to 1910; abstract Hilbert space, later spectral theory, and quantum applications are excluded.

Evidence gapsThe precise priority of concepts of convergence, spectrum, and space still requires calibration; the specific input relations of parallel and successor work remain unresolved; the attribution budget does not automatically treat independent development as the same outcome.

Record year1918

summaryIn 'Invariant Variational Problems', two interconnected theorems and their converses are presented, establishing a systematic connection between continuous symmetries and conservation laws. Here they are presented as a theorem family; later applications such as energy and momentum are not counted repeatedly.

M rationaleM7.0 is on par with Maxwell's electromagnetic field-light unification: both compress broad physical phenomena into reusable mathematical structures. The Noether method spans classical field theory, relativity, and subsequent physical formalisms, but currently does not include all later applications, so it is not further upgraded due to the number of applications. It is higher than Maxwell's transport M6 and the bounded method anchor of ACE M5.

attribution rationaleNoether receives 0.65 for core authorship responsibility for the theorems, converses, and general proof; Hilbert's problems and relativistic background 0.10, Klein's problem organization 0.05; prior development in calculus of variations, invariants, and group theory 0.15; unknown 0.05. Problem posing and prior development are visible in a, but M is not repeatedly deducted.

overlap boundaryThe two interconnected theorems and their converses in the 1918 'Invariante Variationsprobleme' are treated as one method family: conservation laws and identities in variational problems under continuous transformation groups; distinguishing continuous symmetries described by independent parameters from local symmetries dependent on arbitrary functions. M is not accumulated separately by the names of the two theorems, energy, momentum, gauge, or each category of later application. Excludes the problem backgrounds of Hilbert and Klein, Weyl's later developments, and independent increments from quantum field theory and gauge theory.

Evidence gapsThis revision did not obtain the 1918 original text that can be parsed page by page; The shares for the specific problem exchanges between Hilbert, Klein, and Noether are still normative estimates. Evidence for direct cross-generational use of high-tier M must be shown with source positioning similarly to philosophy, and cannot be exempted from verification by familiar conclusions from the history of science; named precursors receiving credit again are also subject to reuse review.

Record year1917

summaryWith Paul Bernays and others, he advanced a research program of mathematical axiomatization, finitism, and consistency proofs.

M rationaleIt formed a sustained research agenda and reusable proof-theoretic tools, but the goal of consistency for all mathematics was not achieved; assign M4.9 to a research program with actual tool outputs but a limited objective.

attribution rationaleHilbert 0.35; Bernays 0.25; prior work in logic and criticism 0.20; team 0.10; adoption and unknown 0.05 each.

overlap boundaryThe post-1917 plan to formalize mathematics and prove consistency by finite methods, and the proof-theoretic work with Bernays; the uncompleted objective enters the boundary, while results of Gödel and Gentzen are excluded.

Evidence gapsThe range of specific proof-theoretic tools that remain valid requires technical rereading.

Record year1915

summaryIt gives a variational formulation using a gravitational–electromagnetic action and organizes identity structures from coordinate invariance. The field equations as a whole, physical interpretation, and predictions are consumed by the relativity-theory program and are not repeated here.

M rationaleThe action and invariant identity structures have independent value as a mathematical-physics method; after excluding the field equations as a whole, the remaining scope is assigned M4.9. This revision results from narrowing the achievement boundary, not from adjusting the score because of names or unread materials.

attribution rationaleHilbert 0.28; Einstein 0.32; prehistory of mathematical physics and GR 0.18; the Göttingen network 0.10; contemporary publication and early dissemination support 0.05; proof sheets and timeline unresolved 0.07.

overlap boundaryIt gives a variational formulation using a gravitational–electromagnetic action and organizes identity structures from coordinate invariance. The field equations as a whole, physical interpretation, and predictions are consumed by the relativity-theory program and are not repeated here.

Evidence gapsHilbert's proof sheets, final version, and the time at which the specific field equations appeared have not yet been settled with archival originals. The meaning of the energy equations was unclear at the time. Authors of later historical research are not counted as creators of the 1915 achievement.

Record year1900

summaryHe posed twenty-three problems and organized teaching and research agendas at Göttingen; subsequent solutions to the problems belong to the work of different mathematicians.

M rationaleIt generated lasting value in coordinating research across communities; the central solutions still belong to the problem solvers; assign M3.9.

attribution rationaleHilbert 0.38; Klein 0.17; team 0.20; participants 0.15; prior work and unknown 0.05 each.

overlap boundaryThe 1900 problem list and teaching-and-research organization undertaken with Klein; not credited with solutions to the problems, students' future research, or the institution's entire prestige.

Evidence gapsSpecific courses, administrative measures, and learning effects require calibration.

Record year1916

summaryDisseminating the concepts and methods of abstract algebra through courses, seminars, and weekly lectures at Göttingen, Bryn Mawr, and Princeton; the related textbook was written by van der Waerden, incorporating lectures by Artin and Noether.

M rationaleM3.5 is higher than a single lecture or general tool M3, due to multi-year, cross-institutional, and specific course and seminar service; lacking complete class hours, rosters, and teaching effectiveness, it is far below the core mathematical method M5 and above.

attribution rationaleNoether as the primary teacher 0.65; Hilbert's early course bearing 0.05; Göttingen 0.05, Bryn Mawr 0.10, Princeton 0.05; Artin and algebra teaching input 0.05; unknown 0.05. Students as beneficiaries do not receive or transfer back shares in this point due to future achievements.

overlap boundaryCount only verifiable course assistance from 1916–1935, Göttingen ideal theory teaching, a 1933 home student gathering, a seminar with three students and one faculty member at Bryn Mawr, and weekly lectures at Princeton in 1934. Exclude future research results of students and colleagues, the full value of van der Waerden's sole-authored textbook, all academic history of exile, and the core theorems of abstract algebra.

Evidence gapsLacking complete class rosters, class hours, and student learning outcomes; The 1935 colleague's obituary in this revision has only been verified to metadata.