Back openDesk Edu for a sovereign, open-source education â every vote counts.
Vote nowSave products you love by clicking the heart icon.
Am Morgen des 8. August 1900 trat der deutsche Mathematiker David Hilbert vor den Internationalen Mathematiker-Kongress an der Sorbonne in Paris und hielt einen Vortrag, der zum einflussreichsten in der Geschichte der Mathematik werden sollte. Anstatt vergangene Errungenschaften zu feiern, blickte er entschlossen nach vorne:
âWer von uns wĂŒrde es nicht begrĂŒĂen, den Schleier zu lĂŒften, hinter dem die Zukunft verborgen liegt; einen Blick auf die nĂ€chsten Fortschritte unserer Wissenschaft und auf die Geheimnisse ihrer Entwicklung in den kommenden Jahrhunderten zu werfen?â
Mit diesen Worten enthĂŒllte Hilbert eine Liste von 23 ungelösten Problemen, die als Roadmap fĂŒr die Mathematik des kommenden Jahrhunderts gedacht waren. Das Wagnis gelang ĂŒber alle MaĂen: Hilberts Probleme wurden zu einem Leitstern fĂŒr Generationen von Mathematikern, und ihre (teilweisen oder vollstĂ€ndigen) Lösungen prĂ€gten nahezu jeden Zweig der modernen Mathematik.

David Hilbert (1862â1943) war bis zum Jahr 1900 bereits einer der angesehensten Mathematiker der Welt. Seine Arbeiten zur Invariantentheorie, zur algebraischen Zahlentheorie (der Zahlbericht) und zu den Grundlagen der Geometrie hatten seinen Ruf gefestigt. Doch Hilbert war auch ein VisionĂ€r, der erkannte, dass die Mathematik an einem Scheideweg stand.
Das 19. Jahrhundert war ein goldenes Zeitalter gewesen: Gauss, Riemann, Dedekind, Cantor und PoincarĂ© hatten die mathematische Landschaft transformiert. Dennoch blieben viele grundlegende Fragen ungeklĂ€rt. Die Paradoxien der Mengenlehre hatten das Vertrauen in die eigentlichen Fundamente der Mathematik erschĂŒttert. Hilbert glaubte, dass der richtige Satz von Problemen die Disziplin fokussieren und vorantreiben könnte.
Er erstellte die Liste in enger Absprache mit seinen Freunden Hermann Minkowski und Adolf Hurwitz, die VorschlĂ€ge und kritisches Feedback lieferten. UrsprĂŒnglich beabsichtigte Hilbert, alle 23 Probleme in seinem Vortrag zu prĂ€sentieren, doch ZeitbeschrĂ€nkungen zwangen ihn dazu, nur zehn davon vorzustellen (Nummern 1, 2, 6, 7, 8, 13, 16, 19, 21 und 22). Die vollstĂ€ndige Liste wurde spĂ€ter in diesem Jahr veröffentlicht.
Ein bemerkenswerter Aspekt von Hilberts Problemen ist ihre auĂergewöhnliche Spannweite. Sie umfassen mathematische Logik, Mengenlehre, Zahlentheorie, Algebra, Geometrie, Topologie, Differentialgleichungen, Variationsrechnung und sogar die Axiomatisierung der Physik. Kein einzelner Problemsatz seitdem hat diese Breite erreicht.
Die Probleme sind unten zusammengefasst und nach ihrem Stand zum Zeitpunkt der Niederschrift (2026) gruppiert:
Hinweis: Diese Klassifizierung spiegelt den zeitgenössischen mathematischen Konsens wider. Einige Probleme, wie #8 (die Riemannsche Vermutung) und #12 (Erweiterungen des Kronecker-Theorems), sind heute noch genauso offen wie im Jahr 1900, wĂ€hrend andere mit ĂŒberraschender Geschwindigkeit gelöst wurden.
Die folgende Tabelle zeigt die vollstÀndige Liste. Die Spalte Status spiegelt den aktuellen Kenntnisstand zur Lösung jedes Problems (Stand 2026) wider.
| # | Problem | Gebiet | Status | Hauptbeitragende |
|---|---|---|---|---|
| 1 | Cantors Kontinuumshypothese: Gibt es eine Menge, deren MÀchtigkeit strikt zwischen den ganzen und den reellen Zahlen liegt? | Mengenlehre / Logik | Umstritten | Gödel (1940), Cohen (1963) |
| 2 | Konsistenz der Arithmetik: Beweis, dass die Axiome der Arithmetik widerspruchsfrei sind | Logik | Umstritten | Gödel (1931), Gentzen (1936) |
| 3 | Scherenkongruenz von Polyedern: Können zwei Polyeder gleichen Volumens immer in kongruente StĂŒcke zerlegt werden? | Geometrie | Gelöst | Dehn (1900) |
| 4 | Geometrie der GeodĂ€ten: Konstruktion aller metrischen RĂ€ume, in denen Geraden die kĂŒrzesten Wege sind | Geometrie | Vage | Hamel, Busemann |
| 5 | Stetige Transformationsgruppen: Sind stetige Gruppen automatisch differenzierbar (Lie-Gruppen)? | Topologie / Algebra | Teilweise | Von Neumann (1933), Gleason (1953) |
| 6 | Axiomatisierung der Physik: Behandlung der Physik mittels der axiomatischen Methode | Physik / Grundlagen | Teilweise | Kolmogorov (1933), aktuell (2025) |
| 7 | Transzendenz von : Ist transzendent fĂŒr algebraische und irrational-algebraische ? |
Hilberts drittes Problem fragte, ob zwei Polyeder gleichen Volumens immer scherenkongruent sind â das heiĂt, ob man eines in endlich viele StĂŒcke schneiden und diese so zusammensetzen kann, dass das andere entsteht. In der Ebene ist die analoge Aussage wahr (Satz von BolyaiâGerwien), daher war es natĂŒrlich, dies fĂŒr die dritte Dimension zu hinterfragen.
Max Dehn, ein SchĂŒler Hilberts, löste das Problem noch im selben Jahr (1900) â womit es das erste gelöste Hilbert-Problem wurde. Er fĂŒhrte ein, was heute als Dehn-Invariante bezeichnet wird, eine reelle Zahl, die jedem Polyeder zugeordnet wird. Wenn zwei Polyeder scherenkongruent sind, mĂŒssen ihre Dehn-Invarianten gleich sein. Dehn zeigte, dass ein regulĂ€res Tetraeder und ein WĂŒrfel gleichen Volumens unterschiedliche Dehn-Invarianten haben und daher nicht ineinander zerlegt und zusammengesetzt werden können.
Hilbert fragte: Wenn algebraisch ist () und algebraisch und irrational ist, ist dann notwendigerweise transzendent? Dies generalisiert die alte Frage, ob transzendent ist.
Im Jahr 1934 bewiesen der sowjetische Mathematiker Alexander Gelfond und unabhÀngig davon Theodor Schneider, dass die Antwort ja lautet. Der Satz trÀgt heute beide Namen:
GelfondâSchneider-Satz: Wenn und algebraische Zahlen mit und irrational sind, dann ist transzendent.
Dieses Ergebnis impliziert bekanntlich, dass und (durch Setzen von unter Beachtung von ) transzendent sind.
Hilberts zehntes Problem fragte nach einem Algorithmus, um zu entscheiden, ob eine beliebige diophantische Gleichung (eine polynomielle Gleichung mit ganzzahligen Koeffizienten) eine ganzzahlige Lösung besitzt. Dies war eine fundamental optimistische Frage: Hilbert glaubte, dass jedes mathematische Problem lösbar sei.
Die Auflösung, die 1970 von Yuri Matiyasevich (aufbauend auf den Grundlegungsarbeiten von Martin Davis, Hilary Putnam und Julia Robinson) abgeschlossen wurde, lieferte eine verblĂŒffende negative Antwort: ein solcher Algorithmus existiert nicht. Matiyasevits Theorem, auch bekannt als das MatiyasevichâRobinsonâDavisâPutnam-Theorem, beweist, dass die Menge der lösbaren diophantischen Gleichungen rekursiv aufzĂ€hlbar, aber nicht rekursiv ist â es gibt kein allgemeines Verfahren, das die Lösbarkeit in endlich vielen Schritten bestimmen kann.
Dieses Ergebnis widerlegte effektiv Hilberts philosophische Position, dass die Mathematik kein ignorabimus (Dinge, die wir niemals wissen können) kenne. Es war zudem ein Meilenstein in der Theorie der Berechenbarkeit, da es die Zahlentheorie mit dem Halteproblem verknĂŒpfte.
Hilberts zweites Problem fragte nach einem Beweis fĂŒr die Konsistenz der Axiome der Arithmetik â ein Eckpfeiler dessen, was als Hilberts Programm bekannt wurde. Die Idee war, die gesamte Mathematik auf ein festes, finitistisches axiomatisches Fundament zu stellen und damit die Paradoxien zu verbannen, die die Mengenlehre geplagt hatten.
Im Jahr 1931 versetzte Kurt Gödel einen vernichtenden Schlag. Sein zweiter UnvollstĂ€ndigkeitssatz bewies, dass jedes konsistente formale System, das stark genug ist, um die Arithmetik auszudrĂŒcken, seine eigene Konsistenz nicht beweisen kann. Hilberts Programm war in seiner ursprĂŒnglichen Form unmöglich â es sei denn, man war bereit, Methoden zu akzeptieren (wie die transfinite Induktion bis , wie Gerhard Gentzen 1936 zeigte), die ĂŒber den von Hilbert envisionierten finitistischen Rahmen hinausgingen.
Hilbert lebte nach Gödels Publikation noch 12 Jahre, schrieb jedoch nie eine formale Antwort auf die UnvollstÀndigkeitssÀtze. Sein Motto blieb trotzig:
"Wir mĂŒssen wissen â wir werden wissen."
Dieses berĂŒhmte Statement aus dem Jahr 1930 â nur ein Jahr vor Gödels Arbeit â wurde auf Hilberts Grabstein in Göttingen eingraviert.
Im Jahr 2000 entdeckte der deutsche Historiker RĂŒdiger Thiele ein zusĂ€tzliches Problem in Hilberts ursprĂŒnglichen Manuskriptnotizen: ein 24. Problem ĂŒber Kriterien fĂŒr die Einfachheit von Beweisen und die Entwicklung einer allgemeinen Beweistheorie. Hilbert hatte entschieden, es aus der endgĂŒltigen Liste zu streichen, aber seine Existenz zeigt, dass er bereits ĂŒber das Konzept der mathematischen Eleganz und die Struktur von Beweisen selbst nachdachte.
Im Jahr 2000, genau ein Jahrhundert nach Hilberts Vortrag, kĂŒndigte das Clay Mathematics Institute eine neue Reihe von sieben Millennium-Preis-Problemen an, von denen jedes mit einem Preisgeld von 1 Million US-Dollar fĂŒr seine Lösung dotiert ist. Mehrere der Millennium-Probleme ĂŒberschneiden sich direkt mit denen von Hilbert:
| Millennium-Problem | Relation zu Hilbert |
|---|---|
| Riemannsche Hypothese | Hilberts Problem 8 |
| PoincarĂ©-Vermutung | Gelöst durch Perelman (2003) â nicht bei Hilbert |
| P vs NP | Nicht bei Hilbert (komplexitÀtstheoretisch) |
| Existenz von NavierâStokes | Entfernter Bezug zu Problem 6 |
| Existenz von YangâMills | Bezug zu Problem 6 |
| Hodge-Vermutung | Nicht direkt bei Hilbert |
| BirchâSwinnerton-Dyer-Vermutung | Entfernter Bezug zu Problem 10 |
Bis heute wurde unter den Millennium-Problemen nur die PoincarĂ©-Vermutung (bewiesen durch Grigori Perelman im Jahr 2003) gelöst. Die Riemannsche Hypothese, Hilberts achtes Problem, bleibt fĂŒr beide Listen offen.
Mehr als 125 Jahre nach Hilberts Vortrag prĂ€gen seine Probleme die Mathematik weiterhin. Einige wurden gelöst und sind zum Standardmaterial in LehrbĂŒchern geworden; andere bleiben so rĂ€tselhaft wie eh und je; und einige wenige wurden durch genau jene Entwicklungen, die sie inspirierten, obsolet oder als falsch gestellt entlarvt.
Was Hilberts Liste so einzigartig kraftvoll machte, waren nicht die einzelnen Probleme selbst â viele davon wurden bereits aktiv untersucht â, sondern die Tatsache, dass sie gemeinsam als eine kohĂ€rente Vision fĂŒr die Zukunft der Mathematik prĂ€sentiert wurden. Hilbert sagte seinen Kollegen: Hier ist es, wo wir hingehen. Und bemerkenswerterweise folgte die mathematische Gemeinschaft.
Wie Hilbert es selbst in seinem Vortrag von 1900 ausdrĂŒckte:
"Die mathematischen Probleme sind in vielerlei Hinsicht gelöst worden, wie wir wissen. Ein mathematisches Problem, wie wir es uns vorstellen, ist eine Frage, auf die die Antwort entweder ein Beweis oder ein Nachweis ist, dass das betreffende Problem nicht lösbar ist. Diese Ăberzeugung von der Lösbarkeit jedes mathematischen Problems ist ein starker Ansporn fĂŒr den Arbeiter. Wir hören in uns den ewigen Ruf: Da ist das Problem. Suche seine Lösung. Du kannst sie durch reine Vernunft finden, denn in der Mathematik gibt es kein ignorabimus."
| Zahlentheorie |
| Gelöst |
| Gelfond (1934), Schneider (1934) |
| 8 | Primzahlprobleme: Riemannsche Vermutung, Goldbachsche Vermutung, Primzahlzwilling-Vermutung | Zahlentheorie | Offen | â |
| 9 | Allgemeines ReziprozitÀtsgesetz: Finden des allgemeinsten ReziprozitÀtssatzes in jedem algebraischen Zahlkörper | Zahlentheorie | Offen | Artin (1927, abelscher Fall) |
| 10 | Diophantische Gleichungen: Finden eines Algorithmus zur Bestimmung, ob jede polynomielle Diophantische Gleichung ganzzahlige Lösungen hat | Zahlentheorie / Logik | Gelöst (unmöglich) | Matiyasevich (1970) |
| 11 | Quadratische Formen: Klassifikation quadratischer Formen mit algebraischen Koeffizienten ĂŒber jedem Zahlkörper | Zahlentheorie | Gelöst | Hasse (1924), Witt |
| 12 | Erweiterungen des Kronecker-Theorems: Erweiterung des Kronecker-Weber-Theorems auf abelsche Erweiterungen jedes Zahlkörpers | Zahlentheorie | Offen | Shimura, Dasgupta |
| 13 | Unlösbarkeit von Gleichungen 7. Grades: Allgemeine Septik-Gleichungen können nicht mit Funktionen von zwei Variablen gelöst werden | Algebra | Teilweise | Kolmogorov (1957), Arnold |
| 14 | Endlichkeit vollstĂ€ndiger Funktionssysteme: Beweis der Endlichkeit fĂŒr bestimmte Ringe algebraischer Invarianten | Algebra | Gelöst | Nagata (1959) |
| 15 | Schuberts enumerative Analysis: Rigorose Grundlage der Schnitttheorie | Algebraische Geometrie | Teilweise | Verschiedene |
| 16 | Topologie algebraischer Kurven und FlĂ€chen: Untersuchung der Topologie reeller algebraischer Kurven und FlĂ€chen | Topologie / Algebra | Offen | â |
| 17 | Definite Formen als Summen von Quadraten: Kann jede definite rationale Funktion als Summe von Quadraten rationaler Funktionen ausgedrĂŒckt werden? | Algebra | Gelöst | Artin (1927) |
| 18 | Raum aus kongruenten Polyedern: Klassifikation der Möglichkeiten, den Raum mit kongruenten Polyedern zu kacheln | Geometrie | Gelöst | Bieberbach (1910) |
| 19 | AnalytizitÀt von Variationslösungen: Sind Lösungen regulÀrer Variationsprobleme immer analytisch? | Analysis | Gelöst | Bernstein (1904) |
| 20 | Allgemeine Randwertprobleme: Existenz von Lösungen fĂŒr Randwertprobleme mit allgemeinen Randbedingungen | Analysis | Offen | â |
| 21 | Lineare Differentialgleichungen mit vorgegebener Monodromiegruppe: Existenz von Fuchsschen Systemen mit einer gegebenen Monodromiegruppe | Analysis | Gelöst | Röhrl (1957), Plemelj |
| 22 | Uniformisierung analytischer Relationen: Uniformisierung algebraischer Kurven mittels automorpher Funktionen | Analysis | Offen | Poincaré, Koebe (teilweise) |
| 23 | Weitere Entwicklung der Variationsrechnung: Ein programmatischer Aufruf | Analysis | Programmatisch | â |