Fact-checked by Grok 2 weeks ago

Hilbert's problems

Hilbert's problems are a set of 23 mathematical challenges proposed by the German mathematician David Hilbert during his address at the Second International Congress of Mathematicians in Paris on August 8, 1900. These problems spanned diverse areas of mathematics, including number theory, algebraic geometry, calculus of variations, and foundational issues in logic and set theory, and were designed to outline key unsolved questions that could guide research and development in the field for the ensuing century.^[1]^[2] In his lecture, titled "Mathematical Problems," Hilbert argued that the vitality of mathematics depends on the existence of open problems, which not only test existing theories but also inspire the creation of new tools and broader perspectives. He presented ten of the problems orally during the congress, with the complete list of 23 published in the proceedings shortly thereafter, emphasizing their clarity, solvability through rigorous methods, and potential to advance the axiomatic foundations of mathematics.^[2]^[3] The problems profoundly shaped 20th-century mathematics, serving as benchmarks for progress; while many have been fully or partially resolved—such as the resolution of the continuum hypothesis in certain models through Gödel's and Cohen's work on problem 1, or the unsolvability of the tenth problem via Matiyasevich's theorem—others remain open or continue to evolve, including the Riemann hypothesis (problem 8) and aspects of the sixth problem on axiomatizing physics. Their enduring legacy lies in stimulating foundational breakthroughs, from the development of general relativity addressing elements of problem 4 to advances in computational theory linked to problem 10, influencing fields far beyond pure mathematics.^[4]^[5]

Historical Context

The 1900 International Congress of Mathematicians

The Second International Congress of Mathematicians took place in Paris, France, from August 6 to 12, 1900, as part of the broader Exposition Universelle celebrating the new century.^[6] Organized by the French Mathematical Society (Société Mathématique de France) following the decision of the inaugural congress in Zurich in 1897, the event drew approximately 250 full members from around the world, including prominent figures from Europe and beyond.^[6] The congress was opened by Jules Tannery, with welcoming addresses by Henri Poincaré, who proposed Charles Hermite as honorary president due to his inability to attend in person, and later toasts by the perpetual secretary of the Academy of Sciences, Gaston Darboux.^[6] David Hilbert, a leading mathematician at the University of Göttingen and one of the era's foremost experts in invariant theory and algebraic number fields, was invited as a keynote speaker. On August 8, during the section on the history of mathematics and bibliography, Hilbert delivered his address titled "Mathematical Problems" (in German: "Mathematische Probleme"), an extensive presentation that outlined key challenges for future mathematical research.^[1] The speech was notable for its forward-looking vision, emphasizing the role of unsolved problems in advancing the field. The congress represented a pivotal milestone in the internationalization of mathematics, building on the Zurich meeting by promoting cross-border collaboration among scholars in the post-19th-century era.^[6] Held amid the vibrant intellectual atmosphere of the Paris exposition, which featured numerous scientific gatherings, it facilitated discussions on diverse topics from pure mathematics to applications in physics and astronomy, underscoring mathematics' growing global community and its transition into the 20th century.^[7]

Hilbert's Address and Selection Process

David Hilbert delivered his seminal address on mathematical problems at the Second International Congress of Mathematicians in Paris on August 8, 1900, presenting it in German to an international audience of leading scholars.^[1] His primary motivation was to delineate 23 "definite" problems—carefully chosen as central, feasible, and poised to propel mathematical inquiry forward—serving as a roadmap for the field's evolution over the ensuing century.^[8] Hilbert believed these challenges would not only highlight the vitality of mathematics as a living science but also inspire rigorous investigation, fostering breakthroughs through the development of new methods and concepts.^[1] The address opened with philosophical reflections on the axiomatic method, underscoring its role in providing a secure foundation for mathematical reasoning and eliminating ambiguities in established theories.^[8] Hilbert argued that while theorems represent achievements of the past, unsolved problems constitute the true engines of progress, asserting that "the organic development of mathematics is conditioned by the circumstance that the problems are the motive power of our science, and that all progress is to be traced to the solution of problems."^[8] He emphasized the conviction that every mathematical problem is solvable via finite logical processes, rejecting any notion of inherent unsolvability and viewing such optimism as essential to the discipline's advancement.^[1] In selecting the problems, Hilbert drew from pressing contemporary issues across algebra, geometry, analysis, and related domains, informed by his extensive experience and discussions with close collaborators such as Hermann Minkowski and Adolf Hurwitz.^[9] He applied strict criteria, prioritizing challenges that were precisely formulated, sufficiently difficult to demand innovative approaches, yet accessible enough to attract broad engagement, while deliberately omitting those that were too vague, philosophically speculative, or already resolved.^[1] At Minkowski's suggestion, Hilbert limited the oral presentation to ten problems to maintain focus during the congress session.^[9] Although the congress proceedings captured only partial notes from the address, Hilbert ensured the complete exposition reached the mathematical community by publishing the full text, including all 23 problems, later that year in the Nachrichten der Königlichen Gesellschaft der Wissenschaften zu Göttingen (pp. 253–297).^[9] An English translation appeared in 1902 in the Bulletin of the American Mathematical Society, broadening its influence.^[8]

Overview of the Problems

Structure and Themes of the 23 Problems

Hilbert presented a total of 23 problems in his 1900 address, intended as guiding challenges to test the vitality and progress of mathematical research, serving as "test questions" that would drive the development of the science by focusing efforts on fundamental issues.^[10] Some problems are subdivided into parts, such as aspects of the foundational questions in geometry and analysis.^[10] Retrospectively, the problems span a wide range of mathematical domains, including foundations of mathematics, algebra, number theory, geometry, and analysis.^[4] This classification underscores the comprehensive scope of Hilbert's agenda, spanning pure mathematical structures to interdisciplinary connections. Recurring themes across the problems emphasize the need for mathematical rigor, particularly through axiomatic approaches to establish solid foundations; the pursuit of generality, as in efforts to develop unifying theories across disparate areas; and practical applicability, including links to physical phenomena.^[10] The problems also balance abstract concerns, such as existence proofs for theoretical entities, with demands for constructive methods to explicitly build solutions or algorithms.^[10] The problems exhibit notable interconnections that amplify their collective impact, with several building upon or informing others; for instance, Problem 1, concerning the continuum hypothesis, directly relates to foundational set theory issues raised in Problem 2.^[10] Such linkages encouraged mathematicians to approach the set holistically, fostering advances that spanned multiple fields over the subsequent century.^[4]

The Added 24th Problem

The added 24th problem, conceived by David Hilbert around the time of his 1900 lecture at the International Congress of Mathematicians but ultimately excluded from the final list, focuses on foundational aspects of proof theory. It was rediscovered in the late 1990s through examination of Hilbert's personal notebooks (Cod. Ms. D. Hilbert 600:3) preserved in the Göttingen State and University Library, revealing that he had drafted it as an additional challenge beyond the original 23 problems.^[11] This posthumous identification, formalized in scholarly interpretations starting in the early 2000s, highlights Hilbert's early interest in extending his problems to address meta-mathematical concerns.^[12] The core content of the 24th problem asks for the establishment of criteria of simplicity for mathematical proofs, along with the development of a rigorous theory capable of proving that a given proof achieves the greatest possible simplicity for a specific theorem. Specifically, it seeks an absolute, system-independent measure of proof complexity—such as length in terms of steps or symbol count—to evaluate and compare proofs objectively, thereby supporting Hilbert's later emphasis on finitary methods within his formalist program for securing the foundations of mathematics.^[11] This formulation appears directly in Hilbert's notebook entry: "The 24th problem in my Paris lecture was to be: Criteria of simplicity, or proof of the greatest simplicity of certain proofs. Develop a theory of the method of proof of the greatest simplicity."^[12] Unlike the more concrete challenges in the original list, this problem targets the qualitative and quantitative assessment of proofs themselves, linking to broader themes in Hilbert's foundational concerns, such as those in Problem 2 on the consistency of arithmetic.^[13] Hilbert omitted the 24th problem from his 1900 address primarily due to its speculative character and the practical difficulties in articulating a precise definition of "simplicity" amid the time constraints of the lecture, opting instead to prioritize the 23 more immediately actionable problems.^[11] He viewed it as an extension of foundational issues but deemed it too preliminary for public presentation at the time. The problem was not mentioned in the published version of the speech or subsequent early accounts, first receiving related elaboration in Hilbert's 1922 essay "Neubegründung der Mathematik," where he discussed proof theory and the need for finitary consistency proofs, themes resonant with the 24th problem's aims.^[13] Scholars, including historian Rüdiger Thiele, have since debated its potential inclusion in Hilbert's canonical list, arguing it encapsulates his evolving thoughts on mathematical rigor; earlier biographical works, such as Constance Reid's 1970 account, noted the 23 problems without reference to this outlier due to its then-obscure status. In modern terms, the problem remains largely unsolved, with ongoing research in automated theorem proving and proof complexity theory providing tools for simplification but no universal metric for absolute simplicity.^[12]

Detailed Descriptions of the Problems

Problems 1–10: Foundations and Algebra

The first ten problems in David Hilbert's 1900 list emphasize foundational questions in mathematics, spanning set theory, the consistency of arithmetic, the rigor of proofs in analysis and geometry, permissible tools for constructions, inequalities in analysis, axiomatization of physical theories, and core challenges in algebraic number theory. These problems highlight Hilbert's vision for strengthening the axiomatic foundations of mathematics while advancing algebraic structures and arithmetic principles, as articulated in his lecture at the Second International Congress of Mathematicians in Paris. Hilbert selected these to address unresolved issues that could unify disparate branches of mathematics, drawing from contemporary debates in set theory and algebra. Problem 1: Continuum hypothesis and well-ordering of the reals Hilbert's first problem targets the foundations of set theory, posing two interrelated questions inspired by Georg Cantor's work on transfinite numbers. The primary part is to prove or disprove the continuum hypothesis, which states that there is no infinite set whose cardinality is strictly between that of the natural numbers (\aleph_0) and the real numbers ($2^{\aleph_0}). The secondary part asks whether the real numbers admit a well-ordering, meaning an ordering in which every nonempty subset has a least element. Hilbert formulated it as follows: "The investigations on the foundations of geometry suggest the problem: To establish rigorously the arithmetical propositions which are true for all real number systems, and to decide whether the continuum can be well-ordered." This problem arose from efforts to extend the well-ordering principle, assumed in Cantor's theory, to the continuum, amid ongoing discussions at the turn of the century about the size of infinite sets.^[2] Problem 2: Consistency of arithmetic axioms The second problem seeks a proof of the consistency of the axioms of arithmetic using only finite, constructive methods, ensuring that no contradictions arise within the system of natural number arithmetic. Hilbert emphasized the need for such a proof to secure the foundations of mathematics, stating: "The most important question in the whole of mathematical science is whether from the given axioms of arithmetic it is possible to derive a contradiction, and if this is not possible, to give a proof by finite means." This formulation reflects Hilbert's axiomatic approach, influenced by his work on the foundations of geometry, and aims to demonstrate that arithmetic is free from paradoxes like those in naive set theory.^[2] Problem 3: Promotion of rigorous proofs in analysis Hilbert's third problem advocates for greater rigor in mathematical proofs, particularly in analysis, by challenging mathematicians to establish definitive results for key theorems that lacked complete proofs at the time. It includes two main subparts: first, to prove the Jordan curve theorem, which asserts that every closed curve in the plane divides the plane into an interior and exterior region; second, to determine whether polyhedra of equal volume can always be dissected into finitely many congruent polyhedral pieces. Hilbert described it as: "In the theory of discontinuous groups there are still to be solved two problems of Jordan: (1) To prove that a closed curve in the plane without singular points divides the plane into two regions; (2) To show that two polyhedra of equal volume can be dissected into the same finite number of polyhedral pieces." This problem underscores Hilbert's call for precision in calculus and geometry, addressing gaps in proofs that relied on intuitive notions of continuity and volume.^[2] Problem 4: Straightedge-and-compass constructions using marked ruler Hilbert's fourth problem asks for the construction and investigation of all metrics on subsets of projective space (or Euclidean space) for which the straight lines are the geodesics (shortest paths between points). It seeks to understand geometries where the straight line remains the shortest distance under modified axioms, such as weakening the congruence axiom while preserving the parallel postulate in a generalized sense. Hilbert posed it as: "The straight line is said to be the shortest distance between two points. This important property of the straight line should now be investigated in a more general sense. Namely, it is to be investigated under what conditions and in what manner the straight line can be conceived as the shortest distance between two points." Originating from considerations in non-Euclidean geometry, this problem tests the boundaries of metric structures linking to projective and differential geometry.^[14] Problem 5: Explicit inequalities between sums and integrals Hilbert's fifth problem concerns the nature of continuous groups of transformations. It asks whether a topological group that is locally Euclidean (i.e., a manifold) must necessarily have the differentiable structure of a Lie group, without assuming differentiability a priori. Specifically, it explores if every continuous transformation group can be treated analytically without introducing differentials, refining Lie's theory. Hilbert stated: "The investigations on continuous groups carried out by Lie and others have brought Lie's concept of continuous group to a high degree of perfection, but have left unanswered the question whether this concept is capable of a purely analytical treatment without the introduction of the notion of differential." This addresses foundational issues in group theory, impacting the study of symmetries in geometry and physics.^[15] Problem 6: Axiomatization of physics The sixth problem calls for a rigorous axiomatization of those branches of physics in which mathematics plays a significant role, such as probability theory and mechanics, to place them on a secure foundational basis akin to geometry. Hilbert highlighted the need for axioms in probability, noting: "The propositions of the differential calculus and the integral calculus are based on intuitive notions; but to make these rigorous, we need axioms. The same holds for the calculus of probabilities." Inspired by his axiomatic method in geometry, this problem seeks to formalize physical laws, starting with principles of probability to resolve ambiguities in early 20th-century statistical mechanics.^[2] Problem 7: Ideal numbers in number fields Hilbert's seventh problem asks to prove that if α is an algebraic number (neither zero nor one) and β is an irrational algebraic number, then α^β is transcendental. He sought general results for such expressions, building on known irrationalities like those of e and π, and highlighted the need to extend transcendence theory beyond specific cases. Hilbert stated: "It is not known whether the number e^π is irrational or not; it is to be proved that certain numbers of this kind are irrational." This problem advances transcendental number theory, with implications for algebraic independence.^[4] Problem 8: Riemann hypothesis The eighth problem is the Riemann hypothesis, conjecturing that all nontrivial zeros of the Riemann zeta function \zeta(s) lie on the critical line where the real part of s is $1/2. Hilbert regarded it as one of the most important unsolved problems, declaring: "The Riemann conjecture on the zeros of the zeta function: that all non-trivial zeros have real part $1/2." Formulated by Bernhard Riemann in 1859, it links the distribution of prime numbers to the zeros of \zeta(s), with profound implications for analytic number theory.^[2] Problem 9: Laws of reciprocity in number theory Hilbert's ninth problem seeks generalizations of the law of quadratic reciprocity to higher-degree forms and arbitrary number fields, aiming to find algebraic or analytic criteria for when a prime divides a given integer. He specified: "To find a general law of reciprocity for arbitrary rational integer functions, or at least for those of degree n." Building on Gauss's quadratic reciprocity and Eisenstein's cubic reciprocity, this problem targets a unified reciprocity law, potentially using class field theory precursors.^[2] Problem 10: Solvability of Diophantine equations The tenth problem asks for an algorithm to determine whether a given Diophantine equation (polynomial equation with integer coefficients) has integer solutions, with a focus on resolving the solvability of general seventh-degree equations. Hilbert clarified: "To devise a process according to which it shall be possible to determine whether a given polynomial equation with rational integral coefficients possesses a solution which is also rational and integral." This encompasses Hilbert's earlier work on invariant theory and algebraic solvability, seeking a decision procedure for the "Hilbert's tenth problem" in Diophantine analysis.^[2]

Problems 11–23: Geometry, Analysis, and Physics

The problems 11 through 23 shift focus from foundational and algebraic concerns to more applied areas of geometry, analysis, and physics, reflecting Hilbert's belief in the unity of mathematics and its role in solving real-world scientific challenges. These problems draw inspiration from the invariant theory developed by Felix Klein, Hilbert's mentor at Göttingen, who emphasized the importance of group actions in geometry, and from Henri Poincaré's pioneering work in topology, dynamical systems, and variational methods, which highlighted the need for rigorous existence proofs in analysis.^[10] Problem 11 addresses the representation of numbers by quadratic forms over rings of algebraic integers. Hilbert asked for a complete theory of the conditions under which a quadratic form with coefficients in the ring of integers of a number field represents zero non-trivially, generalizing classical results for rational integers to arbitrary algebraic number fields and extending the scope to positive definite forms and their equivalence classes. This problem builds on earlier work in quadratic forms and aims to clarify the arithmetic properties of such representations in higher dimensions.^[10] Problem 12 seeks an extension of Kronecker's Jugendtraum (youth's dream) theorem, which characterizes abelian extensions of the rational numbers via cyclotomic fields, to arbitrary algebraic number fields. Hilbert proposed constructing all abelian extensions of a given number field using specially constructed auxiliary fields, emphasizing the role of ideal class groups and ray class fields in this generalization. The problem underscores the need for a unified class field theory to describe these extensions explicitly.^[10] Problem 13 concerns the ring of integer solutions to linear Diophantine equations, such as ax + by = 1, and asks for a theory of unique factorization within this ring, analogous to the fundamental theorem of arithmetic. Hilbert illustrated this with the Pell equation x^2 - dy^2 = 1, where solutions form a group under composition, and sought general criteria for irreducibility and unique factorization in such solution rings for systems of equations. This problem highlights the algebraic structure of Diophantine solutions in multiple variables.^[10] Problem 14 inquires into the finiteness of systems of invariants for rational functions or forms under linear group actions, building directly on Hilbert's own basis theorem for polynomial ideals. Specifically, Hilbert posed whether, for binary forms of degree n under the action of GL(2), the ring of invariants is finitely generated, and extended this to relative invariants and more general transformation groups. The problem connects invariant theory to algebraic geometry by seeking effective methods for computing complete systems of invariants.^[10] Problem 15 calls for a rigorous foundation of Schubert's enumerative calculus in algebraic geometry, which counts the number of curves or surfaces satisfying incidence conditions, such as those passing through given points. Hilbert criticized the lack of precision in Schubert's characteristic numbers and sought proofs using modern algebraic methods, like resultants or intersection theory, to validate these counts for systems of curves on surfaces. This problem aims to place enumerative geometry on a firm analytical basis.^[10] Problem 16 focuses on the topology of algebraic curves and surfaces, requesting confirmation or refutation of Plücker's formulas relating the number of singularities (nodes, cusps) to the genus and degree of the curve. Hilbert emphasized the need to determine whether these formulas hold generally for plane curves and their projections, and to develop a systematic study of double curves and tacnodes on surfaces. Influenced by Klein's Erlangen program, the problem seeks to integrate differential geometry with algebraic topology.^[10] Problem 17 addresses variational problems arising in physics, such as the isoperimetric problem of maximizing area for a given perimeter, and more generally, finding extrema of integrals under constraints. Hilbert sought explicit solutions or existence proofs for these problems in the calculus of variations, particularly those modeling physical phenomena like minimal surfaces or geodesics, and highlighted the need for boundary conditions in real-world applications. This reflects Poincaré's influence on celestial mechanics and stability.^[10] Problem 18 addresses the building up of Euclidean space using congruent polyhedra, asking for a complete enumeration of all possible space groups (isomorphism classes of discrete groups of isometries acting properly discontinuously) in n dimensions, with a focus on three-dimensional crystallography. Hilbert inquired into whether there are finitely many such groups and if space can be tiled by congruent copies of a given polyhedron without gaps or overlaps, with applications to the theory of crystal lattices and tessellations. He stated: "The problem of the 18th century: is it possible to prove that there exist only finitely many essentially different systems of plane tessellations by congruent polygons?" This problem links discrete geometry to group theory and materials science.^[16] Problem 19 deals with the regularity of solutions to variational problems, specifically whether minimizers of integrals like \int F(x, y, y') dx are continuously differentiable or analytic under suitable conditions on F. Hilbert posed this for both one-variable and multi-variable cases, seeking to establish higher differentiability beyond mere existence, with applications to physical equilibria like soap films.^[10] Problem 20 seeks a general existence theory for solutions to boundary value problems in the calculus of variations, such as Plateau's problem for minimal surfaces spanning a given contour. Hilbert emphasized the need for proofs of existence without assuming a priori smoothness, using direct methods or approximations, to handle non-convex integrands and irregular boundaries in physical contexts.^[10] Problem 21 considers linear ordinary differential equations with algebraic coefficients, asking whether solutions can always be expressed in terms of algebraic functions or require transcendental extensions. Hilbert proposed examining the monodromy group and branching to determine if the solution field is algebraic over the coefficient field, connecting to Fuchsian equations and Riemann surfaces.^[10] Problem 22 addresses the uniformization of multi-valued analytic functions via automorphic functions, generalizing Riemann's mapping theorem to relations defined by algebraic curves. Hilbert asked for a development of the theory of analytic functions with algebraic relations, using modular functions to parameterize them singly-valuedly, influenced by Poincaré's work on Fuchsian groups.^[10] Problem 23 calls for further development of the calculus of variations in the large, beyond local extrema, to address global problems like periodic orbits in Hamiltonian systems or stability in physics. Hilbert envisioned extending Hamilton-Jacobi theory to infinite dimensions and incorporating quantum considerations, though primarily focused on classical variational principles for physical laws.^[10]

Status and Resolutions

Solved Problems and Key Proofs

Of Hilbert's 23 problems, approximately 20 are considered fully, substantially, or decisively resolved (including via independence or negative results) as of 2025, with key resolutions spanning the early 20th century through recent decades. These solutions often involved groundbreaking proofs in algebra, geometry, analysis, and foundational mathematics, influencing subsequent developments in their fields. Major contributors included Max Dehn, G.H. Hardy, Teiji Takagi, Emil Artin, and others, whose works provided rigorous closures to Hilbert's challenges. The latest major full resolution among these was for Problem 21 in 1989. Problem 3, concerning the impossibility of certain dissections of polyhedra and the nature of Jordan curves, saw partial resolution immediately by Dehn, who in 1900 proved that not all polyhedra of equal volume can be dissected into finitely many congruent pieces using the Dehn invariant, a quantity preserved under dissection but differing for tetrahedra and cubes. The plane curve aspect was resolved by Hausdorff in 1914, who established that every Jordan curve divides the plane into exactly two regions using topological invariants. Hilbert's fifth problem asks if every locally Euclidean topological group is a Lie group. It was solved affirmatively by Gleason, Yamabe, and Montgomery-Zippin in the 1950s, showing that such groups admit a compatible analytic structure. Problem 6, the axiomatization of physics, received partial resolution through the development of quantum mechanics axioms in the 1930s by von Neumann and others, who formalized the mathematical structure using Hilbert spaces and operators, addressing the probabilistic nature of physical laws. In 2025, Deng, Hani, and Ma provided a rigorous derivation unifying microscopic (Newtonian), mesoscopic (Boltzmann), and macroscopic (Euler-Navier-Stokes) theories of fluid dynamics, advancing the axiomatization of classical physics.^[17] Problem 7 on the Riemann hypothesis for algebraic number fields was solved by Takagi in 1920 through his establishment of class field theory, proving the existence of maximal abelian extensions and their correspondence to ideals in the ring of integers. Problem 10, the decision problem for Diophantine equations, was solved negatively by Matiyasevich in 1970, building on work by Davis, Putnam, and Robinson, showing that no general algorithm exists to determine solvability. Problem 12, the extension of Kronecker's theorem on abelian extensions, was partially addressed by Artin in the 1920s via his reciprocity law, with substantial progress through class field theory, though the full non-abelian case remains open. Problem 14, the finiteness of bases for polynomial ideals, was solved by Hilbert himself in 1890 with his basis theorem, proving that every ideal in a polynomial ring over a field has a finite basis, a foundational result in commutative algebra. In Problem 16, partial topological results emerged in the 1920s, including Brouwer's fixed-point theorem and work on the topology of manifolds, establishing invariance properties for continuous mappings. Problems 19, 22, and 23, spanning calculus of variations and boundary value problems, saw various 20th-century resolutions: Problem 19 on the isoperimetric problem was solved by Blaschke in 1917 using symmetrization techniques; Problem 22 on the generalization of Dirichlet's principle was proven by Riesz in 1909 using functional analysis; and Problem 23 on further development of the calculus of variations was substantially progressed by Carathéodory's 1935 work on necessary conditions. Problem 21, on realizing monodromy groups via linear differential equations with regular singularities, was solved negatively by Bolibruch in 1989 with a counterexample showing not all such groups are realizable.

Unsolved Problems and Partial Results

Among Hilbert's problems, several remain entirely unsolved or have achieved only partial resolution, highlighting persistent challenges in foundational mathematics. Problem 1, concerning the continuum hypothesis, was shown to be independent of the Zermelo-Fraenkel axioms with the axiom of choice (ZFC) by Kurt Gödel in 1940, who proved its consistency relative to ZFC, and by Paul Cohen in 1963, who demonstrated its negation is also consistent.^[18] This independence result implies the hypothesis cannot be resolved within standard set theory, rendering the problem undecidable in that framework.^[19] Similarly, Problem 2, which sought a consistency proof for arithmetic without appealing to non-constructive methods, was refuted by Gödel's incompleteness theorems of 1931, establishing that no such finitary proof exists within the system itself.^[20] Problem 8, encompassing the Riemann hypothesis on the zeros of the zeta function, remains unproven despite extensive verification: as of 2025, computational efforts have confirmed the hypothesis for the first 10^{32} non-trivial zeros, all lying on the critical line.^[21] The Clay Mathematics Institute has offered a $1 million prize for its resolution since 2000, underscoring its centrality to analytic number theory.^[22] Problem 11, seeking a classification of quadratic forms over algebraic number fields, lacks a complete solution, with progress limited to specific cases like rational and p-adic fields, while general classification over arbitrary fields eludes mathematicians.^[4] Partial advances have illuminated other problems without full closure. For Problem 4, which explores geometries where straight lines are geodesics and includes constructions using a marked ruler (a straightedge with fixed marks), certain specific constructions are feasible, such as those resolving Poncelet's porism, but the general decidability of constructibility remains open.^[23] In Problem 9, on general reciprocity laws for algebraic number fields, Emil Artin's reciprocity law of 1927 extended quadratic reciprocity to abelian extensions, forming the basis of class field theory, yet non-abelian cases lack a complete formulation.^[24] Problem 13, on representing continuous functions as superpositions of functions of fewer variables, was solved negatively by Kolmogorov and Arnold in 1957, proving that such representations are possible but not in the form Hilbert suggested. Problem 15, addressing rigorous foundations for enumerative geometry and Schubert's calculus, saw significant progress in the 1990s through Gromov-Witten invariants, which provide virtual counts of curves on algebraic varieties and resolve many classical enumerative questions via quantum cohomology.^[25] For Problem 16, on the topology of algebraic curves, bounds on the number of limit cycles for polynomial vector fields exist—such as Hilbert's conjecture for degree 2 confirmed and partial results for higher degrees via Hilbert's 16th problem methods—but a full classification of possible configurations is incomplete.^[26] Problem 20, concerning existence proofs in the calculus of variations for boundary value problems, has been substantially advanced by functional analysis techniques, including direct methods (Tonelli 1921, Morrey 1952) yielding minimizers in Sobolev spaces, though specific regularity and uniqueness for non-convex functionals remain unresolved.^[8] Problem 22, on uniformizing analytic relations via automorphic functions, achieved partial resolution through the uniformization theorem for Riemann surfaces, with Teichmüller theory in the 1930s providing tools for moduli spaces, but broader uniformization for multi-valued relations is incomplete. As of 2025, none of these problems have been fully solved.^[4] Key barriers to resolution include independence results like those for Problem 1, which shift focus to alternative axioms, and computational limits, as in Problem 8 where verifying all zeros is infeasible despite massive checks.^[18] These challenges, compounded by the inherent complexity of infinite structures and non-constructive necessities, continue to drive research in logic, analysis, and geometry.^[27]

Philosophical and Methodological Aspects

Knowability and the Entscheidungsproblem

Hilbert's program envisioned a complete and consistent foundation for mathematics, where every well-posed problem would admit a definite yes-or-no answer determinable by a finite algorithm, thereby ensuring the knowability of all mathematical truths through mechanical means. Central to this vision was the Entscheidungsproblem, formalized in 1928 as the challenge of devising an algorithm that, given any first-order logical statement, could decide whether it is a theorem of a given axiomatic system or universally valid. This problem, rooted in Hilbert's second problem from 1900 concerning the consistency of arithmetic, aimed to mechanize proof verification and eliminate any ambiguity in mathematical reasoning.^[28] Significant progress toward resolving the Entscheidungsproblem came in 1936 through independent work by Alonzo Church and Alan Turing, which formalized the notion of computability and revealed inherent limitations. Church introduced lambda-definability as a model of effective computation, while Turing proposed the abstract machine now known as the Turing machine, proving that certain problems, including the halting problem—determining whether a given program will terminate on a specific input—are undecidable. These results established the Church-Turing thesis, positing that the intuitive concept of an effective procedure aligns with Turing computability, and directly demonstrated the unsolvability of the Entscheidungsproblem for first-order predicate logic.^[29]^[30] The undecidability results profoundly undermined Hilbert's optimistic program, particularly its goal of providing finitary consistency proofs for infinite axiomatic systems using only concrete, finite methods. Hilbert had staunchly defended formalism in his 1928 lecture at the International Congress of Mathematicians in Bologna, critiquing L.E.J. Brouwer's intuitionism for restricting mathematics to constructive proofs and insisting that formal axiomatic methods, supported by metamathematical analysis, could secure the reliability of classical mathematics without intuitionistic limitations. The Church-Turing findings, building on Kurt Gödel's 1931 incompleteness theorems, showed that no such universal finitary verification is possible, as consistency statements themselves become undecidable within sufficiently powerful systems.^[31]^[32] In modern mathematical logic, the implications extend to a structured hierarchy of undecidability, captured by the arithmetic hierarchy, which classifies sets of natural numbers based on the quantifier complexity of their defining formulas in first-order arithmetic. Using Gödel numbering to encode syntactic objects like proofs and formulas as natural numbers, this framework reveals degrees of undecidability: for instance, the halting problem resides at the first level (Σ¹₀), while higher levels involve increasingly complex existential and universal quantifiers, demonstrating that no single algorithm can decide all arithmetical truths. Consequently, the knowability of mathematical problems is stratified, with universal decision procedures impossible, though decidability holds for lower levels of the hierarchy.^[33]^[34]

Influence on Mathematical Logic

Hilbert's second problem, which sought a consistency proof for arithmetic, profoundly influenced the development of mathematical logic by motivating Kurt Gödel's incompleteness theorems in 1931. These theorems demonstrated that within any sufficiently powerful formal system, there are true statements that cannot be proved, formalizing the metamathematical investigations Hilbert had envisioned.^[35] Similarly, Hilbert's tenth problem, concerning an algorithm to determine the solvability of Diophantine equations, anticipated key concepts in computability theory, as its negative resolution in 1970 by Yuri Matiyasevich built on earlier work by Alan Turing and Alonzo Church establishing the limits of mechanical computation.^[36] The Hilbert-Bernays program, detailed in their multi-volume Grundlagen der Mathematik (1934–1939), advanced proof theory by emphasizing finitary methods to establish consistency, providing a rigorous framework for analyzing formal systems that shaped subsequent logical research.^[37] Gerhard Gentzen's 1936 consistency proof for Peano arithmetic, employing transfinite induction up to the ordinal ε₀, extended this program while highlighting the need for non-finitary tools, influencing the boundaries of finitism in logic.^[38] The interest spurred by Hilbert's foundational problems contributed to the founding of the Association for Symbolic Logic in 1936, which fostered a dedicated community for logical studies amid rapid advancements in the field.^[39] Post-World War II, mathematical logic evolved from Hilbert's formalist emphasis on syntax and consistency toward recursion theory, exemplified by the work of Stephen Kleene and others, which prioritized computable functions and effective procedures over purely axiomatic security.^[40] Advancements in model theory, particularly Alfred Tarski's semantic approach to truth and satisfaction from the 1930s, traced roots to Hilbert's first problem on the axiomatization of set theory and related foundational efforts, enabling the study of structures interpreting formal languages beyond mere syntactic manipulation.^[41] Unlike Hilbert's broader program of axiomatizing all mathematics for consistency, mathematical logic emphasized distinctions between syntax (formal proofs) and semantics (interpretations and models), leading to specialized subfields that addressed undecidability results arising from his problems.^[37]

Legacy and Developments

Impact on 20th-Century Mathematics

Hilbert's problems profoundly shaped the trajectory of 20th-century mathematics by providing a framework for targeted research across multiple disciplines, inspiring generations of mathematicians to pursue rigorous solutions and extensions. Their influence extended beyond individual resolutions, fostering a culture of problem-oriented inquiry that prioritized foundational challenges and interdisciplinary connections. This approach not only accelerated advancements in core areas but also established Hilbert's list as a benchmark for mathematical progress, with many subsequent developments tracing their origins to these 23 questions.^[42] In algebra, Problems 7, 9, and 12 were instrumental in driving the development of class field theory, which describes abelian extensions of number fields in terms of the fields' arithmetic structure. Hilbert's 12th problem, in particular, generalized Kronecker's Jugendtraum to arbitrary number fields, laying the groundwork for this theory created by Hilbert and his students at the turn of the century.^[43] These efforts culminated in the Langlands program, viewed as a non-abelian generalization of class field theory, which connects number theory, representation theory, and algebraic geometry through deep correspondences.^[44] Similarly, in geometry, Problems 13, 16, and 18 influenced the evolution of algebraic geometry by prompting investigations into the topological and analytical properties of algebraic varieties. For instance, Problem 8's extension of the Riemann hypothesis to algebraic function fields over finite fields inspired the Weil conjectures, which posited analogous statements about the zeta functions of varieties and were fully proved by Pierre Deligne in 1974, earning him the Fields Medal in 1978.^[45] The problems also advanced analysis, particularly through Problems 19–23, which addressed regularity of solutions to variational problems, boundary value issues for analytic functions, and the further development of the calculus of variations. Problem 19, concerning the regularity of minimizers for variational integrals, spurred the creation of modern elliptic regularity theory for partial differential equations (PDEs), establishing that solutions to certain elliptic PDEs with analytic coefficients are themselves analytic.^[46] Problems 20 and 23, focused on boundary value problems and optimization in infinite-dimensional spaces, contributed to the foundations of PDE-constrained optimization, unifying variational methods with functional analysis.^[47] Quantitatively, the problems' legacy is evident in their role in shaping major awards and theorems; Deligne's resolution of aspects of Problem 8 via the Weil conjectures exemplifies how Hilbert's challenges directly influenced Fields Medal recognitions.^[48] Culturally, Hilbert's list modeled "problem-driven" research, encouraging systematic pursuit of open questions and influencing mathematical schools worldwide, including those in the Soviet Union and the United States, where it informed curricula and research priorities amid Cold War-era competitions.^[49] Although much of the century's focus was on theoretical resolutions, post-2000 computational efforts have underemphasized in earlier accounts by verifying the Riemann hypothesis—central to Problem 8—for trillions of non-trivial zeros on the critical line, with computations extending to heights beyond 3 × 10^{12} by 2020, providing empirical support amid ongoing proof pursuits.^[50]

Follow-Up Conferences and Modern Perspectives

Following the initial presentation of Hilbert's problems, several key conferences commemorated and extended their legacy. In September 1930, the Second Conference on the Epistemology of the Exact Sciences in Königsberg, Germany, focused on Hilbert's program for the foundations of mathematics, where Kurt Gödel announced his first incompleteness theorem, profoundly impacting discussions on the consistency and completeness of formal systems related to Hilbert's foundational aims.^[37] This event highlighted early challenges to Hilbert's optimism about finitary proofs securing mathematics. The centennial in 2000 was marked by the announcement of the Clay Mathematics Institute's Millennium Prize Problems at the Collège de France in Paris on May 24, inspired directly by Hilbert's list; seven major unsolved problems were selected, including the Riemann hypothesis (Hilbert's eighth) and the Poincaré conjecture, offering $1 million prizes each to encourage progress on enduring challenges.^[22] In the 21st century, mathematicians have continued to revisit Hilbert's problems through targeted symposia and new problem lists. Steve Smale, a Fields Medalist, proposed 18 problems for the 21st century in 1998, published in 1999, drawing explicit inspiration from Hilbert's approach to guide research in dynamical systems, computational complexity, and quantum mechanics; these included questions on the Navier-Stokes equations and protein folding, emphasizing interdisciplinary applications.^[51] By 2025, none of Hilbert's originally unsolved problems—such as the Riemann hypothesis (Problem 8) and the continuum hypothesis (Problem 1)—have been fully resolved, though significant partial advances persist. For Problem 1, modern set theory employs forcing techniques and their variants, such as proper forcing axioms (e.g., PFA), to explore models where the continuum's cardinality varies consistently with ZFC axioms, providing deeper insights into the hypothesis's independence without settling it.^[18] Contemporary perspectives reinterpret Hilbert's problems through advanced frameworks, often critiquing his formalist optimism in light of Gödel's incompleteness theorems, which demonstrated inherent limitations in axiomatic systems for capturing all mathematical truths.^[37] Problem 22, concerning the well-ordering of the continuum and related axioms, has been reframed in category theory via toposes and internal set theories, where the continuum hypothesis translates to statements about cardinalities in sheaf models or synthetic set theory, allowing exploration beyond classical ZFC. For Problem 8, computational verification has advanced dramatically, with the first 1.2 \times 10^{13} non-trivial zeros of the Riemann zeta function confirmed to lie on the critical line Re(s) = 1/2 as of 2020, with no further increases in verified count reported by 2025, though this empirical support falls short of proof. Emerging computational approaches, including machine learning algorithms to detect patterns in zeta zeros or approximate solutions, represent AI-assisted efforts by 2025, aiding hypothesis generation but not resolution.^[50]^[52] These developments underscore Hilbert's enduring influence, shifting focus toward hybrid theoretical-computational methods and philosophical reflections on undecidability.

References

[1]
David Hilbert: "Mathematical Problems" - MacTutor
Hilbert's famous address Mathematical Problems was delivered to the Second International Congress of Mathematicians in Paris in 1900.Missing: primary | Show results with:primary
[2]
https://www.gutenberg.org/ebooks/71655
[3]
Mathematical Problems of David Hilbert - Clark University
Hilbert outlined 23 major mathematical problems to be studied in the coming century. Some are broad, such as the axiomatization of physics (problem 6)Missing: unsolved | Show results with:unsolved
[4]
Hilbert's Problems: 23 and Math - Simons Foundation
May 6, 2020 · At a conference in Paris in 1900, the German mathematician David Hilbert presented a list of unsolved problems in mathematics.Missing: Congress source
[5]
[PDF] Hilbert's Problems and Their Solver
In the year 1900 Hilbert posed 23 problems for mathematicians to work on over the next 100 years. These problems have shaped mathematics and (to some extent) ...
[6]
1900 ICM - Paris - MacTutor History of Mathematics
The International Congress of Mathematicians was held in Paris, France from 6 August to 12 August 1900. The Congress was attended by 250 full members.Missing: key participants attendance
[7]
Christoph Sorger Discusses the IMU - American Mathematical Society
May 20, 2025 · There were exceptions to this four-year rule already for the second ICM held as part of the Exposition Universelle in Paris in 1900. This ...
[8]
Mathematical Problems by David Hilbert - Clark University
Mathematical Problems. Lecture delivered before the International Congress of Mathematicians at Paris in 1900. By Professor David Hilbert.Missing: motivation | Show results with:motivation
[9]
The Hilbert problems 1900-2000
Hilbert's problems came in four groups. In the first group were six foundational ones, starting with an analysis of the real numbers using Cantorian set theory.Missing: primary source
[10]
Mathematical problems - Project Euclid
July 1902 Mathematical problems. David Hilbert · DOWNLOAD PDF + SAVE TO MY LIBRARY. Bull. Amer. Math. Soc. 8(10): 437-479 (July 1902).
[11]
Hilbert's Twenty-Fourth Problem | Journal of Automated Reasoning
In the mid-1990s, however, as a result of a thorough reading of Hilbert's files, a twenty-fourth problem was found (in a notebook, in file Cod. ms. D. Hilbert ...
[12]
[PDF] Hilbert's Twenty-Fourth Problem - Argonne National Laboratory
May 14, 2001 · As a matter of fact, Hilbert composed that famous list during the summer term of 1900, in which o i he lectured ten hours a week (his normal ...
[13]
(PDF) What is Hilbert's 24th Problem? - ResearchGate
Aug 6, 2025 · This problem concerns simplicity of proofs. In this paper we review the (very few) traces of this problem which one can find in the work of Hilbert and his ...Missing: posthumously | Show results with:posthumously
[14]
The Continuum Hypothesis - Stanford Encyclopedia of Philosophy
May 22, 2013 · Cohen, P., 1963, “The independence of the continuum hypothesis ... Martin, D. A., 1976, “Hilbert's first problem: The Continuum Hypothesis,” in F.Missing: sources | Show results with:sources
[15]
[PDF] The Continuum Problem - USF Scholarship Repository
His suspicions were finally confirmed by Cohen in 1963: Cohen's independence theorems. The axiom of choice and the continuum hypothesis are not provable in ZE.
[16]
Did the Incompleteness Theorems Refute Hilbert's Program?
Did Gödel's theorems spell the end of Hilbert's program altogether? From one point of view, the answer would seem to be yes—what the theorems precisely show ...
[17]
Riemann Hypothesis - Clay Mathematics Institute
The Riemann hypothesis asserts that all interesting solutions of the equation ζ(s) = 0 lie on a certain vertical straight line.Missing: Hilbert's eighth
[18]
The Millennium Prize Problems - Clay Mathematics Institute
The Riemann hypothesis tells us about the deviation from the average. Formulated in Riemann's 1859 paper, it asserts that all the 'non-obvious' zeros of the ...
[19]
[1312.3172] On Hilbert's fourth problem - arXiv
Dec 11, 2013 · Hilbert's fourth problem asks for the construction and the study of metrics on subsets of projective space for which the projective line segments are geodesics.
[20]
[PDF] Reciprocity Laws: Artin-Hilbert
Hilbert sought a general reciprocity law, and Artin introduced his own symbol and proved a reciprocity law for it, which is central to class field theory.Missing: ninth | Show results with:ninth
[21]
[PDF] Gromov-Witten Theory of Blowups of Toric Threefolds
Among the most famous problems in the subject was Hilbert's fifteenth problem, which concerned Schubert calculus and enumerative geometry. Although the ...
[22]
[PDF] from the sixteenth hilbert problem to tropical geometry
Part 1. A story of mystery, mistakes and solution. How important to read classics. In 2000 I was invited to give a talk on the 16th Hilbert problem.<|control11|><|separator|>
[23]
The Rise and Fall of the Entscheidungsproblem
The second reason the Entscheidungsproblem was regarded as so important was its connection with the quest for proofs of the consistency of mathematical systems.Stating the... · Why the problem mattered · A “philosophers' stone” · Partial solutions
[24]
The Church-Turing Thesis (Stanford Encyclopedia of Philosophy)
Jan 8, 1997 · The Church-Turing thesis concerns the concept of an effective or systematic or mechanical method, as used in logic, mathematics and computer science.The Case for the Church... · The Church-Turing Thesis and...
[25]
[PDF] ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ...
By A. M. TURING. [Received 28 May, 1936.—Read 12 November, 1936.] The "computable" numbers may be described briefly ...
[26]
Formalism and Hilbert's understanding of consistency problems
Jun 15, 2021 · Brouwer stated of the first act of Intuitionism that it “completely separates mathematics from mathematical language, in particular from the ...
[27]
Brouwer versus Hilbert: 1907–1928 | Science in Context
Sep 26, 2008 · Hilbert's interests and polemics at the time led to at least three misconstruals of intuitionism, misconstruals which last to our own time: ...
[28]
Gödel Numbering - Stanford Encyclopedia of Philosophy
A key method in the usual proofs of the first incompleteness theorem is the arithmetization of the formal language, or Gödel numbering.
[29]
The Arithmetic Hierarchy and Computability - Rising Entropy
Aug 24, 2020 · The arithmetic hierarchy is a classification system for sets of natural numbers. It relates sentences of Peano arithmetic to degrees of uncomputability.
[30]
Gödel's incompleteness theorems
Nov 11, 2013 · The tenth on Hilbert's famous list of important open problem in mathematics from 1900 asks for a decision method for the so-called Diophantine ...
[31]
Computability and Complexity - Stanford Encyclopedia of Philosophy
Jun 24, 2004 · Hilbert believed that all mathematical problems were solvable, but in the 1930's Gödel, Turing, and Church showed that this is not the case.
[32]
Hilbert's Program - Stanford Encyclopedia of Philosophy
Jul 31, 2003 · Nevertheless, other fundamental problems of axiomatics remained unsolved, including the problem of the “decidability of every mathematical ...
[33]
Proof Theory - Stanford Encyclopedia of Philosophy
Aug 13, 2018 · Hilbert and Bernays introduced this new logical formalism for two reasons, (i) to be able to better and more easily formalize mathematics, and ( ...
[34]
About the ASL - Association for Symbolic Logic
The Association was founded in 1936, at a time when great advances in logic were beginning to be made.
[35]
Formalism in the Philosophy of Mathematics
Jan 12, 2011 · The Hilbertian position differs because it depends on a distinction within mathematical language between a finitary sector, whose sentences ...
[36]
Model Theory - Stanford Encyclopedia of Philosophy
Nov 10, 2001 · In 1899 David Hilbert published a book in which he constructed such models, using exactly the method of interpretation that we have just ...
[37]
[PDF] The most influential speech ever presented in the history of ...
Nov 25, 2009 · This Congress was held at Paris in 1900. At this meeting, leading German mathe- matician of the day – David Hilbert, was invited to present a ...
[38]
[PDF] Class Field Theory
Class field theory describes the abelian extensions of a local or global field in terms of the arithmetic of the field itself. These notes contain an ...
[39]
[PDF] Lectures on the Langlands Program and Conformal Field Theory
Based on the lectures given by the author at the Les Houches School “Number. Theory and Physics” in March of 2003 and at the DARPA Workshop “Langlands Program ...
[40]
[PDF] The Millennium Prize Problems - Clay Mathematics Institute
The specific problems Hilbert raised, and there are more than 23 because several problems come in families, are of various kinds, and cannot all be.
[41]
[PDF] HILBERT'S 19th PROBLEM REVISITED - UCI Mathematics
Introduction and Acknowledgments. In this survey article we revisit Hilbert's 19th problem concerning the regularity of minimizers of variational integrals.Missing: optimization | Show results with:optimization
[42]
[PDF] Hilbert's 1990 ICM lecture. The 23 problems.
In August 1900 at the occasion of of the second International Congres of Mathematicians, in. Paris that year, David Hilbert, then all of 38 years young, gave ...<|control11|><|separator|>
[43]
[PDF] PROCEEDINGS OF THE INTERNATIONAL CONGRESS OF ...
work for which we are today honoring Pierre Deligne with the Fields Medal. Deligne's work centers around the remarkable relations, first envisioned by Weil,.
[44]
A Revolution in Mathematics? What Really Happened a Century ...
Hilbert's famous 1900 problems were powerful technical challenges that did a lot to drive devel- opment of infinite-precision methods. However, the few that ...Missing: 20th | Show results with:20th
[45]
[PDF] arXiv:2004.09765v1 [math.NT] 21 Apr 2020 The Riemann ...
Apr 21, 2020 · The Riemann hypothesis asserts that all non-trivial zeroes ρ = β + iγ have β = 1/2. In the absence of a proof, it is extremely important to ...Missing: post- | Show results with:post-
[46]
Mathematical problems for the next century
On a theory of computation and complexity over the real numbers: NP-completness, recursive functions and universal machines.
[47]
Empirical Investigation of the Riemann Hypothesis Using Machine ...
The Riemann Hypothesis (RH) asserts that all non-trivial zeros of the Riemann zeta function lie on the critical line Re(s) = 0.5, yet no general proof ...