Quelltext der Seite Hilbertsche Probleme

Die '''Hilbertschen Probleme''' sind eine Liste von 23 Problemen der [[Mathematik]]. Sie wurden von dem deutschen Mathematiker [[David Hilbert]] am 8. August 1900 beim [[Internationaler Mathematikerkongress|Internationalen Mathematiker-Kongress]] in Paris vorgestellt und waren zu diesem Zeitpunkt ungelöst.<ref name="uni-bielefeld_de">[[Ina Kersten]]: {{Webarchiv |url=http://www.math.uni-bielefeld.de/~kersten/hilbert/ |text=''Hilberts Mathematische Probleme.'' |wayback=20090717220650}}. Universität Bielefeld, 2000.</ref><ref name="Hilbert1">David Hilbert: ''Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Kongreß zu Paris 1900''. In: ''Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse aus dem Jahre 1900.'' Heft 3, Commissionsverlag der Dieterich’schen Universitätsbuchhandlung Lüder Horstmann, Göttingen 1900, S.&nbsp;253–297. ([https://gdz.sub.uni-goettingen.de/id/PPN252457811_1900 Digitalisat im Göttinger Digitalisierungszentrum], abgerufen am 12.&nbsp;Januar 2025).</ref>
[[Datei:David Hilbert, c. 1900.png|mini|David Hilbert (etwa 1900)]]

== Geschichte ==
=== Vorgeschichte und Hintergrund ===
==== Hilberts Vorbereitung auf den Mathematikerkongress 1900 ====
Hilbert war eingeladen worden, für den zweiten internationalen Mathematikerkongress im August 1900 in [[Paris]] einen Vortrag zu halten.
Er entschloss sich, keinen „Festvortrag“ zu halten, in dem er das bisher in der Mathematik Erreichte referieren und würdigen würde, und auch nicht auf den Vortrag von [[Henri Poincaré]] beim ersten internationalen Mathematikerkongress 1897 zu antworten, der über die Beziehung von Mathematik und Physik vorgetragen hatte. Sein Vortrag sollte stattdessen gewissermaßen einen programmatischen Ausblick auf die zukünftige Mathematik im [[20. Jahrhundert|kommenden Jahrhundert]] bieten. Diese Zielsetzung kommt in seinen einführenden Worten zum Ausdruck:

{{Zitat
 |Text=Wer von uns würde nicht gerne den Schleier lüften, unter dem die Zukunft verborgen liegt, um einen Blick zu werfen auf die bevorstehenden Fortschritte unsrer Wissenschaft und in die Geheimnisse ihrer Entwicklung während der künftigen Jahrhunderte! Welche besonderen Ziele werden es sein, denen die führenden mathematischen Geister der kommenden Geschlechter nachstreben? Welche neuen Methoden und neuen Thatsachen werden die neuen Jahrhunderte entdecken&nbsp;– auf dem weiten und reichen Felde mathematischen Denkens?
 |ref=<ref name="Hilbert1" />}}

Er nahm den Kongress daher zum Anlass, eine thematisch breit gefächerte Liste von ungelösten mathematischen Problemen zusammenzustellen. Bereits im Dezember 1899 begann er, sich über das Thema Gedanken zu machen. Zu Beginn des neuen Jahres bat er dann seinen engen Freund [[Hermann Minkowski]] sowie [[Adolf Hurwitz]] um Vorschläge, welche Gebiete ein entsprechender Vortrag abdecken müsse; beide lasen das Manuskript und kommentierten es vor dem Vortrag. Endgültig niedergeschrieben hat Hilbert seine Liste allerdings erst unmittelbar vor dem Kongress&nbsp;– im offiziellen Kongressprogramm taucht sie deshalb noch gar nicht auf. Ursprünglich sollte der Vortrag zur Eröffnung gehalten werden, Hilbert arbeitete zu diesem Zeitpunkt aber noch daran.<ref>[[Constance Reid]]: ''Hilbert-Courant'', Springer, 1986, S. 73.</ref>

==== Mathematikerkongress ====
Zum Kongress waren weniger Mathematiker gekommen als erwartet (rund 250 statt wie erwartet 1000). Hurwitz und Felix Klein waren nicht anwesend, dafür Minkowski. Hilbert war Präsident der Sektion Algebra und Zahlentheorie, die vom 7. August (dem zweiten Tag der Konferenz) bis zum 10. August tagte. Der Vortrag von Hilbert fand im Rahmen der Sektionen 5 und 6 (Bibliographie, Geschichte, Unterricht und Methoden, Präsidentschaft [[Moritz Cantor]]) am Mittwoch, den 8. August vormittags an der [[Sorbonne]] statt.

Aus Zeitgründen stellte er zunächst nur zehn Probleme vor (Nr. 1, 2, 6, 7, 8, 13, 16, 19, 21, 22). Die Anwesenden erhielten eine französische Zusammenfassung der Liste, die wenig später in der schweizerischen Zeitschrift ''[[L’Enseignement Mathématique]]'' erschien.<ref>Hilbert: ''Problèmes mathématiques''. In: ''L’enseignement mathématique''. Band 2, 1900, S.&nbsp;349–354 ([https://www.e-periodica.ch/digbib/view?pid=ens-001:1900:2#536 online]).</ref> Der vollständige deutsche Originalartikel erschien kurze Zeit später in den ''Nachrichten der Königlichen Gesellschaft der Wissenschaften zu Göttingen''<ref name="Hilbert1" /> und im Jahr 1901 mit einigen Ergänzungen im ''[[Archiv der Mathematik und Physik]]''.<ref>Im Archiv und auch in der französischen Fassung im 1902 erschienenen Kongressbericht erwähnt er zum Beispiel bei Problem 14 die Fortschritte, die [[Adolf Hurwitz]] 1897 in der Invariantentheorie erzielte (allgemeiner Beweis der Endlichkeit der Invarianten bei der orthogonalen Gruppe).</ref>

Im Jahr 2000 entdeckte der deutsche Historiker [[Rüdiger Thiele (Mathematiker)|Rüdiger Thiele]] in den Original-Notizen Hilberts ein [[Hilberts 24. Problem|24. Problem]],<ref>Rüdiger Thiele: {{Internetquelle |url=http://www.maa.org/news/Thiele.pdf |titel=Hilbert’s Twenty-Fourth Problem |werk=maa.org |format=PDF |offline=1 |archiv-url=https://wayback.archive-it.org/all/20090304064816/http://www.maa.org/news/Thiele.pdf |archiv-datum=2009-03-04 |abruf=2025-01-12}} (PDF; 197&nbsp;kB). In: ''American Mathematical Monthly.'' Bd.&nbsp;110, Nr.&nbsp;1, Januar 2003, {{ISSN|0002-9890}}, S.&nbsp;1–24.</ref> das jedoch in der endgültigen Version der Liste fehlte und dem Gebiet der [[Beweistheorie]] zugeschrieben werden kann.

=== Probleme der Arbeit ===
==== Formulierung der Problemstellung ====
Die Mathematik zur Jahrhundertwende war noch wenig gefestigt. Die Tendenz, Worte durch Symbole und vage Konzepte durch [[Mathematische Strenge|strenge Axiomatik]] zu ersetzen, war noch nicht sehr ausgeprägt und sollte erst der folgenden Mathematikergeneration erlauben, ihr Fach stärker zu formalisieren. Hilbert konnte noch nicht auf die [[Zermelo-Fraenkel-Mengenlehre]], Begriffe wie den [[Topologischer Raum|topologischen Raum]] und das [[Lebesgue-Integral]] oder die [[Church-Turing-These]] zurückgreifen. Die [[Funktionalanalysis]], die unter anderem von Hilbert selbst mit der Einführung des nach ihm benannten [[Hilbert-Raum]]es begründet wurde, hatte sich als mathematisches Gebiet noch nicht von der [[Variationsrechnung]] abgetrennt.

Viele der Probleme in Hilberts Liste sind – zum Teil auch aus diesem Grund – nicht so genau und eingeschränkt formuliert, dass sie eindeutig durch die Veröffentlichung eines [[Beweis (Mathematik)|Beweises]] gelöst werden könnten. Manche Probleme sind weniger konkrete Fragestellungen als eher Aufforderungen, auf bestimmten Gebieten zu forschen; bei anderen Problemen sind die Fragen zu vage gestellt, um genau sagen zu können, was Hilbert als Lösung angesehen hätte.

Ein Irrtum Hilberts allerdings, der jedoch die Formulierung der Probleme nicht beeinträchtigt, ist in der Einleitung des Artikels zu finden. Dort bringt er seine Überzeugung zum Ausdruck, dass jedes Problem grundsätzlich lösbar sein muss:

{{Zitat
 |Text=Diese Überzeugung von der Löslichkeit eines jeden mathematischen Problems ist uns ein kräftiger Ansporn während der Arbeit; wir hören in uns den steten Zuruf: Da ist das Problem, suche die Lösung. Du kannst sie durch reines Denken finden; denn in der Mathematik gibt es kein [[Ignoramus et ignorabimus|Ignorabimus]]!}}

==== Lösbarkeit der Probleme ====
Der grundlegende erkenntnistheoretische Optimismus Hilberts musste etwas relativiert werden. Spätestens 1931 mit der Entdeckung des [[Gödelscher Unvollständigkeitssatz|Gödelschen Unvollständigkeitssatzes]] und Turings Beweis von 1936, dass das [[Entscheidbar|Entscheidungsproblem]] nicht lösbar ist, kann dieser Denkansatz Hilberts in der ursprünglichen Formulierung als zu eng gefasst betrachtet werden. Das entwertet die Liste jedoch nicht, denn auch negative Lösungen, wie zum Beispiel des zehnten Problems, führen mitunter zu großem Erkenntnisgewinn.

==== Auswahl der Probleme ====
Die Auswahl der Probleme ist eine teilweise sehr persönliche Auswahl von Hilbert und erwuchs aus seiner eigenen Arbeit, wobei er sich aber wie erwähnt mit seinem engen Freund Minkowski und Hurwitz (der für die Vielseitigkeit seiner mathematischen Arbeit und seinen enzyklopädischen Überblick bekannt war) beriet. [[Ivor Grattan-Guinness]]<ref>Grattan-Guinness, Notices AMS, August 2000, loc. cit.</ref> nennt einige auffällige Lücken.

Zum einen die [[Großer Fermatscher Satz|große Fermat-Vermutung]] und das [[Dreikörperproblem]] (worüber Poincaré viel arbeitete), die er zwar in der Einleitung als Paradebeispiele mathematischer Probleme erwähnt, aber nicht in seine Liste aufnimmt. Angewandte Mathematik ist wenig vertreten (man könnte höchstens Problem 6 dort einordnen), ebenso wenig numerische Mathematik (nur kurz in Problem 13 erwähnt, dessen Kern aber anderswo liegt) und das später [[Funktionalanalysis]] genannte Teilgebiet der Analysis, auf dem Hilbert selbst 1903 bis 1910 intensiv arbeitete. Die [[Elektrodynamik]] bewegter Körper (Vorgeschichte der Relativitätstheorie) fehlte ebenfalls und war damals ein sehr aktives Forschungsgebiet, auf dem auch Poincaré arbeitete und über das [[Joseph Larmor]], der auch bei einer Sektion auf dem Kongress präsidierte, im selben Jahr ein bedeutendes Buch veröffentlichte ''(Aether and Matter)''.

Auslassung von mathematischer Logik, Statistik und Matrix-Theorie ([[Lineare Algebra]]) findet Grattan-Guinness dagegen verständlich, da sie damals noch nicht wie heute eine so prominente Stellung erhielten. Im Gegensatz dazu legte Poincaré in seinem Vortrag auf dem Internationalen Mathematikerkongress von 1908 über die Zukunft der Mathematik, gewissermaßen eine Antwort auf Hilbert, viel Wert auf Anwendungen, stellte die künftige Entwicklung der Topologie („Geometrie der Lage“) als zentrales Anliegen der Mathematik heraus (bei Hilbert taucht sie in Problem 5 und 16 auf) und betonte auch die Bedeutung der Mengenlehre („Cantorismus“), bei Hilbert gleich in Problem 1 vertreten. Seine Darstellung war aber insgesamt viel vager und skizzenhafter als bei Hilbert.

=== Einfluss der Liste ===
==== Reaktionen der Kongressbesucher ====
Die unmittelbare Reaktion auf dem Kongress war nach der Schilderung von [[Charlotte Angas Scott]] enttäuschend, möglicherweise dem trockenen Vortragsstil von Hilbert geschuldet oder Sprachproblemen (Hilbert trug auf Deutsch vor, hatte aber zuvor eine Zusammenfassung auf Französisch verteilen lassen).<ref>Charlotte Angas Scott: [https://www.ams.org/journals/bull/1900-07-02/S0002-9904-1900-00768-3/S0002-9904-1900-00768-3.pdf#page=12 ''The International Congress of Mathematicians in Paris''.] Bulletin AMS, Band 7, 1900, S.&nbsp;57–79. Sie nannte (S.&nbsp;68) die anschließende Diskussion ''desultory'' („halbherzig“).</ref> Es meldete sich [[Giuseppe Peano]] zu Wort, um zu bemerken, dass seine Schule ([[Cesare Burali-Forti]], [[Mario Pieri]], [[Alessandro Padoa]]) das Problem der Grundlegung der Arithmetik im Wesentlichen gelöst hätte<ref>Er verwies auf Band 7, Nr. 1 der von ihm herausgegebenen Rivista di Matematica.</ref> und sein Schüler Alessandro Padoa darüber auf dem gleichen Kongress einen Vortrag halten würde.<ref>Padoa: ''Un nouveau système irreductible de postulats pour l’algèbre''. ICM 1900. Padoa ging außerdem in ''Le problème no.&nbsp;2 de M. David Hilbert'' (in: ''L’enseignement mathématique''. Band 5, 1903, S.&nbsp;85–91) direkt auf Hilberts Vortrag und sein zweites Problem ein.</ref>

Der beim Vortrag ebenfalls anwesende [[Rudolf Mehmke]] machte eine Bemerkung über Fortschritte durch numerische (nomographische) Methoden im Problem 13, speziell bei der Gleichung 7. Grades.<ref>Hilbert ergänzte daraufhin die gedruckte Version im Archiv für Mathematik und Physik um ein Literaturzitat von [[Maurice d’Ocagne]]. Nach Grattan-Guinness: ''A sideways look at Hilbert’s twenty-three problems of 1900''. Notices AMS, August 2000.</ref> Von Poincaré ist keine Reaktion bekannt, wahrscheinlich war er auch nicht beim Vortrag Hilberts anwesend.<ref>Hilbert bemerkte in einem Brief an [[Adolf Hurwitz]] vom 25. August, dass die Konferenz ''nicht sehr stark war'' ''weder in quantitativer noch in qualitativer Hinsicht'' und Poincaré nur seinen Pflichten gehorchend den Kongress besuchte und beim Schlussbankett, bei dem er präsidieren sollte, fehlte. Zitiert bei Grattan-Guinness, Notices AMS, August 2000, S.&nbsp;757.</ref> Nach Ivor Grattan-Guinness war er damals mehr an angewandten Fragen interessiert und außerdem dem axiomatischen Zugang weniger zugetan. Auf demselben Kongress trug er in einem der beiden Schlussvorträge am 11. August über die Rolle von Intuition und Logik in der Mathematik vor und betonte die Rolle der Intuition. Später griff er aber das Problem der Uniformisierung (Hilberts Problem 22) auf und in seinem Vortrag über die Zukunft der Mathematik auf dem Internationalen Mathematikerkongress 1908 in Rom reihte er auch das Problem der Grenzzyklen (Teil von Problem 16, bei dem Hilbert explizit auf Poincaré Bezug nahm) in seine eigene Problemliste ein. Dort lobt er auch Hilbert für seine Arbeiten zur axiomatischen Methode und beim Dirichlet-Problem. Bei Herausgabe des Konferenzbandes 1902 würdigte man ausdrücklich die Wichtigkeit des Hilbertschen Vortrags<ref>''Compte Rendu du deuxième congrès international des mathématiciens''. Paris, Gauthier-Villars, 1902, S.&nbsp;24.</ref> und druckte ihn deshalb außerhalb seiner Sektion am Anfang ab, unmittelbar gefolgt von dem Vortrag von Poincaré.

==== Einfluss auf die Entwicklung der Mathematik ====
Hilberts Liste war dazu gedacht, die weitere Entwicklung der Mathematik zu beeinflussen. Begünstigt durch den Umstand, dass Hilbert zu den renommiertesten Mathematikern seiner Generation gehörte, ging dieser Plan auf: Es versprach erheblichen Ruhm, eines der Probleme auch in Teilen zu lösen, sodass sich immer mehr Mathematiker mit den Themen aus Hilberts Vortrag beschäftigten und somit – selbst wenn sie scheiterten – die entsprechenden Teilgebiete weiterentwickelten. Die Vorstellung dieser Liste übte somit einen wesentlichen Einfluss auf die Entwicklung der Mathematik im 20. Jahrhundert aus. [[Yuri Manin]] sieht dagegen eine Liste spezieller Probleme wie die der Hilbert-Probleme als Ablenkung von den wahren zentralen Themen der Geschichte der Mathematik, die in der Verfolgung von Programmen wie dem der Mathematikergruppe [[Nicolas Bourbaki|Bourbaki]] oder dem [[Langlands-Programm]], und der Verfolgung zunächst nur ''metaphorisch'' erkennbarer Strukturen zwischen verschiedenen Gebieten der Mathematik oder der Mathematik und Physik, wie unterschiedliche Verbindungen vom Diskreten (Zahlentheorie) zum Kontinuierlichen (theoretische Physik) zu finden sind.<ref>Dyson, Birds and Frogs, Einstein-Lecture der AMS, Vancouver 2008, in Dyson, Birds and Frogs, Selected Papers, World Scientific 2015, S.&nbsp;48. Er bezieht sich auf ''Mathematics as Metaphor'' von Manin (2007).</ref>

Obwohl es mehrfach Versuche gab, diesen Erfolg zu wiederholen, hatte keine andere Sammlung von Problemen und Vermutungen einen vergleichbaren Einfluss auf die Entwicklung der Mathematik. Einflussreich, aber auf ein Teilgebiet der Zahlentheorie beschränkt, waren die [[Weil-Vermutungen]], benannt nach dem Mathematiker [[André Weil]], und explizit an das Vorbild der Liste von Hilbert schlossen sich ähnliche Listen von [[John von Neumann]] auf dem Internationalen Mathematikerkongress 1954 (mit geringem Einfluss, der Vortrag wurde nicht einmal publiziert)<ref>Nach [[Freeman Dyson]], Birds and Frogs, Einstein-Lecture der AMS, Vancouver 2008, in Dyson, Birds and Frogs, Selected Papers, World Scientific 2015, S.&nbsp;51, hatte sich von Neumann aus Zeitmangel mangelhaft vorbereitet und einen alten Vortrag aus den 1930er Jahren als Grundlage hervorgeholt, der sein damaliges Forschungsthema Operatoralgebren behandelte.</ref> und von [[Stephen Smale]] an ([[Smale-Probleme]]). Im Jahr 2000 lobte das [[Clay Mathematics Institute]] Preisgelder von jeweils einer Million US-Dollar für die Lösung von [[Millennium-Probleme|sieben wichtigen Problemen]] aus. Die Berühmtheit von Hilberts Artikel bleibt bisher jedoch einzigartig.

== Die Probleme ==
An den Beginn seiner Liste stellte Hilbert Fragen der [[Zermelo-Fraenkel-Mengenlehre|axiomatischen Mengenlehre]] und andere axiomatische Überlegungen. In seinen Augen war es besonders wichtig, dass sich die mathematische Gemeinschaft Klarheit über die Fundamente der Mathematik verschafft, um tiefer gehende Aussagen besser verstehen zu können. Das betraf nicht nur die axiomatischen Grundlagen der Geometrie, worüber Hilbert selbst kurz zuvor (1899) ein Buch veröffentlicht hatte, sondern auch die Physik. Es folgen einige Fragen der [[Zahlentheorie]], die durch [[Algebra|algebraische Themen]] und schließlich durch Probleme aus der [[Funktionentheorie]] und Variationsrechnung bzw. Analysis ergänzt werden.

Kurze Übersicht:
* {{Farbindex|FFFF66|[[#Hilberts erstes Problem|1. Problem]], Gebiet: mathematische Logik}}
* {{Farbindex|66FF66|[[#Hilberts zweites Problem|2. Problem]], Gebiet: mathematische Logik}}
* {{Farbindex|66FF66|[[#Hilberts drittes Problem|3. Problem]], Gebiet: Geometrie}}
* {{Farbindex|FFFF66|[[#Hilberts viertes Problem|4. Problem]], Gebiet: Geometrie}}
* {{Farbindex|66FF66|[[#Hilberts fünftes Problem|5. Problem]], Gebiet: algebraische Topologie}}
* {{Farbindex|FF6666|[[#Hilberts sechstes Problem|6. Problem]], Gebiet: Physik}}
* {{Farbindex|66FF66|[[#Hilberts siebtes Problem|7. Problem]], Gebiet: Algebra}}
* {{Farbindex|FF6666|[[#Hilberts achtes Problem|8. Problem]], Gebiet: analytische Zahlentheorie}}
* {{Farbindex|FFFF66|[[#Hilberts neuntes Problem|9. Problem]], Gebiet: algebraische Zahlentheorie}}
* {{Farbindex|66FF66|[[#Hilberts zehntes Problem|10. Problem]], Gebiet: algebraische Zahlentheorie}}
* {{Farbindex|66FF66|[[#Hilberts elftes Problem|11. Problem]], Gebiet: Zahlentheorie}}
* {{Farbindex|FF6666|[[#Hilberts zwölftes Problem|12. Problem]], Gebiet: algebraische Zahlentheorie}}
* {{Farbindex|FFFF66|[[#Hilberts dreizehntes Problem|13. Problem]], Gebiet: Zahlentheorie}}
* {{Farbindex|66FF66|[[#Hilberts vierzehntes Problem|14. Problem]], Gebiet: Algebra}}
* {{Farbindex|FFFF66|[[#Hilberts fünfzehntes Problem|15. Problem]], Gebiet: algebraische Geometrie}}
* {{Farbindex|FFFF66|[[#Hilberts sechzehntes Problem|16. Problem]], Gebiet: algebraische Kurven}}
* {{Farbindex|66FF66|[[#Hilberts siebzehntes Problem|17. Problem]], Gebiet: Algebra}}
* {{Farbindex|66FF66|[[#Hilberts achtzehntes Problem|18. Problem]], Gebiet: Geometrie}}
* {{Farbindex|66FF66|[[#Hilberts neunzehntes Problem|19. Problem]], Gebiet: Variationsrechnung}}
* {{Farbindex|66FF66|[[#Hilberts zwanzigstes Problem|20. Problem]], Gebiet: Differentialgleichungen}}
* {{Farbindex|66FF66|[[#Hilberts einundzwanzigstes Problem|21. Problem]], Gebiet: Differentialgleichungen}}
* {{Farbindex|FFFF66|[[#Hilberts zweiundzwanzigstes Problem|22. Problem]], Gebiet: Differentialgeometrie}}
* {{Farbindex|FFFF66|[[#Hilberts dreiundzwanzigstes Problem|23. Problem]], Gebiet: Variationsrechnung}}
Legende:
* {{Farbindex|66FF66|Probleme, die ''weitgehend gelöst'' sind.}}
* {{Farbindex|FFFF66|Probleme, die ''teilweise gelöst'' sind.}}
* {{Farbindex|FF6666|Probleme, die ''noch ungelöst'' sind.}}

=== Hilberts erstes Problem ===
<div class="rahmenfarbe1" style="background:#FFFF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Gibt es eine [[Überabzählbare Menge|überabzählbare]] Teilmenge der [[Reelle Zahl|reellen Zahlen]], die in ihrer [[Mächtigkeit (Mathematik)|Mächtigkeit]] echt kleiner ist als die reellen Zahlen?

'''Lösung:''' Unentscheidbar im klassischen Axiomensystem.
</div>

In der [[Mengenlehre]] gehen Mathematiker heute zumeist von ''[[Zermelo-Fraenkel-Mengenlehre|ZFC]]'', dem Zermelo-Fraenkelschen Axiomensystem mit [[Auswahlaxiom]] aus (letzteres wird manchmal auch weggelassen), das alle mathematischen Überlegungen formal fundiert. Man kann zeigen, dass auf dieser Grundlage viele Mengen dieselbe Mächtigkeit besitzen, so zum Beispiel die Menge der reellen Zahlen, die Menge der [[Komplexe Zahl|komplexen Zahlen]], das (reelle) Intervall <math>[0, 1]</math> oder die [[Potenzmenge]] der [[Natürliche Zahl|natürlichen Zahlen]]. Die ''Kontinuumshypothese'' besagt nun, dass alle unendlichen Mengen, die nicht mehr [[Abzählbarkeit|abzählbar]] sind, das heißt nicht in eine 1:1-Beziehung mit den [[Natürliche Zahl|natürlichen Zahlen]] gebracht werden können, mindestens die Mächtigkeit der reellen Zahlen besitzen.

[[Kurt Gödel]] konnte 1939 zeigen, dass die Kontinuumshypothese zu ZFC relativ widerspruchsfrei ist: Falls ZFC zu keinem Widerspruch führt, so bleibt diese Eigenschaft erhalten, wenn man das Axiomensystem um die Kontinuumshypothese ergänzt. [[Paul Cohen (Mathematiker)|Paul Cohen]]<ref>Paul Cohen: ''Set theory and the continuum hypothesis''. Benjamin 1963.</ref> konnte schließlich 1963 zeigen, dass auch die Negation der Kontinuumshypothese relativ widerspruchsfrei zu ZFC ist, sie also nicht aus ZFC gefolgert werden kann. Daraus folgt, dass die Kontinuumshypothese unabhängig vom klassischen Axiomensystem ist und bei Bedarf als neues Axiom eingesetzt werden kann. Für den Beweis entwickelte Cohen eine der wichtigsten Methoden der axiomatischen Mengenlehre, die [[Forcing]]-Methode, die auch bei der Untersuchung der Unabhängigkeit vieler anderer Sätze in ZFC benutzt wurde.

Eine verwandte Frage, die Hilbert in der Formulierung seines Problems hinzugefügt hat, ist, ob eine [[Wohlordnung]] der reellen Zahlen existiert. [[Ernst Zermelo]] konnte beweisen, dass dies auf Grundlage von ZFC tatsächlich der Fall ist. Ohne das Auswahlaxiom, also im System ZF, kann die Aussage nicht gezeigt werden.

* [[Donald A. Martin]]: ''Hilbert’s first problem: the continuum hypothesis''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 1, 1976, S. 81–92.

{{Hauptartikel|Kontinuumshypothese}}

=== Hilberts zweites Problem ===
<div class="rahmenfarbe1" style="background:#66FF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Sind die arithmetischen [[Axiom]]e [[Widerspruchsfreiheit|widerspruchsfrei]]?

'''Lösung:''' Nach dem [[Gödelscher Unvollständigkeitssatz|Unvollständigkeitssatz]] von Kurt Gödel kann diese Frage nicht mit Hilfe der arithmetischen Axiome beantwortet werden.
</div>

[[Giuseppe Peano]] hatte 1889 ein arithmetisches [[Peano-Axiome|Axiomensystem]] beschrieben, das die Fundierung der Mathematik festlegen sollte. Hilbert war der Überzeugung, dass es damit möglich sein müsste zu zeigen, dass nur von dieser Grundlage ausgehend in endlich vielen Schritten (mit ''finiten'' Methoden) kein Widerspruch erzeugt werden kann. Diese Hoffnung zerstörte jedoch [[Kurt Gödel]], als er 1930 mit seinem Unvollständigkeitssatz zeigte, dass dies nicht unter ausschließlicher Verwendung der [[Peano-Axiome]] möglich ist. Mit ''transfiniten'' Methoden, die nach Hilberts ursprünglichem Programm aber nicht zugelassen waren, gelang 1936 [[Gerhard Gentzen]] der Beweis der Widerspruchsfreiheit der Arithmetik.

* [[Georg Kreisel]]: ''What have we learnt of Hilbert’s second problem?'' In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 1, 1976, S. 93–130.

{{Hauptartikel|Hilbertprogramm}}

=== Hilberts drittes Problem ===
<div class="rahmenfarbe1" style="background:#66FF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Sind zwei beliebige [[Tetraeder]] mit gleichen Grundflächen und gleichen Höhen stets zerlegungsgleich oder lassen sie sich mit kongruenten [[Polyeder]]n zu zerlegungsgleichen Körpern ergänzen?

'''Lösung:''' Weder ersteres noch letzteres ist der Fall.
</div>

Zwei Körper heißen ''[[Zerlegungsgleichheit|zerlegungsgleich]]'', wenn der eine sich so in endlich viele Teile zerlegen lässt, dass sich die einzelnen Teile wieder zum zweiten Körper zusammenfügen lassen. In der zweidimensionalen Ebene gilt, dass Vielecke genau dann den gleichen [[Flächeninhalt]] besitzen, wenn sie zerlegungsgleich sind (siehe [[Satz von Bolyai-Gerwien]]). Es gibt dort eine elementare, auf Zerlegung in Dreiecke beruhende Theorie des Flächeninhalts einfacher, von geraden Seiten begrenzter Figuren (Vielecke), und man ist nicht auf nicht-elementare Methoden wie die [[Exhaustionsmethode]] angewiesen, die einen Grenzübergang erfordert und bei Flächen mit gekrümmten Rändern zur Anwendung kommt. Die Frage liegt also nahe, ob dieses Ergebnis auch im dreidimensionalen Raum gilt.

[[Max Dehn]], ein Schüler von Hilbert, konnte diese Frage bereits 1900, kurz nach der Veröffentlichung der 23 Probleme, mit „Nein“ beantworten.<ref>Dehn: ''Über den Rauminhalt''. Mathematische Annalen, Band 55, 1901, S.&nbsp;465–478. Vereinfacht von [[Weniamin Fjodorowitsch Kagan|W.&nbsp;F.&nbsp;Kagan]]: ''Über die Transformation der Polyeder''. Mathematische Annalen, Band 57, 1903, S.&nbsp;421–424 und später von [[Hugo Hadwiger]], der die Dehn-Invariante auf höhere Dimensionen ausdehnte, und [[Wladimir Grigorjewitsch Boltjanski]].</ref> Er ordnete dazu jedem Polyeder eine [[Dehn-Invariante]] genannte Zahl zu. Es gab damit zusätzlich zum Volumen eine weitere Polyedern zugeordnete Zahl, die bei der Zerlegung von Polyedern gleich (invariant) blieb. Sie hing von den Winkeln benachbarter Seiten im Polyeder und dessen Kantenlängen ab (und ist definiert als Summe der Tensorprodukte von Kantenlänge und Winkel der an eine Kante stoßenden Seiten über alle Kanten des Polyeders). Mit der Beobachtung, dass jeder Würfel die Dehn-Invariante <math>0</math> und jedes regelmäßige Tetraeder eine von <math>0</math> verschiedene Dehn-Invariante besitzt, folgt dann die Aussage. Das Problem ist das erste von Hilberts Liste, das gelöst wurde.

Während Dehn zeigte, dass für Zerlegungsgleichheit im dreidimensionalen euklidischen Raum die Gleichheit der Dehnzahlen notwendig ist (für das Volumen war das schon vorher klar), zeigte [[Jean-Pierre Sydler|J. P. Sydler]] 1965,<ref>Sydler, Comm. Math. Helv., Band 40, 1965, S. 43–80. Von Borge Jessen vereinfacht in Jessen: ''The algebra of polyhedra and Sydler’s theorem''. Math. Scand., Band 22, 1968, S.&nbsp;241–256.</ref> dass das auch [[hinreichend]] ist: Zwei Polyeder sind genau dann zerlegungsgleich, falls Volumen und Dehnzahl gleich sind. Für mehr als vier Dimensionen (für vier Dimensionen lässt sich ein ähnlicher Satz mit Hilfe von Hadwiger-Invarianten statt Dehn-Invarianten beweisen, von [[Hugo Hadwiger]] eingeführte Verallgemeinerungen von Dehn-Invarianten auf höheren Dimensionen) oder zum Beispiel den nichteuklidischen Raum ist kein vergleichbares Ergebnis bekannt. Wenn man die Bewegungen auf Translationen einschränkt, lässt sich allerdings Zerlegungsgleichheit von Polyedern mit Hilfe der Hadwiger-Invarianten in beliebigen Dimensionen charakterisieren.

* C. H. Sah: ''Hilbert’s third problem: scissors congruence''. Pitman, 1979.
* V. G. Boltianskii: ''Hilbert’s third problem''. Wiley, 1978.

=== Hilberts viertes Problem ===
<div class="rahmenfarbe1" style="background:#FFFF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Wie lassen sich die [[Metrischer Raum|Metriken]] charakterisieren, in denen alle [[Gerade]]n [[Geodäte]]n sind?

'''Lösung:''' Heute gibt es zahlreiche Publikationen, die sich mit der Charakterisierung derartiger Metriken beschäftigen. Hilberts Problem ist jedoch zu vage gestellt, als dass man eine klare Lösung erfahren könnte.

</div>

Über 2000 Jahre lang wurde [[Geometrie]] anhand der [[Euklidische Geometrie|fünf Axiome]] von Euklid gelehrt. Gegen Ende des 19. Jahrhunderts begann man zu untersuchen, was das Hinzufügen und Entfernen verschiedener Axiome für Konsequenzen hat. So untersuchte [[Nikolai Iwanowitsch Lobatschewski|Lobatschewski]] eine Geometrie, in der das [[Parallelenaxiom]] nicht gilt, und Hilbert betrachtete ein System, in dem das [[Archimedisches Axiom|Archimedische Axiom]] fehlte. Hilbert untersuchte schließlich ausführlich die axiomatischen Grundlagen der Geometrie in seinem gleichnamigen Buch. In seinen 23 Problemen forderte er schließlich zu einer „Aufstellung und systematischen Behandlung der […] Geometrien“ auf, die einem bestimmten Axiomensystem genügen, in dem insbesondere die kürzeste Verbindung zweier Punkte stets die Gerade zwischen den Punkten ist. Das Problem entspricht der Untersuchung von der üblichen euklidischen Geometrie möglichst nahestehenden Geometrien. In [[Hilberts Axiomensystem der euklidischen Geometrie]] werden die Inzidenz-, Anordnungs- und Stetigkeitsaxiome beibehalten, aber die Kongruenzaxiome abgeschwächt: das starke Kongruenzaxiom III-6 (Dreieckskongruenz) wird nicht mehr vorausgesetzt, wohl aber dass die Länge der Seiten in einem Dreieck kleiner oder gleich der Summe der Längen der beiden anderen ist (was äquivalent dazu ist, dass die Gerade die kürzeste Verbindung zweier Punkte ist). Bei Euklid war der Satz, dass die Gerade die kürzeste Verbindung zweier Punkte ist, mit dem Dreieckskongruenzsatz abgeleitet worden. Ein Beispiel einer solchen der euklidischen Geometrie nahestehenden Geometrie mit den neuen Postulaten fand Hilbert in der Geometrie der Zahlen von [[Hermann Minkowski]] und ein weiteres Beispiel gab Hilbert selbst.<ref>Hilbert: ''Über die gerade Linie als kürzeste Verbindung zweier Punkte''. Mathematische Annalen, Band 46, 1896, S.&nbsp;91–96 ([https://gdz.sub.uni-goettingen.de/dms/load/img/?PID=GDZPPN002255367 Digitalisat, SUB Göttingen]), wieder abgedruckt in Hilbert: ''Grundlagen der Geometrie''. Teubner, 2.&nbsp;Auflage 1903, S.&nbsp;83.</ref>

Bereits 1901 konnte [[Georg Hamel]], ein Schüler von Hilbert, in seiner Dissertation wichtige Aussagen über entsprechende Systeme machen, die er 1903 veröffentlichte.<ref>Hamel: ''Über die Geometrien, in welchen die Geraden die Kürzesten sind''. Mathematische Annalen, Band 57, 1903, S.&nbsp;231–264.</ref> Er konnte im Fall der Ebene eine ganze Reihe solcher Geometrien angeben und klassifizieren, von denen die erwähnte Hilbertsche und Minkowskische Geometrien typische Beispiele sind.<ref>I. M. Jaglom: ''Zum vierten Hilbertschen Problem''. In: Pavel S. Alexandrov (Hrsg.): ''Die Hilbertschen Probleme''. Harri Deutsch, 1998.</ref> Nach [[Isaak Moissejewitsch Jaglom]] löste Hamel damit in gewisser Weise das vierte Hilbertproblem, mit der Einschränkung, dass er analytische Methoden der Variationsrechnung benutzte, die in der geometrischen Grundlagenforschung weniger erwünscht sind, da sie zusätzliche Annahmen (Differenzierbarkeitsvoraussetzungen) treffen. In den kommenden Jahrzehnten wurden immer wieder Arbeiten publiziert, die weitere Ergebnisse zu Hilberts viertem Problem beisteuerten. Unter anderem befasste sich [[Herbert Busemann]] ausführlich mit den betreffenden Geometrien und schrieb darüber eine Monographie. Nach Busemann stellte Hilbert das Problem zu weit, wahrscheinlich weil ihm nicht klar war, wie viele solcher Geometrien es gab,<ref>Busemann, zitiert in Yandell: ''The Honors Class''. S. 138.</ref> und zusätzliche Einschränkungen (Axiome) sind vorauszusetzen. Die Methode von Busemann wurde von [[Alexei Wassiljewitsch Pogorelow]] ausgebaut, der 1979 eine Monographie über das vierte Problem veröffentlichte.

* Herbert Busemann: ''The Geometry of Geodesics''. Academic Press 1955, Dover 2005.
* Herbert Busemann: ''Problem IV: Desarguesian spaces''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 1, 1976, S. 131–141.
* A. V. Pogorelov: ''Hilbert’s fourth problem''. Winston & Wiley, 1979.

=== Hilberts fünftes Problem ===
<div class="rahmenfarbe1" style="background:#66FF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Ist eine lokal euklidische, [[topologische Gruppe]] eine [[Lie-Gruppe]], bei der also die Gruppenoperationen auch differenzierbar sind?

'''Lösung:''' Ja.
</div>

[[Sophus Lie]] und [[Felix Klein (Mathematiker)|Felix Klein]] bemühten sich am Ende des 19. Jahrhunderts, die Geometrie mit [[Gruppentheorie|gruppentheoretischen]] Mitteln zu axiomatisieren, gingen dabei jedoch von Voraussetzungen über die [[Differenzierbarkeit]] gewisser Funktionen aus. Hilbert fragte sich nun, in welcher Weise die Theorie auch ohne diese Voraussetzungen noch Bestand hat. Da sich das Gebiet der [[Algebraische Topologie|algebraischen Topologie]] erst im 20. Jahrhundert entwickelt hat, hat sich die Formulierung des Problems mit der Zeit gewandelt. Hilberts ursprüngliche Fassung bezog sich nur auf kontinuierliche Transformationsgruppen.

Eine detailliertere Formulierung des Problems ist die folgende: Betrachtet wird eine [[Gruppe (Mathematik)|Gruppe]] <math>G</math> mit [[Neutrales Element|neutralem Element]] <math>e</math>, eine [[offene Menge]] <math>U</math> im [[Euklidischer Raum|euklidischen Raum]], die <math>e</math> enthält, und eine [[Stetige Funktion|stetige]] [[Funktion (Mathematik)|Abbildung]] <math>F \colon V \times V \to U</math>, die auf der offenen Teilmenge <math>V</math> von <math>U</math> die Gruppenaxiome erfüllt. Die Frage ist dann, ob <math>F</math> auf einer Umgebung von <math>e</math> [[Glatte Funktion|glatt]], also unendlich oft [[Differentialrechnung|differenzierbar]] ist. Nachdem [[John von Neumann]] (1933, Lösung für kompakte Gruppen), [[Lew Semjonowitsch Pontrjagin|Lew Pontrjagin]] (1939, Lösung für abelsche Gruppen) und [[Claude Chevalley]] (lösbare topologische Gruppen, 1941) Spezialfälle lösen konnten (und weitere Mathematiker das Problem für Dimensionen bis vier lösen konnten),<ref>[[Béla Kerékjártó]] löste den zweidimensionalen Fall 1931, Montgomery 1948 drei und Montgomery und Zippin 1952 vier Dimensionen.</ref> gelang [[Andrew Gleason]], [[Deane Montgomery]] und [[Leo Zippin]] in den 1950er Jahren die endgültige Klärung des Problems. Sie bewiesen sogar, dass lokal euklidische topologische Gruppen reell-analytisch sind.

Der Beweis war sehr technisch und kompliziert. Einen einfacheren Beweis im Rahmen der [[Nichtstandardanalysis]] gab Joram Hirschfeld.<ref>J. Hirschfeld: ''The nonstandard treatment of Hilbert’s fifth problem''. Trans. Amer. Math. Soc., Band 321, 1990, S.&nbsp;379–400.</ref> Das Problem war in der Zeit nach dem [[Zweiter Weltkrieg|Zweiten Weltkrieg]] sehr in Mode und die 1952 gefundene Lösung beendete nach [[Jean-Pierre Serre]], der sich damals selbst an der Lösung versuchte, praktisch das Forschungsgebiet.<ref>Serre, zitiert nach Jeremy Gray: {{Webarchiv |url=https://www.math.uni-bielefeld.de/~kersten/hilbert/gray.html |text=''The Hilbert problems 1900–2000''. |wayback=20070612133346}}. In: ''math.uni-bielefeld.de.'' Abgerufen am 12.&nbsp;Januar 2025.</ref>

Offen ist die Frage: Ist eine lokal kompakte topologische Gruppe, deren Gruppenoperationen treu auf einer topologischen Mannigfaltigkeit wirken, eine Liegruppe? (Hilbert-Smith-Vermutung nach Hilbert und [[Paul A. Smith]]). Ein Beispiel wären die [[p-adische Zahl|p-adischen]] ganzen Zahlen. Für diese gilt nicht, dass sie keine kleinen Untergruppen haben – eine Bedingung die nach Gleason, Montgomery und Zippin gerade die Liegruppen unter den lokal kompakten topologischen Gruppen auszeichnet. Eine topologische Gruppe hat keine kleinen Untergruppen, falls es eine Umgebung der Einheit <math>e</math> gibt, die keine Untergruppen enthält, die größer als <math>\{ e \}</math> sind. Einige Mathematiker sehen die Hilbert-Smith-Vermutung als die eigentlich korrekte Formulierung des Hilbertproblems.

* A. Gleason: ''Groups without small subgroups''. [[Annals of Mathematics]], Band 56, 1952, S. 193–212.
* D. Montgomery, L. Zippin: ''Small groups of finite-dimensional groups.'' Annals of Mathematics, Band 56, 1952, S. 213–241.
* I. Kaplansky: ''Lie algebras and locally compact groups''. University of Chicago Press, 1964.
* C. T. Yang: ''Hilbert’s fifth problem and related problems on transformation groups''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 1, 1976, S. 142–146.

=== Hilberts sechstes Problem ===
<div class="rahmenfarbe1" style="background:#FF6666; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Wie kann die [[Physik]] axiomatisiert werden?

'''Lösung:''' Unbekannt.
</div>
'''Allgemeine Problemstellung'''

Nach [[Leo Corry]] nahm das sechste Problem nicht, wie häufig angenommen, für Hilbert eine Außenseiter-Rolle in der Liste der Probleme ein, sondern entsprach in zentraler Weise seinen Interessen über einen langen Zeitraum (mindestens von 1894 bis 1932).<ref>Leo Corry: ''On the origins of Hilbert’s sixth problem: physics and the empiricist approach to axiomatization''. International Congress of Mathematicians, 2006.</ref> In dieses Programm einzuordnen ist zum Beispiel seine bekannte Ableitung der Feldgleichungen der Allgemeinen Relativitätstheorie aus einem Variationsprinzip (1916). Nach Corry liegt hier auch ein Missverständnis von Hilberts Auffassung seines Programms der Axiomatisierung vor, bei dem man sich vor allem an Hilberts späterem Programm zur Grundlegung der Mathematik orientierte, das im Zusammenhang mit der Physik aber vor allem der Klärung der logischen Struktur etablierter Theorien diente. Hilbert stand zur Zeit seines Vortrags noch in der [[Mechanistisches Weltbild|mechanistischen]] Tradition des 19. Jahrhunderts, die Physik auf die Mechanik und auf mathematischem Wege reduzieren zu wollen, und konzentrierte sich in der Formulierung damals auf die Mechanik, stark beeinflusst von den Untersuchungen von [[Heinrich Hertz]] über die Grundlagen der Mechanik und von [[Ludwig Boltzmann]] (Übergang von der statistischen Mechanik zur Kontinuumsmechanik). Später gingen Hilberts Interessen wesentlich darüber hinaus, spätestens seit 1905 dehnte er sie auch auf die Elektrodynamik aus, die er noch in seiner Problemliste nicht explizit erwähnt hatte. 1905 hielt er eine Vorlesung über Axiomatisierung der Physik, in der er unter anderem Thermodynamik und Elektrodynamik einbezog. Auch seine Bemühungen um die Axiomatisierung der Geometrie hatten ihre Motivation darin, einer im Grunde empirischen Theorie eine strenge Grundlage zu geben (und diese zu vereinfachen). Da er auch [[Wahrscheinlichkeitstheorie]] mit einbezog, kann die Axiomatisierung derselben durch [[Andrei Kolmogorow]] als ein Beitrag zu Hilberts Programm angesehen werden.

Es gab immer wieder Ansätze zu Axiomatisierungen in Teilgebieten der Physik, zum Beispiel der [[Thermodynamik]] ([[Constantin Caratheodory]]), [[Quantenfeldtheorie]] ([[Arthur Wightman]] und [[Wightman-Axiome]], [[Rudolf Haag]], [[Daniel Kastler]], [[Huzihiro Araki]] und Haag-Kastler-Axiome, [[Konrad Osterwalder|Osterwalder]]-Schrader Axiome), [[Topologische Quantenfeldtheorie]], konforme Feldtheorien und Physiker, die sich mit der grundlegenden Struktur physikalischer Theorien befassten wie [[Günther Ludwig (Physiker)|Günther Ludwig]].

'''Metamathematische Behandlung'''

Eine Besonderheit des sechsten Problems ist, dass es sich um keine innermathematische Problemstellung handelt. Axiomatisierungen der Physik und Mechanik, das hat Hilbert mehrfach auch später betont, gehören zur [[Metamathematik]], sie sind – im klassischen [[Immanuel Kant|Kantschen]] Sinne genommen – Aussagen der [[Metaphysik]].<ref>Zum Begriff der ''Metamathematik'' und ihrem Entwicklungsstand zur fraglichen Epoche siehe etwa P. Mancosu, R. Zach, C Badesa, ''The Development of Mathematical Logic from Russell to Tarski (1900–1935)''. In: Leila Haaparanta (Hrsg.): ''The Development of Modern Logic.'' Oxford University Press 2009: S.&nbsp;71. Online: [https://philpapers.org/archive/MANTDO-2.pdf ''philpapers.org.'']<!--Stand: 3. März 2024--> S.&nbsp;71 u.&nbsp;Kap.&nbsp;1.3, S.&nbsp;7&nbsp;f. Abgerufen am 12.&nbsp;Januar 2025.</ref><ref>Zum historischen Begriff von ''metaphysischen'' Prinzipien siehe etwa in: Hartmut Hecht, ''Historisches zum Prinzip der kleinsten Wirkung'', Leibniz-Online Nr.&nbsp;17 (2015), S.&nbsp;1. Online: [https://leibnizsozietaet.de/wp-content/uploads/2015/01/hecht.pdf ''Leibniz-Sozietät.'']<!--Stand: 3. März 2024--> Abgerufen am 12.&nbsp;Januar 2025.</ref> In der modernen [[Axiom]]atik, die von Hilbert entscheidend mitgeprägt wurde, beinhalten sie strukturelle Aussagen ''über'' die Gegenstandsbereiche und Theorien der Physik.<ref>Man vergleiche etwa in [[Bartel Leendert van der Waerden|B. L. van der Waerden]], ''Klassische und moderne Axiomatik''. In: ''Elemente der Mathematik'' Band 22 (1967), Seiten 1–5. Online: [https://eudml.org/doc/140831 EuDML]<!--Stand: 3. März 2024--> Abgerufen am 12.&nbsp;Januar 2025.</ref>
Daher muss die Frage zur Axiomatisierung der Physik eine bis heute offene und niemals einseitig entscheidbare Frage bleiben. Mit Blick auf die [[Modelltheoretische Semantik|formalisierte Semantik]] in der Metamathematik,<ref>[[Alfred Tarski]]: ''Introduction to Logic and to the Methodology of the Deductive Sciences''. 4. Auflage, hrsg. von Jan Tarski (nach der 1.&nbsp;amerikanischen Auflage von 1941, übersetzt aus dem deutschen Original von 1936 ''Einführung in die mathematische Logik und in die Methodologie der Mathematik''), Oxford Univ. Press, Oxford New York Toronto 1994. bzw. in Tarski (1941) das Kap.&nbsp;37 (''Model and Interpretation of a deductive Theory''). Online: [https://archive.org/details/in.ernet.dli.2015.471634/page/n137/mode/2up archive.org]<!--Stand: 4. März 2024--> Abgerufen am 12.&nbsp;Januar 2025.</ref> die Hilbert zur Jahrhundertwende noch unbekannt war,<ref>Zum damaligen Axiomenverständnis um Hilbert zur Jahrhundertwende siehe Mancosu, R. Zach, C. Badesa, ''The Development of Mathematical Logic from Russell to Tarski (1900–1935)''. In: Leila Haaparanta (Hrsg.): ''The Development of Modern Logic.'' Oxford University Press 2009. Online: [https://philpapers.org/archive/MANTDO-2.pdf ''philpapers.org.'']<!--Stand: 3. März 2024--> Abgerufen am 12.&nbsp;Januar 2025.</ref> und mit Blick auf die sich ergebenden Schwierigkeiten der logischen [[Entscheidbarkeit]] der Fragestellung bleibt eine abgeschlossene Axiomatisierung der Physik unerreichbar, und in diesem Sinne ist die Lösung „unbekannt“ zu nennen.

'''Zum axiomatischen Ausbau der klassischen Mechanik'''

Ein besonderes Gebiet, welches Hilbert selbst in dem Kommentar zum sechsten Problem anspricht und das er auch in mehreren Schriften und Vorlesungen des Zeitraums behandelt hatte,<ref>L. Corry (2018), S. 2 (siehe hier in der ''Literatur'' zum sechsten Problem).</ref> betrifft die Axiomatisierung der [[Klassische Mechanik|klassischen Mechanik]]. Die Mechanik zerfiel zur Zeit Hilberts in mehrere verschiedene Zweige (oder „Bilder“, wie [[Heinrich Hertz]] meinte),<ref>L. Corry (2018), S. 7 (siehe hier in der ''Literatur'' zum sechsten Problem).</ref> von denen die [[Newtonsche Gesetze|Newtonschen Axiome]] nur einen speziellen Teil umfassen sollte. Ihre Vereinbarkeit mit anderen spezielleren Prinzipien war noch nicht geklärt. Und das sechste Problem umfasste damals die noch offene Frage, wie die klassische Mechanik mit den bewährten Grundgleichungen der linearen [[Kontinuumsmechanik]] vereinheitlicht werden könne.<ref>Siehe dazu v. a. [[Aurel Voss]], ''Die Prinzipien der rationellen Mechanik''. In [[Felix Klein (Mathematiker)|F. Klein]], [[Conrad Müller|C. Müller]] (Hrsg.), [[Encyklopädie der mathematischen Wissenschaften]] Band 4 (Mechanik), Heft 1, (Teubner) Leipzig 1901: Seite 24&nbsp;f.</ref> Hilbert stellte zur Zeit der Problemformulierung die [[Variationsrechnung]] als mathematisches Instrument für dieses axiomatische Vorhaben voran. Hilberts Doktorand und Mechanikexperte [[Georg Hamel]] hatte in dieser Frage wegweisende Axiomengruppen für die klassische Mechanik reformuliert. Der von Hilbert favorisierte ''analytische'' Aufbau gilt hierbei als ein möglicher Zugang von gleich mehreren alternativen Aufbauten der klassischen Mechanik.<ref>R. Tiemeyer (2016), Kap. 3, ab Seite 85 (siehe hier in der ''Literatur'' zum sechsten Problem).</ref>

'''Weitere Entwicklungsstränge zur Mechanik'''

Hingegen können [[Modelltheorie|modelltheoretische]] Miniaturtheorien der klassischen Mechanik aufzeigen, wie Teile der Physik das Axiomatisierungsprojekt erfüllen. Viel Beachtung haben die Bemühungen einzelner Logikergruppen um [[Alfred Tarski]] und [[Patrick Suppes]] Mitte des 20. Jahrhunderts erhalten.<ref>Siehe etwa J. C. C. McKinsey, A. C. Sugar, P. Suppes: ''Axiomatic foundations of classical particle mechanics''. In: ''Journal of Rational Mechanics and Analysis'', 2(2), 253–272. Online: {{Toter Link |url=https://suppescorpusd9.sites.stanford.edu/bibliography/1955-1951 |text=''Suppes Corpus Stanford.''}}<!--Stand: 3. März 2024--></ref> Zugleich haben diese Versuche vernichtende Kritik aus der Mechanikergruppe um [[Clifford Truesdell]] und [[Walter Noll (Mathematiker)|Walter Noll]] erhalten,<ref>R. Tiemeyer (2016), Kap. 4.5 und Kap. 5 ab Seite 223 (siehe hier in der ''Literatur'' zum sechsten Problem).</ref> die im Wesentlichen die Art und den Umfang der Mathematisierung des jeweiligen physikalischen Gegenstandes betrifft. Von ihnen stammen die heute etablierten Axiomengruppen zur Kontinuumsmechanik.<ref>Man vergleiche etwa das Vorwort der Herausgeber und den einflussreichen Beitrag von W. Noll, ''The Foundations of Classical Mechanics in the Light of Recent Advances in Continuum Mechanics'', S.&nbsp;266–281, in: [[Leon Henkin|L.&nbsp;Henkin]], [[Patrick Suppes|P.&nbsp;Suppes]], [[Alfred Tarski|A.&nbsp;Tarski]], ''The Axiomatic Method with Special Reference to Geometry and Physics.'' (North-Holland) Amsterdam 1959. Online: {{archive.org |axiomaticmethod031862mbp}}.<!--Stand: 3. März 2024--></ref>

Weitere Entwicklungen seit Mitte des 20. Jahrhunderts betreffen den Rahmen der Darstellungen. Das Problem steht im Hintergrund der [[Reverse Mathematik|Reversen Mathematik]] mit der Frage, inwiefern die physikalische Theorie den formalen Exaktheitsgrad erfüllen kann, den die Mathematik, vor allem die [[Mathematische Logik]], einfordert. Heute bekannt ist, dass der formale Aufbau und der Exaktheitsgrad der Formulierung entscheidend zum Gelingen einer axiomatischen Lösung beiträgt. Aufgrund zu starker Idealisierung scheinen die vorliegenden formalen Rekonstruktionen der Mechanik hingegen häufig den Realitätsbezug zur angewandten Wissenschaft der Mechanik zu entbehren. In diesem besonderen Spannungsfeld zwischen Realität und [[Idealisierung (Physik)|Idealität]] des mathematischen Formalismus in der Physik bewegt sich das sechste Problem Hilberts.<ref>R. Tiemeyer (2016), Kap. 2 ab Seite 23 (siehe hier in der ''Literatur'' zum sechsten Problem).</ref>

''' Entwicklungen ab 2025 '''

Im März 2025 veröffentlichten [[Yu Deng]], Zaher Hani und Xiao Ma eine Arbeit, die zeigt, dass sich der Grenzübergang von einzelnen Teilchen (im [[Modell harter Kugeln]]), die nach den [[Newtonsche Gesetze|Newtonschen Gesetzen der Bewegung]] agieren (mikroskopische Ebene), über die [[Boltzmann-Gleichung]] (mesoskopische Ebene) bis hin zu den fundamentalen partiellen Differentialgleichungen der [[Strömungsmechanik]] (makroskopische Ebene), darunter die [[Euler-Gleichungen (Strömungsmechanik)|kompressiblen Euler-]] und die [[Navier-Stokes-Gleichungen|inkompressiblen Navier–Stokes–Fourier-Gleichungen]], rigoros mathematisch herleiten lässt. Damit wurden die drei Ebenen der Fluiddynamik erstmals rigoros miteinander verbunden, was ein zentrales offenes Problem im Rahmen der Axiomatisierung der Physik war. Der schwierige Teil war die Herleitung der Boltzmann-Gleichung aus dem Modell harter Kugeln für beliebig lange Zeiten. Sie betrachteten ein System von harten Kugeln der Dimension <math>d\geq 2</math>, deren Teilchen einen Durchmesser <math>\varepsilon</math> haben, und dessen Anfangszustand durch das [[großkanonisches Ensemble|großkanonische Ensemble]] gegeben ist. Dann zeigten sie, dass unter der [[Boltzmann-Grad-Grenzwert|Boltzmann-Grad-Skalierung]] die [[Korrelationsfunktion (Physik)|Korrelationsfunktionen]] <math>f_s(t,\mathbf{z}_s)</math> für <math>\mathbf{z}_s=(z_1,\dots,z_s)</math> von <math>s\leq |\log(\varepsilon)|</math> Teilchen bei <math>\varepsilon\to 0</math> gegen die Lösung der Boltzmann-Gleichung konvergiert.<ref>{{Literatur | Autor= Yu deng, Hani Zaher und Xiao Ma |Datum=2026|Titel=Long time derivation of Boltzmann equation from hard sphere dynamics|Sammelwerk=[[Annals of Mathematics]]|arXiv=abs/2408.07818|Online=https://annals.math.princeton.edu/articles/22284}}</ref><ref>{{Literatur| Titel=Hilbert's sixth problem: derivation of fluid equations via Boltzmann's kinetic theory}|Autor=Yu Deng, Zaher Hani und Xiao Ma|Datum=2025|arXiv=abs/2503.01800}}</ref><ref>{{Internetquelle |autor=Jack Murtagh |titel=Mathematicians Crack 125-Year-Old Problem, Unite Three Physics Theories |url=https://www.scientificamerican.com/article/lofty-math-problem-called-hilberts-sixth-closer-to-being-solved/|werk=Scientific American |sprache=en|abruf=2025-12-20}}</ref>

* Leo Corry: ''Hilbert’s sixth problem: between the foundations of geometry and the axiomatization of physics''. Phil. Trans. R. Soc. A 376 (2118), 2018, 20170221; [[doi:10.1098/rsta.2017.0221]].
* Joseph Kouneiher (Hrsg.): Foundations of Mathematics and Physics One Century after Hilbert: New Perspectives, Springer 2018
* Rainer Tiemeyer, ''Axiome der Klassischen Mechanik. Hilberts Problem und Hamels Lösungsversuch in wissenschaftstheoretischer Perspektive.'' (Logos Verlag) Berlin 2016. Online-Zugriff (Open Access): [https://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=4292&lng=deu&id= doi.org/10.30819/4292] <!--Stand: 3. März 2024-->
* Arthur Wightman: ''Hilbert’s sixth problem: mathematical treatment of the axioms of physics''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 1, 1976, S. 147–240.

=== Hilberts siebtes Problem ===
<div class="rahmenfarbe1" style="background:#66FF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Ist die Potenz <math>\alpha^\beta</math> immer [[Transzendente Zahl|transzendent]], wenn <math>\alpha</math> [[Algebraische Zahl|algebraisch]] <math>(\alpha \neq 0, \alpha \neq 1)</math> und <math>\beta</math> [[Irrationale Zahl|irrational]] und algebraisch ist?

'''Lösung:''' Ja.
</div>

Eine komplexe Zahl heißt ''algebraisch'', wenn sie Nullstelle eines [[Polynom]]s mit ganzzahligen Koeffizienten ist, andernfalls heißt sie ''transzendent''. Die [[Wurzel aus 2]] ist beispielsweise eine Zahl, die [[Euklids Beweis für Irrationalität von Wurzel 2|nicht rational]] ist, als Nullstelle von <math>x^2 - 2</math> ist sie aber algebraisch. [[Reelle Zahl]]en, die nicht algebraisch sind (und damit ''transzendent''), sind zum Beispiel die [[Kreiszahl]] <math>\pi</math> oder die [[Eulersche Zahl]] <math>e</math>.

Zu Hilberts Zeiten gab es bereits einige Ergebnisse über die Transzendenz verschiedener Zahlen. Obiges Problem erschien ihm besonders schwierig, und er erhoffte sich aus seiner Lösung tiefere Erkenntnisse über die Natur der Zahlen. Nachdem das Problem zunächst für einige Spezialfälle gelöst wurde ([[Alexander Ossipowitsch Gelfond|Alexander Gelfond]] 1929, [[Rodion Ossijewitsch Kusmin|Rodion Kusmin]] 1930), konnte Alexander Gelfond 1934 die Aussage beweisen. Kurze Zeit später verbesserte [[Theodor Schneider (Mathematiker)|Theodor Schneider]] den Satz weiter, sodass die Antwort auf Hilberts siebtes Problem heute als [[Satz von Gelfond-Schneider]] bekannt ist.

Hilberts siebtes Problem lässt sich auch als Aussage über Paare von Logarithmen algebraischer Zahlen auffassen (nämlich dass aus deren linearen Unabhängigkeit über den rationalen Zahlen die lineare Unabhängigkeit über den algebraischen Zahlen folgt). In dieser Formulierung ist der Satz durch [[Alan Baker (Mathematiker)|Alan Baker]] erheblich erweitert worden.

Eine Verallgemeinerung der Hilbertschen Fragestellung würde durch einen Beweis oder eine Widerlegung der [[Vermutung von Schanuel]] beantwortet, die [[Stephen Schanuel]] in den 1960er Jahren aufstellte.

* [[Robert Tijdeman]]: ''Hilbert’s seventh problem: the Gelfond-Baker method and applications''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 1, 1976, S. 241–268.

{{Hauptartikel|Satz von Gelfond-Schneider}}

=== Hilberts achtes Problem ===
<div class="rahmenfarbe1" style="background:#FF6666; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Besitzen alle nichttrivialen Nullstellen der [[Riemannsche ζ-Funktion|Riemannschen Zetafunktion]] den [[Komplexe Zahl#Definition|Realteil]] <math>\tfrac12</math>? Ist jede gerade Zahl größer als <math>2</math> als Summe zweier Primzahlen darstellbar?

'''Lösung:''' Unbekannt.
</div>

Die beiden genannten Probleme sind als [[Riemannsche Vermutung]] und [[Goldbachsche Vermutung]] bekannt und zwei der populärsten [[Ungelöste Probleme der Mathematik|ungelösten Probleme]] der Mathematik. Für die erste Frage wurden bereits über eine Billion Nullstellen berechnet und dabei keine gefunden, die die Vermutung falsifizieren würde. Die zweite Frage wurde schon bis zur Größenordnung <math>10^{18}</math> geprüft. Beweise konnte man aber bis heute nicht finden. Als bedeutender Fortschritt wurde aber der Beweis des Analogons der Riemannvermutung für Kurven über endlichen Körpern durch [[Pierre Deligne]] gewertet, ein Teil der [[Weil-Vermutungen]].

Unter der Überschrift „Primzahlenprobleme“ hat Hilbert noch mehr Fragen zusammengetragen, die mit [[Primzahl]]en in Verbindung stehen. So nennt er zum Beispiel die (ebenfalls bis heute noch ungelöste) Frage, ob es unendlich viele [[Primzahlzwilling]]e gibt und ob die Gleichung <math>ax + by + c = 0</math> mit beliebigen ganzzahligen, untereinander [[Teilerfremdheit|teilerfremden]] Koeffizienten <math>a</math>, <math>b</math> und <math>c</math> immer Primzahl-Lösungen <math>x</math>, <math>y</math> hat, eine leichte Abwandlung der Goldbach-Vermutung und ebenso ungelöst.

* [[Enrico Bombieri]]: ''Hilbert’s 8th problem: an analogue''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 1, 1976, S. 269–274.
* [[Hugh Montgomery (Mathematiker)|Hugh Montgomery]]: ''Problems concerning prime numbers (Hilbert’s problem 8)''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 1, 1976, S. 307.

{{Hauptartikel|Riemannsche Vermutung|Goldbachsche Vermutung}}

=== Hilberts neuntes Problem ===
<div class="rahmenfarbe1" style="background:#FFFF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Wie kann das [[Quadratisches Reziprozitätsgesetz|Reziprozitätsgesetz]] auf beliebige Zahlkörper verallgemeinert werden?

'''Lösung:''' Nur im [[Abelsche Erweiterung|abelschen Fall]] bekannt.
</div>

Das von [[Carl Friedrich Gauß|Gauß]] bewiesene [[Quadratisches Reziprozitätsgesetz|quadratische Reziprozitätsgesetz]] (formuliert mit dem [[Legendre-Symbol]]):

:<math>\left(\frac{p}{q}\right)\left(\frac{q}{p}\right)=(-1)^{\frac{p-1}{2}\frac{q-1}{2}}</math>

gibt Kriterien für die Lösung quadratischer Gleichungen in der modularen Arithmetik und spielte mit seinen Verallgemeinerungen eine zentrale Rolle in der algebraischen Zahlentheorie. Im 19.&nbsp;Jahrhundert waren auch schon verschiedene höhere Reziprozitätsgesetze bekannt, auch von Hilbert in seinem ''Zahlbericht'', wobei er in der Formulierung [[Hilbert-Symbol]]e einführte. Hilbert fragte nach einer Formulierung und einem Beweis für allgemeine [[Algebraischer Zahlkörper|algebraische Zahlkörper]]. Mit der Entwicklung der [[Klassenkörpertheorie]] beginnend mit [[Teiji Takagi]] standen die dazu nötigen Mittel zur Verfügung, sodass [[Emil Artin]] das Problem mit [[Abelsche Erweiterung|abelschen Erweiterungen]] algebraischer Zahlkörper lösen konnte ([[Artinsches Reziprozitätsgesetz]], 1924). Auch [[Helmut Hasse]] bewies Reziprozitätssätze in der Klassenkörpertheorie. Bei der Frage expliziter Formeln dieses Reziprozitätsgesetzes erzielte [[Igor Schafarewitsch]] 1948 bedeutende Fortschritte, wobei [[Helmut Brückner (Mathematiker)|Helmut Brückner]], [[Sergei Wladimirowitsch Wostokow]] und [[Guy Henniart]] dessen Ergebnisse vereinfachten und erweiterten. Eine weitere Verallgemeinerung auf den nicht-abelschen Fall konnte bisher nicht erreicht werden und ist eines der Hauptprobleme der algebraischen Zahlentheorie, auch verbunden mit Hilberts 12.&nbsp;Problem.

* [[John T. Tate]]: ''The general reciprocity law''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 2, 1976, S.&nbsp;311–323.

=== Hilberts zehntes Problem ===
<div class="rahmenfarbe1" style="background:#66FF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Man gebe ein Verfahren an, das für eine beliebige [[diophantische Gleichung]] entscheidet, ob sie lösbar ist.

'''Lösung:''' Es gibt kein solches Verfahren.
</div>

''Diophantische Gleichungen'' sind Gleichungen der Form <math>f(x_1, x_2, \ldots, x_n) = 0</math>, wobei <math>f</math> ein [[Polynom]] in mehreren Variablen und mit ganzzahligen Koeffizienten ist und nur ganze Zahlen als Lösungen betrachtet werden. Ein bekanntes Beispiel ist die Gleichung <math>x^2 + y^2 - z^2 = 0</math>, die mit dem [[Satz des Pythagoras]] zusammenhängt. Diophantische Gleichungen spielen in der Geschichte der Mathematik eine wichtige Rolle, und viele große Mathematiker haben sich intensiv mit diesen beschäftigt.

Zwar konnten immer wieder Spezialfälle gelöst werden, doch eine allgemeine Lösung schien den Mathematikern im 19. Jahrhundert unerreichbar fern. Deswegen fragte Hilbert lediglich, wie man überprüfen kann, ob eine gegebene diophantische Gleichung überhaupt ganzzahlige Lösungen besitzt, ohne diese genau angeben zu können. Jedoch ist auch dieses Problem noch so schwer, dass erst 1970 [[Juri Wladimirowitsch Matijassewitsch|Juri Matijassewitsch]] beweisen konnte, dass ein solches Verfahren für den allgemeinen Fall nicht existiert. Vorarbeiten leisteten [[Julia Robinson]], [[Martin Davis]] und [[Hilary Putnam]].

Bei der Betrachtung der algorithmischen Lösbarkeit reicht es, Diophantische Gleichungen vierten oder kleineren Grades zu betrachten, auf die das Problem reduziert werden kann ([[Thoralf Skolem]] 1934).<ref>Matyasevich: ''Hilbert’s tenth problem''. MIT Press 1993, S.&nbsp;16.</ref> Für die allgemeine diophantische Gleichung vierten Grades existiert nach Matijassewitsch kein Algorithmus. Ungelöst ist die Frage, ob ein solcher für die allgemeine kubische Gleichung existiert. Für quadratische und lineare Gleichungen zeigte [[Carl Ludwig Siegel]] dagegen 1972, dass ein solcher Algorithmus existiert.<ref>Siegel: ''Zur Theorie der quadratischen Formen''. Nachr. Ges. Wiss. Göttingen, Math.-Naturwiss. Klasse, 1972, Nr.&nbsp;3, S.&nbsp;21–46.</ref>

Betrachtet man statt Lösungen in den ganzen Zahlen den Ring der algebraischen ganzen Zahlen, gibt es nach [[Robert Rumely]] (1986) dagegen einen solchen Algorithmus.<ref>Encyclopedia of Mathematics: [https://www.encyclopediaofmath.org/index.php/Local-global_principles_for_the_ring_of_algebraic_integers#References ''Local-global principles for the ring of algebraic integers''.] Abgerufen am 12.&nbsp;Januar 2025.</ref>

* Martin Davis, Reuben Hersh: ''Hilbert’s tenth problem''. Scientific American, Band 229, November 1973.
* Martin Davis: ''Hilbert’s tenth problem is unsolvable''. American Mathematical Monthly, Band 80, 1973, S. 233–269.
* Martin Davis, Yuri Matiyasevich, Julia Robinson: ''Hilbert’s tenth problem, Diophantine equations, positive aspects of a negative solution''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 2, 1976, S. 323–378.
* Yuri Matiyasevich: ''Hilbert’s tenth problem''. MIT Press, 1996.
* Alexandra Shlapentokh: ''Hilbert’s tenth problem: Diophantine classes and extensions to global fields''. Cambridge UP, 2006.

{{Hauptartikel|Diophantische Gleichung}}

=== Hilberts elftes Problem ===
<div class="rahmenfarbe1" style="background:#66FF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Wie kann die Theorie der [[Quadratische Form|quadratischen Formen]] auf beliebige algebraische Zahlkörper verallgemeinert werden?

'''Lösung:''' Die Theorie wurde im 20. Jahrhundert umfangreich ausgebaut.
</div>

Eine ''quadratische Form'' ist eine Funktion der Form <math>q(x) = x^TAx</math>, wobei <math>x</math> ein Vektor ist und <math>A</math> eine [[symmetrische Matrix]]. Bis zum 19. Jahrhundert wurden umfangreiche Kenntnisse über quadratische Formen über den rationalen Zahlen erlangt. Hilbert fragte nach Erweiterungen auf beliebige algebraische Zahlkörper und beliebig viele Variablen. In den Jahrzehnten nach Hilberts Vortrag sind zahlreiche Ergebnisse veröffentlicht worden, die sich eingehend mit dem Thema beschäftigen. Als zentrales Ergebnis zählt dabei das [[Lokal-Global-Prinzip (Zahlentheorie)|Lokal-Global-Prinzip]], das [[Helmut Hasse]] 1923 formulierte (Satz von Hasse-Minkowski). Danach folgt bei quadratischen Formen globale Lösbarkeit (über dem Körper der rationalen Zahlen, einem [[Globaler Körper|globalen Körper]]) aus lokaler (über [[Lokaler Körper|lokalen Körpern]], dem Körper der p-adischen und reellen Zahlen). Weitere Beiträge lieferten unter anderem [[Ernst Witt]] (geometrische Theorie quadratischer Formen) und [[Carl Ludwig Siegel]] (analytische Theorie).<ref>Encyclopedia of Mathematics: [https://www.encyclopediaofmath.org/index.php/Quadratic_form ''Quadratic forms''.] Abgerufen am 12.&nbsp;Januar 2025.</ref>

* [[Timothy O’Meara]]: ''Hilbert’s eleventh problem: the arithmetic theory of quadratic forms''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 2, 1976, S. 379–400.

{{Hauptartikel|Quadratische Form}}

=== Hilberts zwölftes Problem ===
<div class="rahmenfarbe1" style="background:#FF6666; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Wie lässt sich der [[Kreisteilungskörper|Satz von Kronecker-Weber]] auf beliebige Zahlkörper verallgemeinern?

'''Lösung:''' Unbekannt.
</div>

Der Satz von Kronecker-Weber besagt, dass die maximale abelsche Erweiterung des [[Körper (Algebra)|Körpers]] der [[Rationale Zahl|rationalen Zahlen]] durch [[Adjunktion (Algebra)|Adjunktion]] aller [[Einheitswurzel]]n entsteht (Kreisteilungskörper). In diesem Fall werden spezielle Werte der Exponentialfunktion zu den rationalen Zahlen adjungiert, im Allgemeinen können das auch Werte anderer spezieller Funktionen wie elliptischer Funktionen sein (der Zusammenhang von Erweiterungen imaginär quadratischer Zahlkörper und elliptischen Kurven mit komplexer Multiplikation war Gegenstand von [[Leopold Kronecker|Kroneckers]] „Jugendtraum“), und man hätte gerne eine explizite Beschreibung dieser Erweiterungen. Der Verallgemeinerung dieses Satzes maß Hilbert eine große Bedeutung zu. Zwar gab es auf dem Gebiet im 20. Jahrhundert viele Fortschritte (zum Beispiel die sogenannten CM-Körper nach [[Gorō Shimura]] und [[Yutaka Taniyama]] (ihre Monographie erschien 1961), die mit abelschen Varietäten mit komplexer Multiplikation in Verbindung stehen), zu einer Lösung von Hilberts zwölftem Problem kam es jedoch noch nicht.

* [[Robert Langlands]]: ''Some contemporary problems with origins in the Jugendtraum (Hilbert’s problem 12)''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 2, 1976, S. 401–418.<ref>[https://publications.ias.edu/rpl/section/26 ''publications.ias.edu.'']</ref>
* [[Norbert Schappacher]]: ''On the history of Hilbert’s twelfth problem.'' In: Michele Audin (Hrsg.), Matériaux pour l’histoire des mathématiques au XXe siècle Actes du colloque à la mémoire de Jean Dieudonné (Nice 1996), SMF 1998.

=== Hilberts dreizehntes Problem ===
<div class="rahmenfarbe1" style="background:#FFFF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Kann die Lösung der Gleichung <math>x^7 + ax^3 + bx^2 + cx + 1 = 0</math> mit Hilfe einer endlichen Anzahl von [[Stetige Funktion|stetigen Funktionen]] konstruiert werden, die von zwei Variablen abhängen? Das ist die ursprüngliche Formulierung von Hilbert. In einer Variante wird nach algebraischen statt stetigen Funktionen gefragt.

'''Lösung:''' Ja für stetige Funktionen, für algebraische Funktionen offen.
</div>

Das Problem hat seine Wurzeln in der Theorie der algebraischen Gleichungen, von denen man seit Galois und Abel weiß, dass sich die Lösungen der Gleichungen fünften und höheren Grades nicht geschlossen mit den elementaren arithmetischen Operationen und Wurzelausdrücken als Funktion der Koeffizienten angeben lassen. Auch die Reduktion auf Standardformen zum Beispiel mit [[Tschirnhaus-Transformation]]en und Adjunktion weiterer Gleichungen in einer Variablen brachte im allgemeinen Fall nicht den gewünschten Erfolg. Die Gleichung fünften Grades konnte zwar auf eine Standardform mit einem Parameter, die Gleichung sechsten Grades auf eine solche mit zwei Parametern reduziert werden, bei der Gleichung siebten Grades gelang allerdings nur die Reduktion auf eine Normalform mit drei Parametern a, b und c:

:<math> f^7 +a \, f^3 + b \, f^2 + c \, f+1=0</math>

Hilbert vermutete, dass sich dies grundsätzlich auch nicht auf zwei Parameter reduzieren ließ, nicht einmal in der weiten Klasse der stetigen Funktionen. In dieser allgemeinen Form, ob es stetige Funktionen in drei Variablen gibt, die nicht als Verkettung von endlich vielen stetigen Funktionen in zwei Variablen dargestellt werden können, wurde die Vermutung von Hilbert durch [[Andrei Nikolajewitsch Kolmogorow|Andrei Kolmogorow]] und [[Wladimir Igorewitsch Arnold|Wladimir Arnold]] 1957 widerlegt. Kolmogorow zeigte zunächst, dass jede stetige Funktion von <math>n</math> Variablen durch solche von drei Variablen durch Superposition ausdrückbar ist. Sein Schüler Arnold verbesserte das auf zwei Variablen. Die verwendeten Funktionen brauchen aber nicht einmal differenzierbar sein und damit auch nicht algebraisch. Basierend auf seinen und Arnolds Arbeiten lieferte Kolmogorow 1957 schließlich seinen [[Superposition (Mathematik)|Superpositionssatz]], welcher sagt, das sich stetige Funktionen der Form <math>f\colon [0,1]^n\to\mathbb{R}</math> als Komposition von Addition und Funktionen mit einer Variable darstellen lassen. Der Satz lautet:<ref>{{Literatur |Autor=[[Andrei Nikolajewitsch Kolmogorow]] |Titel=On the representation of continuous functions of many variables by superposition of continuous functions of one variable and addition |Sammelwerk=Dokl. Akad. Nauk SSSR |Band=114 |Nummer=5 |Datum=1957 |Seiten=953–956 |Kommentar=Theorem 1}}</ref>
: ''Sei <math>n\geq 2</math> eine natürliche Zahl, <math>E=[0,1]</math> und <math>C(E,\mathbb{R})</math> der Raum der stetigen Funktionen der Form <math>s\colon E\to\mathbb{R}</math>. Für eine beliebige Funktion <math>f\in C(E^n,\mathbb{R})</math> existieren Funktionen <math>\{h_{p,q}\}\subset C(E,\mathbb{R})</math> und <math>\{g_q\}\subset C(\mathbb{R},\mathbb{R})</math>, so dass sich <math>f</math> als''
::<math>f(x_1,\dots,x_n)=\sum\limits_{q=1}^{2n+1} g_q\left(\sum\limits_{p=1}^{n} h_{p,q}(x_p)\right)</math>
: ''darstellen lässt.''
Für <math>n=3</math> und die Funktionen <math>\varphi_q(x_1,x_2):=h_{1,q}(x_1)+h_{2,q}(x_2)</math> und <math>\psi_q(y,x_3):=g_q(y,h_{3,q}(x_3))</math> folgt daraus gerade
:<math>f(x_1,x_2,x_3)=\sum\limits_{q=1}^{7} \psi_q\left(\varphi_q(x_1,x_2),x_3\right).</math>

1965 erweiterte Phillip A. Ostrand die Aussage von Kolmogorow von <math>E^n</math> auf endlichdimensionale [[Kompakter Raum|kompakte]] [[Metrisierbarer Raum|metrisierbare Räume]].<ref>{{Literatur |Autor=Phillip A. Ostrand |Titel=Dimension of metric spaces and Hilbert’s problem 13 |Sammelwerk=Bull. Amer. Math. Soc. |Band=71 |Nummer=4 |Datum=1965 |Seiten=619–622 |Online=https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society-new-series/volume-71/issue-4/Dimension-of-metric-spaces-and-Hilberts-problem-13/bams/1183527229.full?tab=ArticleLink |Abruf=2025-01-12}}</ref>

Offen blieb die Vermutung, wenn man andere Klassen betrachtet, die die algebraischen Funktionen umfassen. Bei analytischen Funktionen hatte Hilbert bereits im Fall von drei Variablen gefunden, dass es solche in drei Variablen gibt, die nicht durch solche in zwei Variablen darstellbar sind, und [[Alexander Markowitsch Ostrowski]] bewies 1920, dass solche in zwei Variablen nicht allgemein durch solche in einer Variablen darstellbar sind. Untersucht wurde auch die Frage ob p-mal stetig differenzierbare Funktionen von n Variablen durch q-mal differenzierbare von m Variablen darstellbar sind. [[Anatoli Georgijewitsch Wituschkin|Wituschkin]] zeigte 1955, dass dies für <math>\frac {m}{q} < \frac {n}{p}</math> im Allgemeinen nicht möglich ist.<ref>Vitushkin: ''Über höherdimensionale Variationen''. Moskau 1955 (russisch). Andrei Kolmogorow gab im selben Jahr einen einfacheren Beweis.</ref> <math>\frac {n}{p}</math> kann als Maß für die Komplexität p-fach differenzierbarer Funktionen in n Variablen aufgefasst werden.<ref>Vitushkin: ''Zum dreizehnten Hilbertschen Problem''. In: P. Alexandrov (Hrsg.): ''Die Hilbertschen Probleme''. Harri Deutsch, 1998, S.&nbsp;211.</ref>

Das Resolventenproblem fragt nach dem minimalen k, so dass sich die Lösungen einer algebraischen Gleichung n-ten Grades durch Superposition algebraischer Funktionen von k Variablen ausdrücken lassen. Für <math>n=5</math> ist <math>k=1</math>. In einer Arbeit von 1926 vermutete Hilbert, dass <math> k=2,3,4</math> jeweils für <math> n=6,7,8</math>, und fand <math>k\leq4</math> für <math>n=9</math>. [[Anders Wiman]] zeigte, dass für <math> n \geq 9</math> gilt <math>k \leq n-5</math>. Weitere Resultate erzielte [[Nikolai Grigorjewitsch Tschebotarjow]], zum Beispiel <math> k \leq n-6</math> für <math> n \geq 21</math>. Ab 2016 befassten sich auch [[Benson Farb]] und [[Jesse Wolfson]] mit dieser Variante des Hilbertschen 13. Problems und erzielten Teilresultate für Polynome höheren Grades bei der Eingrenzung von k (dem Resolvenzgrad nach [[Richard Brauer]]), worin sie die eigentliche Formulierung von Hilberts 13. Problem sehen.<ref>Stephen Ornes: [https://www.spektrum.de/news/polynome-hilberts-13-problem/1830538 ''Hilberts 13. Problem''.] Spektrum, 11.&nbsp;Februar 2021, abgerufen am 12.&nbsp;Januar 2025.</ref><ref>Benson Farb, Jesse Wolfson: ''Resolvent degree, Hilbert’s 13th Problem and geometry''. 2018 ([https://arxiv.org/abs/1803.04063 Arxiv,] abgerufen am 12.&nbsp;Januar 2025).</ref><ref>Jesse Wolfson: ''Tschirnhaus transformations after Hilbert''. 2020 ([https://arxiv.org/abs/2001.06515 Arxiv,] abgerufen am 12.&nbsp;Januar 2025).</ref> Auch Wladimir Arnold meinte in einem Rückblick auf sein Lebenswerk, dass nach seiner jetzigen Meinung die Frage der Darstellung (Superposition) einer algebraischen Funktion in drei Variablen durch solche in zwei Variablen eher dem Hilbertschen Problem entspräche.<ref>Wladimir Arnold: ''From Superpositions to KAM''. In: ''Regular and Chaotic Dynamics''. Band 19, 2014, S.&nbsp;734–744, zuerst in Russisch in Wladimir Arnold: ''Selected – 60''. Moskau 1997.</ref>

* [[George G. Lorentz]]: ''The 13-th problem of Hilbert''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 2, 1976, S.&nbsp;419–430.
* [[Jean-Pierre Kahane]]: ''Le 13ème problème de Hilbert : un carrefour de l’algèbre, de l’analyse et de la géométrie''. In: ''Cahiers du séminaire d’histoire des mathématiques''. Band 3, 1982, S.&nbsp;1–25.<ref>[https://www.numdam.org/item/CSHM_1982__3__1_0 ''numdam.org.'']</ref>
* [[Anatoli Georgijewitsch Wituschkin]]: ''Zum dreizehnten Hilbertschen Problem''. In: P. Alexandrov (Hrsg.): ''Die Hilbertschen Probleme''. Harri Deutsch, 1998.

=== Hilberts vierzehntes Problem ===
<div class="rahmenfarbe1" style="background:#66FF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Sind bestimmte [[Ring (Algebra)|Ringe]] (s.&nbsp;u.) [[Erzeugendensystem|endlich erzeugt]]?

'''Lösung:''' Nein.
</div>

Im vierzehnten Problem beschreibt Hilbert spezielle Ringe: Dabei sei <math>K[x_1, \ldots , x_n]</math> ein [[Polynomring]] über einem [[Körper (Algebra)|Körper]] <math>K</math>, <math>L\subseteq K(x_1, \ldots , x_n)</math> ein [[Körper (Algebra)#Körpererweiterung|Unterkörper]] des Körpers der [[Rationale Funktion|rationalen Funktionen]] in <math>n</math> Variablen und <math>R</math> sei der Schnitt
:<math> R := L \cap K[x_1, \ldots , x_n].</math>
Die Frage ist dann, ob die so konstruierten Ringe stets [[Erzeuger (Algebra)|endlich erzeugt]] sind, also ob es eine endliche Teilmenge des Ringes gibt, die <math>R</math> erzeugen.

Das Problem entstammte dem Umkreis der Ende des 19. Jahrhunderts florierenden Invariantentheorie (Ringe von unter der Wirkung von bestimmten Gruppen invarianten Polynomen), in der Hilbert selbst 1890<ref>Hilbert: ''Über die Theorie der algebraischen Formen''. Mathematische Annalen, Band 36, 1890, S.&nbsp;473–534.</ref> Aufsehen erregt hatte durch den Beweis der endlichen Erzeugbarkeit der polynomialen Invariantenringe im Fall von einigen klassischen halbeinfachen Liegruppen (wie der allgemeinen und speziellen linearen Gruppe) und Betrachtung über den komplexen Zahlen. Dabei benutzte er den von ihm bewiesenen [[Hilbertscher Basissatz|Basissatz]]. Das war von [[Hermann Weyl]] später auf alle halbeinfachen Liegruppen erweitert worden. [[Oscar Zariski]] formulierte das Problem im Rahmen der algebraischen Geometrie.<ref>O. Zariski: ''Interpretations algebrico-geometriques du quatorzieme probleme de Hilbert''. Bulletin des Sciences Mathematiques, Band 78, 1954, S.&nbsp;155–168.</ref>

Bis in die 1950er Jahre konnte man von einigen Spezialfällen, insbesondere den Fällen <math>n = 1</math> und <math>n = 2</math> nachweisen (Oscar Zariski), dass die so konstruierten Ringe tatsächlich endlich erzeugt sind. Die Ergebnisse legten also nahe, dass diese Aussage auch für alle Ringe der beschriebenen Art gelten könnte. Überraschend kam deshalb das Ergebnis von [[Masayoshi Nagata]], der 1957 ein Gegenbeispiel angab, bei dem dies nicht der Fall ist, und somit das Problem negativ löste.<ref>Nagata: ''On the fourteenth problem of Hilbert''. Proc. ICM 1958. Nagata: ''Lectures on the fourteenth problem of Hilbert''. Tata Institute of Fundamental Research, Bombay 1965.</ref>

* Masayoshi Nagata: ''On the 14-th problem of Hilbert''. American Journal of Mathematics, Band 81, 1959, S.&nbsp;766–772, {{ISSN|0002-9327}}.
* [[David Mumford]]: ''Hilbert’s fourteenth problem – the finite generation of subrings such as rings of invariants''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 2, 1976, S.&nbsp;431–444.

=== Hilberts fünfzehntes Problem ===
<div class="rahmenfarbe1" style="background:#FFFF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Wie kann [[Schubert-Kalkül|Schuberts Abzählungskalkül]] konkretisiert und formal begründet werden?

'''Lösung:''' Trotz Fortschritten im 20. Jahrhundert kann das Problem nicht als gelöst betrachtet werden.
</div>

Das Abzählungskalkül von [[Hermann Schubert (Mathematiker)|Schubert]] stammte noch aus dem 19. Jahrhundert und betrifft Schnittzahlen von algebraischen Varietäten. Es wurde von der italienischen Schule der algebraischen Geometrie aufgegriffen ([[Francesco Severi (Mathematiker)|Francesco Severi]] und andere), die sich aber nicht-strenger Methoden (heuristische Stetigkeitsargumente für die Invarianz der Schnittzahlen) bedienten. Mit der Weiterentwicklung der [[Algebraische Geometrie|algebraischen Geometrie]] im 20. Jahrhundert standen nach und nach mathematische Hilfsmittel zur Verfügung, mit denen [[Hermann Schubert (Mathematiker)|Hermann Schuberts]] Arbeit formalisiert werden konnte (unter anderem Theorie der Multiplizitäten von [[Alexander Grothendieck]], [[Pierre Samuel]], topologische Arbeiten von [[René Thom]], Beiträge unter anderem von [[Steven Kleiman]], [[William Fulton (Mathematiker)|William Fulton]], [[Robert MacPherson]], [[Michel Demazure]]). Der Problemkreis wird heute als [[Abzählende Geometrie]] bezeichnet. Das Problem kann aber nicht als gelöst betrachtet werden.<ref>Michael Kantor: ''Hilbert’s problems and their sequels''. Mathematical Intelligencer, 1996, Nr.&nbsp;1, S.&nbsp;25.</ref>

* Steven Kleiman: ''Rigorous foundation of Schubert’s enumerative calculus''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 2, 1976, S. 445–482.

=== Hilberts sechzehntes Problem ===
<div class="rahmenfarbe1" style="background:#FFFF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Was kann über die gegenseitige Lage von [[Algebraische Kurve|algebraischen Kurven]] ausgesagt werden?

'''Lösung:''' Es konnten verschiedene Ergebnisse erzielt werden, viele Fragen bleiben aber offen.
</div>

''Algebraische Kurven'' sind Teilmengen der Ebene, die durch Polynomgleichungen bestimmt werden. Dazu gehören zum Beispiel der [[Einheitskreis]] (<math>x^2 + y^2 = 1</math>) oder einfache [[Gerade]]n (<math>ax + b = y</math>). [[Axel Harnack (Mathematiker)|Axel Harnack]] konnte 1876 zeigen, dass solche Mengen bei Polynomen vom Grad <math>n</math> (auch Kurven <math>n</math>-ter Ordnung genannt) aus höchstens <math>\tfrac12(n - 1)(n - 2) + 1</math> Teilen (zusammenhängende Komponenten) bestehen können, die die Form von geschlossenen Kurven (Ovalen) haben (da die projektive Ebene betrachtet wird eventuell unter Einschluss des Punktes im Unendlichen). Er konnte außerdem Beispiele konstruieren, die diese Maximalzahl auch erreichen („M-Kurven“).

Hilbert behandelte 1891 den Fall <math>n=6</math> mit anderen Methoden als Harnack und fand zusätzliche Konfigurationen, die durch Harnacks Konstruktionsmethoden nicht gefunden werden konnten. Er stellte fest, dass die Teile nicht beliebig in der Ebene angeordnet sein können. So vermutete er beispielsweise, dass die elf Komponenten von M-Kurven sechster Ordnung immer so liegen, dass neun Komponenten sich im Inneren einer Schleife befinden und die letzte Komponente außerhalb dieser Schleife verläuft (oder umgekehrt in der Harnack-Konfiguration neun Komponenten außerhalb liegen und eine Komponente in einer anderen), und forderte im ersten Teil des sechzehnten Problems dazu auf, Zusammenhänge dieser Art näher zu untersuchen.

Dies geschah mit der Entwicklung der [[Topologie (Mathematik)|Topologie]] der reellen algebraischen [[Mannigfaltigkeit]]en. Die Rolle topologischer Invarianten in dem Problem erkannte [[Iwan Georgijewitsch Petrowski]] in den 1930er Jahren (und unabhängig auch schon die Hilbert-Schülerin [[Virginia Ragsdale]]) und er bewies 1949 mit [[Olga Oleinik]] Ungleichungen für das Problem, bei denen die Euler-Charakteristik einfloss. Die von Hilbert ausgesprochene Vermutung für Kurven vom sechsten Grad wurde 1969 durch [[Dmitri Andrejewitsch Gudkow|D.&nbsp;A.&nbsp;Gudkow]] in seiner Habilitationsthese widerlegt, nachdem er in seiner Dissertation 1954 noch gemeint hatte, einen Beweis gefunden zu haben. Seinem Betreuer missfiel in seiner Habilitation, dass die sich ergebende Figur aller Konfigurationen nicht symmetrisch war, und er fand schließlich im maximalen Fall eine zusätzliche Konfiguration, die Hilbert entgangen war: fünf Ovale in einer anderen und fünf außerhalb. Er vollendete damit die Klassifikation (bis auf Isotopie) der nicht-singulären ebenen algebraischen projektiven Kurven vom Grad 6.

Das Vorgehen bei M-Kurven besteht seit Hilbert aus der Deformation nicht-singulärer Ausgangskurven (Hilbert-Rohn-Gudkov-Methode), erforderte aber eine fortgeschrittene Singularitätentheorie, die zu Hilberts Zeit noch nicht bestand. Gudkov vermutete, dass bei ebenen Kurven von geradzahligem Grad <math>d=2k</math> für die maximale Zahl der Ovalen <math> p-o= k^2 \bmod 8</math> gilt (<math>p</math> ist die Anzahl gerader Ovale, das heißt enthalten in einer geraden Anzahl von Ovalen, und <math>o</math> die Anzahl ungerader Ovale). [[Wladimir Arnold]] bewies 1971 ein Teilresultat (<math>p-o=k^2 \bmod 4</math>) und formulierte das Problem gleichzeitig so (durch Komplexifizierung und Betrachtung auf der Riemannsphäre), dass der eigentliche topologische Grund für die Einschränkung der Konfigurationen deutlich wurde. Bald veröffentlichte [[Wladimir Abramowitsch Rochlin]] einen Beweis des Restes von Gudkovs Vermutung, fand aber wenig später, dass dieser falsch war und die Vermutung ebenfalls. Er fand aber eine verallgemeinerte Fassung (mit einer Kongruenz modulo 16 statt 8) und bewies diese.<ref>Rokhlin: ''Congruences modulo sixteen in the sixteenth Hilbert problem''. Functional Analysis and Applications, Band 6, 1972, S.&nbsp;301–306, Teil 2, Band 7, 1973, S.&nbsp;91–92.</ref> Arnold selbst und andere bewiesen auch Ungleichungen (für numerische Invarianten, die sich auf die Position der Ovalen beziehen). Der Fall der Klassifikation bei Kurven siebten Grades wurde 1979 von [[Oleg Viro]] gelöst, so dass der Fall der Klassifikation ebener projektiver nicht-singulärer algebraischer Kurven bis auf Isotopie bis <math> n \leq 7</math> gelöst ist (mit bedeutenden Fortschritten im Fall von M-Kurven bei <math>n=8</math>), wobei die einfachen Fälle <math> n \leq 5</math> schon im 19. Jahrhundert gelöst wurden.

Andere Resultate, die Hilbert erwähnte, beziehen sich auf das dreidimensionale Äquivalent der Fragestellung: [[Karl Rohn]] hat bereits im 19. Jahrhundert gezeigt, dass algebraische Flächen vierter Ordnung aus höchstens zwölf Flächen bestehen können. Die exakte obere Grenze war damals nicht bekannt. [[Viatcheslav Kharlamov|V.&nbsp;M.&nbsp;Kharlamov]] bewies 1972, dass sie bei 10 liegt, und er vollendete diese Studien nicht-singulärer quartischer Flächen in drei Dimensionen bis 1976. Die explizit von Hilbert gestellten Probleme wurden damit durch die Leningrader Schule (D.&nbsp;A. Gudkov, V.&nbsp;M. Kharlamov, Wladimir Arnold, Wladimir Abramowitsch Rochlin) in der Zeit von 1969 bis 1972 endgültig gelöst.

Während der erste Teil von Hilberts 16.&nbsp;Problem die ebene reelle algebraische Geometrie betrifft, fragt der zweite Teil nach der Existenz einer oberen Schranke für die Anzahl von [[Grenzzyklus|Grenzzyklen]] ebener polynomialer dynamischer Systeme und Aussagen über deren relative Lage. Das Problem ist ungelöst und von [[Stephen Smale]] in seine Liste mathematischer Probleme aufgenommen worden. Smale hält das Problem neben der Riemannvermutung für das schwierigste der Hilbertprobleme. Es gab noch nicht einmal wesentliche Fortschritte zur Lösung und nicht einmal für Polynome vom Grad <math>n=2</math> ist die Obergrenze bekannt. Es ist nur bekannt, dass die Anzahl der Grenzzyklen endlich ist ([[Juli Sergejewitsch Iljaschenko]], [[Jean Écalle]], nachdem sich ein Beweis von [[Henri Dulac]] von 1923 als fehlerhaft herausstellte).

* Oleg Viro: ''The 16th Hilbert problem, a story of mystery, mistakes and solution''. Vortragsfolien, Uppsala 2007 ([http://www.pdmi.ras.ru/~olegviro/H16-e.pdf PDF; 2,9 MB]).

=== Hilberts siebzehntes Problem ===
<div class="rahmenfarbe1" style="background:#66FF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Kann jede [[rationale Funktion]], die überall, wo sie definiert ist, nichtnegative Werte annimmt, als Summe von Quadraten von rationalen Funktionen dargestellt werden?

'''Lösung:''' Ja.
</div>

Eine Funktion <math>f</math> mit der Eigenschaft, dass <math>f (x_1, \ldots, x_n) \geq 0 </math> für alle <math>x_i \in k</math> (an den Stellen, an denen sie definiert ist, also nicht divergiert), wird auch als definit bezeichnet.

Für <math>n=2</math> Variablen löste Hilbert selbst das Problem 1893.

Das allgemeine Problem wurde 1927 von [[Emil Artin]]<ref>Artin: ''Über die Zerlegung definiter Funktionen in Quadrate''. Abh. Math. Seminar Hamburg, Band 5, 1927, S.&nbsp;100–115.</ref> in positivem Sinn gelöst. Die Arbeit war der Ausgangspunkt der Theorie formal reeller Körper und [[geordneter Körper]] in der Algebra (siehe auch [[reell abgeschlossener Körper]]), von Artin und [[Otto Schreier]] entwickelt.<ref>Artin, Schreier: ''Algebraische Konstruktion reeller Körper''. Abh. Math. Seminar Hamburg, Band 5, 1927, S.&nbsp;85–99.</ref> Außerdem war er von Bedeutung für die Entwicklung der reellen algebraischen Geometrie.

Artin bewies: Ist <math>f</math> eine definite rationale Funktion über den reellen, rationalen oder reellen algebraischen Zahlen (allgemein einem Unterkörper der reellen Zahlen, der nur eine einzige Anordnung erlaubt), so ist sie eine Summe von Quadraten von rationalen Funktionen: <math>f = \sum_i g_i^2.</math>

[[Albrecht Pfister (Mathematiker)|Albrecht Pfister]] bewies später, dass für <math>n</math> Variablen <math>2^n</math> Quadrate ausreichen.<ref>Pfister: ''Zur Darstellung definiter Funktionen als Summe von Quadraten''. Inventiones Mathematicae, Band 4, 1967, S.&nbsp;229–237.</ref>

* Albrecht Pfister: ''Hilbert’s seventeenth problem and related problems on definite forms''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems.'' AMS, Teil 2, 1976, S.&nbsp;507–524.
* N. Jacobson: ''Lectures on abstract algebra''. Band 3, Van Nostrand 1964, Neuauflage Graduate Texts in Mathematics, Springer (Lehrbuch-Darstellung der Ergebnisse von Artin).
* H. Benis-Sinaceur: ''De D. Hilbert a E. Artin: Les différents aspects du dix-septième problème de Hilbert et les filiations conceptuelles de la théorie des corps réels clos''. Arch. Hist. Exact Sci., Band 29, 1984, S.&nbsp;267–286.

=== Hilberts achtzehntes Problem ===
<div class="rahmenfarbe1" style="background:#66FF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Gibt es nur endlich viele wesentlich verschiedene [[Raumgruppe]]n im <math>n</math>-dimensionalen [[Euklidischer Raum|euklidischen Raum]]?

'''Lösung:''' Ja.
</div>

Der erste Teil von Hilberts achtzehntem Problem ist die mathematische Formulierung einer Frage aus der [[Kristallografie]]. Viele feste Stoffe besitzen auf atomarer Ebene eine kristalline Struktur, die sich mathematisch mit Bewegungsgruppen beschreiben lässt. Man konnte schon früh zeigen, dass es in der Ebene 17 und im Raum 230 wesentlich verschiedene Raumgruppen gibt. [[Ludwig Bieberbach]] konnte schließlich 1910 zeigen, dass diese Zahl auch in höheren Dimensionen stets endlich ist ([[Bieberbachsche Sätze]]).

Im zweiten Teil des Problems fragt Hilbert, ob es im dreidimensionalen Raum Polyeder gibt, die nicht als [[Fundamentalbereich]] einer Bewegungsgruppe auftreten, mit denen aber trotzdem der gesamte Raum lückenlos gekachelt werden kann. Dass dies der Fall ist, konnte erstmals [[Karl Reinhardt (Mathematiker)|Karl Reinhardt]] 1928 durch Angabe eines Beispiels zeigen. Das Gebiet ist ein aktives Forschungsgebiet (zum Beispiel [[Quasikristall]]e nach [[Roger Penrose]], selbstähnliche fraktale Parkettierungen von William Thurston).

Zuletzt fragt Hilbert nach der platzsparendsten Art, Kugeln im Raum anzuordnen. Bereits [[Johannes Kepler]] stellte 1611 die Vermutung auf, dass die [[Kubisches Gitter|kubisch-flächenzentrierte Packung]] und die [[Hexagonales Gitter|hexagonale Packung]] optimal sind. Diese auch als [[keplersche Vermutung]] bekannte Aussage stellte sich jedoch als – wenn auch wenig überraschend – äußerst schwierig zu beweisen heraus. Erst 1998 veröffentlichte [[Thomas Hales]] einen computergestützten Beweis, der mittlerweile (2010) geprüft und anerkannt ist. [[Dichteste Kugelpackung]]en in höheren Dimensionen sind nach wie vor ein aktives Forschungsgebiet.

* [[John Milnor]]: ''Hilbert’s problem 18: On crystallographic groups, fundamental domains and sphere packing''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 2, 1976, S. 491–506.

=== Hilberts neunzehntes Problem ===
<div class="rahmenfarbe1" style="background:#66FF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Sind alle Lösungen von regulären Variationsproblemen [[Analytische Funktion|analytisch]]?

'''Lösung:''' Unter gewissen Voraussetzungen ja.
</div>

Hilbert fand es bemerkenswert, dass es [[partielle Differentialgleichung]]en gibt (wie die [[Laplacegleichung]] oder die [[Minimalfläche]]n-Gleichung), die nur analytische Lösungen zulassen, also solche, die lokal durch [[Potenzreihe]]n dargestellt werden können. Nach Hilbert stehen sie alle mit Variationsproblemen (als Lösungen der zugehörigen [[Euler-Lagrange-Gleichung]]en) in Verbindung, die bestimmte Regularitätsbedingungen erfüllen. Hilbert formulierte das Problem dann als Regularitätsproblem für elliptische partielle Differentialgleichungen mit analytischen Koeffizienten.

Bereits im Jahr 1903 konnte [[Sergei Natanowitsch Bernstein|Sergei Bernstein]] das Problem lösen, indem er die Analytizität der Lösungen einer gewissen Klasse von Differentialgleichungen bewies, die auch die fraglichen Gleichungen umfassen, unter der Voraussetzung, dass die dritten [[Differentialrechnung|Ableitungen]] der Lösungen existieren und beschränkt sind. Bernstein behandelte elliptische partielle Differentialgleichungen zweiter Ordnung in zwei Variablen. Später konnten unter anderem [[Leon Lichtenstein]], [[Eberhard Hopf]], [[Iwan Georgijewitsch Petrowski|Ivan Petrovsky]] und [[Charles Morrey]] das Ergebnis verallgemeinern. Eine vollständige Lösung lieferten dann [[Ennio De Giorgi]] und [[John Forbes Nash]] in den 1950er Jahren.

Es gibt verschiedene Verallgemeinerungen des Problems, indem die Bedingungen an die Funktionale des Variationsproblems gelockert werden. Hier fanden aber ab Ende der 1960er Jahre [[Wladimir Gilelewitsch Masja]], [[Ennio De Giorgi]] und andere Gegenbeispiele.

* [[Olga Oleinik]]: ''Zum neunzehnten Hilbertschen Problem''. In: Pavel S. Alexandrov (Hrsg.): ''Die Hilbertschen Probleme''. Harri Deutsch, 1998, S. 275–278.

=== Hilberts zwanzigstes Problem ===
<div class="rahmenfarbe1" style="background:#66FF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Unter welchen Bedingungen besitzen [[Randwertproblem]]e Lösungen?

'''Lösung:''' Die Existenz einer Lösung kann nicht in jedem Fall durch eine Beschränkung der Randwerte gesichert werden.
</div>

Das zwanzigste Problem hängt eng mit dem neunzehnten zusammen und hat ebenfalls direkten Bezug zur Physik. Eine Motivation Hilberts war seine Beschäftigung mit und seine Rettung des [[Dirichletsches Prinzip|Dirichletschen Prinzips]] (1904), des Beweises der Existenz der Lösung eines speziellen Variationsproblems, das [[Bernhard Riemann]] in seinen Arbeiten über Funktionentheorie verwendete, das dann aber durch die Kritik von [[Karl Weierstraß]] in Misskredit geriet. Das Variationsproblem führte auf die Laplacegleichung, ein Spezialfall elliptischer partieller Differentialgleichungen, die er als Lösung von Variationsproblemen schon im 19. Problem behandelte. Hier fragt er nach Randbedingungen für die Lösungen der partiellen Differentialgleichung, die die Existenz einer Lösung sicherstellen. Das Problem erwies sich als äußerst fruchtbar und es gibt umfangreiche Resultate zum Thema, sodass das Problem als gelöst angesehen werden kann. Die ersten wichtigen Schritte zur Lösung kamen wieder von [[Sergei Natanowitsch Bernstein|Sergei Bernstein]] um 1910, weitere Fortschritte unter anderem von [[Jean Leray]] (1939).

* [[David Gilbarg]], [[Neil Trudinger]]: ''Elliptic partial differential equations of the second order''. Springer, 3. Auflage 1998.
* [[James Serrin]]: ''The problem of Dirichlet for quasilinear elliptic differential equations with many independent variables''. Philosophical Transactions of the Royal Society A, Band 264, 1969, S. 413–496.
* [[James Serrin]]: ''The solvability of boundary value problems''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 2, 1976, S. 507–524.
* [[Enrico Bombieri]]: ''Variational problems and elliptic equations (Hilbert’s problem 20)''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 2, 1976, S. 525–536.

=== Hilberts einundzwanzigstes Problem ===
<div class="rahmenfarbe1" style="background:#66FF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Gibt es stets ein System von [[Frobenius-Methode|fuchsschen Differentialgleichungen]] bei gegebenen Singularitäten und gegebener [[Monodromie]]gruppe?

'''Lösung:''' Nein.
</div>

Fuchssche Differentialgleichungen sind homogene lineare Differentialgleichungen n-ter Ordnung im Komplexen (betrachtet auf der Riemannschen Zahlenkugel <math>\hat \mathbb C</math>, also mit dem Punkt im Unendlichen <math>x_0</math>), bei denen das singuläre Verhalten der Koeffizientenfunktionen auf bestimmte Weise eingeschränkt ist. Man kann sie als äquivalentes System von <math>n</math> linearen Differentialgleichungen erster Ordnung <math> \frac {d f_i(z)}{dz}=\sum_j A_{ij} (z) f_j(z)</math> darstellen mit einer Matrix von Koeffizientenfunktionen <math> A (z)</math> nur mit Polen 1.&nbsp;Ordnung. Setzt man eine lokal gegebene Lösung um die k singulären Stellen <math> x_i</math> fort, erhält man bei Rückkehr zum Ausgangspunkt eine Transformation des Fundamentalsystems der Lösungen in sich durch eine (n×n)-Matrix <math>D </math>, die Monodromiematrix. Man erhält einen [[Homomorphismus]] der [[Fundamentalgruppe]] <math> \pi_1</math> von <math> \hat \mathbb C - \{x_0, \ldots, x_k \}</math> in die allgemeine lineare Gruppe <math> GL (n, \mathbb C)</math>. Das Problem lautet: Gibt es für k gegebene singuläre Stellen und eine beliebige Untergruppe von <math> GL (n, \mathbb C)</math> als Monodromiematrix ein solches Differentialgleichungssystem?

Nachdem die Frage zunächst für einige Spezialfälle positiv beantwortet werden konnte (unter anderem befassten sich Hilbert selbst mit dem Problem und davor Poincaré und [[Ludwig Schlesinger (Mathematiker)|Ludwig Schlesinger]]) und man bis in die 1980er Jahre dachte, dass [[Josip Plemelj]] 1908 die Lösung bereits gefunden hatte (in bejahendem Sinn), wobei er die Theorie der Fredholmschen Integralgleichungen benutzte, fand man Anfang der 1980er Jahre eine Lücke in dessen Beweis. Der Beweis von Plemelj gilt nicht für alle fuchsschen Systeme, sondern nur mit sogenannten regulären singulären Stellen (polynomiales Wachstum der Funktion um die singulären Stellen), denn [[Andrei Andrejewitsch Bolibruch|Andrei Bolibruch]] fand 1989 ein Gegenbeispiel. Bolibruch fand aber, dass es solche Differentialgleichungen gibt, wenn man irreduzible Darstellungen der Monodromiegruppe betrachtet, und klassifizierte für <math>n=3</math> alle fuchsschen Systeme, für die es eine Monodromiedarstellung gibt.

Es wurden auch verschiedene Verallgemeinerungen über fuchssche Differentialgleichungen hinaus betrachtet (zum Beispiel von [[Helmut Röhrl]]). Für regulär singuläre Punkte und Verallgemeinerungen des Begriffs gewöhnlicher linearer Differentialgleichungen gelang [[Pierre Deligne]] eine allgemeine positive Lösung des Problems.<ref>[[Nicholas Katz]]: ''An overview of Deligne’s work on Hilbert’s twenty-first problem''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 2, 1976, S.&nbsp;537–585.</ref><ref>Deligne: ''Équations différentiels à points singuliers regulières''. Lecture Notes in Mathematics, Springer 1970.</ref>

* [[Dmitri Wiktorowitsch Anossow|D. V. Anosov]], A. A. Bolibruch: ''Aspects of Mathematics – The Riemann-Hilbert problem.'' Vieweg, Braunschweig 1994, ISBN 3-528-06496-X.
* [[Helmut Röhrl]]: ''Zum einundzwanzigsten Hilbertschen Problem''. In: Pavel S. Alexandrov (Hrsg.): ''Die Hilbertschen Probleme''. Harri Deutsch, 1998 (behandelt die Entwicklung bis in die 1960er Jahre).

=== Hilberts zweiundzwanzigstes Problem ===
<div class="rahmenfarbe1" style="background:#FFFF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Wie können analytische Beziehungen mittels automorpher Funktionen [[Uniformisierung|uniformisiert]] werden?

'''Lösung:''' Für Gleichungen mit zwei Variablen gelöst, bei mehr Variablen gibt es noch offene Fragen.
</div>

Es handelt sich um eines der damals berühmtesten mathematischen Probleme, über das in der zweiten Hälfte des 19. Jahrhunderts und Anfang des 20. Jahrhunderts viel geforscht wurde. Bei der ''Uniformisierung'' setzt man sich zum Ziel, [[Kurve (algebraische Geometrie)|algebraische Kurven]] in zwei Variablen zu parametrisieren, also die Variablen durch Funktionen zu ersetzen, die nur noch von einer Veränderlichen abhängen. So lässt sich beispielsweise der Einheitskreis, der durch <math>x^2 + y^2 = 1</math> gegeben ist, parametrisieren, indem man für <math>x</math> und <math>y</math> jeweils <math>\cos \alpha</math> und <math>\sin \alpha</math> einsetzt. Der gesuchte Uniformisierungssatz war eine Verallgemeinerung des [[Riemannscher Abbildungssatz|Riemannschen Abbildungssatzes]] auf kompakte Riemannflächen, und um dessen Lösung lieferten sich [[Felix Klein (Mathematiker)|Felix Klein]] und Poincaré Ende des 19. Jahrhunderts einen Wettkampf, aus dem Poincaré zunächst als Sieger hervorging. Dessen Beweis befriedigte Hilbert aber nicht.

1907 konnten Poincaré und unabhängig [[Paul Koebe]] das Problem schließlich lösen – allerdings nur für den Fall mit zwei Variablen. Verallgemeinert man das Problem auf mehr als zwei Variablen, so gibt es immer noch ungeklärte Fragen auf diesem Gebiet (Teil eines Programms von [[William Thurston]]).

* [[Lipman Bers]]: ''On Hilbert’s twenty-second problem''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 2, 1976, S. 559–609.

=== Hilberts dreiundzwanzigstes Problem ===
<div class="rahmenfarbe1" style="background:#FFFF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Wie können die Methoden der [[Variationsrechnung]] weiterentwickelt werden?

'''Lösung:''' Das Problem ist zu vage gestellt, als dass man eine konkrete Lösung angeben könnte.
</div>

Die Variationsrechnung ist in Hilberts Worten „die Lehre vom Variieren der Funktionen“ und hatte in seiner Auffassung eine besondere Wichtigkeit. Deswegen formuliert er im letzten Teil seines Vortrags kein spezielles Problem mehr, sondern forderte allgemein zur Weiterentwicklung dieses Gebietes auf. Mit der Entwicklung und dem umfangreichen Ausbau der [[Funktionalanalysis]] wurde diesem Anliegen Hilberts im 20. Jahrhundert Rechnung getragen, auch im Bereich der Anwendungen (zum Beispiel Theorie [[Optimale Steuerung|optimaler Steuerungen]]). Hilberts eigene spätere Arbeit zum Dirichletschen Prinzip stand am Anfang der Einführung „direkter Methoden“ in die Variationsrechnung. Übersichten über die Entwicklung im 20. Jahrhundert stammen unter anderem von [[Stefan Hildebrandt]]<ref>Josef Bemelmans, Stefan Hildebrandt, Wolfgang Wahl: ''Partielle Differentialgleichungen und Variationsrechnung''. In: Gerd Fischer u. a.: ''Ein Jahrhundert Mathematik 1890–1990.'' Festschrift zum Jubiläum der DMV, Vieweg 1990, S.&nbsp;149–230.</ref> und [[Guido Stampacchia]].<ref>Stampacchia: ''Hilbert’s twenty-third problem: extensions of the calculus of variations''. In: F. Browder: ''Mathematical developments arising from Hilbert’s problems''. AMS, Teil 2, 1976, S.&nbsp;611–628.</ref>

{{Hauptartikel|Variationsrechnung}}

=== „Hilberts vierundzwanzigstes Problem“ ===
<div class="rahmenfarbe1" style="background:#FFFF66; border-style:solid; margin:1em 0; padding:0.2em 0.4em;">
'''Fragestellung:''' Wie kann die Einfachheit eines mathematischen Beweises gemessen werden? Wie kann ein einfachster Beweis eines Satzes gefunden werden?

'''Lösung:''' Das Problem ist zu vage gestellt, als dass man eine konkrete Lösung angeben könnte.
</div>

Hilberts 24. Problem ist ein mathematisches Problem, dessen Formulierung in Hilberts Nachlass gefunden wurde und das manchmal als Ergänzung seiner Liste von 23 mathematischen Problemen benannt wird. Hilbert stellt dabei die Frage nach Kriterien beziehungsweise Beweisen dafür, ob ein Beweis der einfachste für ein mathematisches Problem ist.

{{Hauptartikel|Hilberts 24. Problem}}

== Literatur ==
* David Hilbert: [https://gdz.sub.uni-goettingen.de/id/PPN252457811_1900 ''Mathematische Probleme''.] In: ''Nachrichten der Königlichen Gesellschaft der Wissenschaften zu Göttingen, mathematisch-physikalische Klasse.'' Heft 3, 1900, S.&nbsp;253–297, {{ISSN|0369-6650}}.
* David Hilbert: ''Sur les problèmes futurs des mathématiques''. Compte Rendu du deuxième congrès international des mathématiciens, Paris, Gauthier-Villars, 1902, S.&nbsp;58–114 (französische Übersetzung von Léonce Laugel).
* David Hilbert: ''Mathematical problems''. Bulletin of the American Mathematical Society, Band 8, 1901, S.&nbsp;437–479 (englische Übersetzung von Mary Newson).
* David Hilbert: ''Mathematische Probleme''. Archiv der Mathematik und Physik, 3. Reihe, Band 1, 1901, S.&nbsp;44–63, S.&nbsp;213–237.
* David Hilbert: ''Vortrag „Mathematische Probleme“. Gehalten auf dem 2. Internationalen Mathematikerkongreß Paris 1900.'' In: Autorenkollektiv unter der Redaktion von [[Pawel Alexandrow|Pavel S.&nbsp;Aleksandrov]]: ''Die Hilbertschen Probleme'' (=&nbsp;''Ostwalds Klassiker der exakten Wissenschaften.'' Bd.&nbsp;252). 4.&nbsp;Auflage, Nachdruck der 3., unveränderten Auflage. Deutsch, Thun u.&nbsp;a. 1998, ISBN 3-8171-3401-0.
* Autorenkollektiv unter der Redaktion von [[Pawel Sergejewitsch Alexandrow|Pavel S. Alexandrov]]: ''Die Hilbertschen Probleme'' (=&nbsp;''Ostwalds Klassiker der exakten Wissenschaften.'' Bd.&nbsp;252). 4.&nbsp;Auflage, Nachdruck der 3., unveränderten Auflage. Deutsch, Thun u.&nbsp;a. 1998, ISBN 3-8171-3401-0.
** Beiträge von [[Anatoli Georgijewitsch Wituschkin|A. G. Vitushkin]] (13. Problem), [[Jewgeni Grigorjewitsch Skljarenko]] (E. G. Skljarenko, 5. Problem), [[Boris Wladimirowitsch Gnedenko]] (6. Problem), [[Alexander Ossipowitsch Gelfond]] (7. Problem), [[Alexander Jessenin-Wolpin]] (1. und 2. Problem), [[Wladimir Grigorjewitsch Boltjanski]] (3. Problem), [[Isaak Moissejewitsch Jaglom]] (4. Problem), [[Juri Linnik]] (8. Problem), [[Dmitri Konstantinowitsch Faddejew|D. K. Fadeev]] (9. Problem), Juri I. Chmelevskij (10. Problem), [[Yuri Manin]] (Problem 11, 12, 14, 15, 17), [[Olga Oleinik]] (Problem 16, 19), [[Boris Nikolajewitsch Delone]] (Problem 18), [[Alexander Grigorjewitsch Sigalow]] (A. G. Sigalov (1913–1969), Problem 19, 20), [[Helmut Röhrl]] (Problem 21), Lev Ernestovich Elsgolc (Problem 23), [[Boris Wladimirowitsch Schabat]] (1917–1987, Problem 22), der Stand der Diskussion ist vielfach noch auf dem Ende der 1960er Jahre (die erste Auflage erschien 1971) mit einigen Ergänzungen der deutschen Herausgeber zum Beispiel bei der Lösung des zehnten Problems.
* [[Felix Browder|Felix E. Browder]] (Hrsg.): ''Mathematical Developments arising from Hilbert’s Problems'' (=&nbsp;''Proceedings of Symposia in Pure Mathematics.'' Bd.&nbsp;28). 2 Bände. American Mathematical Society, Providence RI 1976, ISBN 0-8218-9315-7.
* [[Ivor Grattan-Guinness]]: ''A Sideways Look at Hilbert’s Twenty-three Problems of 1900''. Notices AMS, August 2000 ({{Toter Link |url=http://www.ams.org/notices/200007/index.html |text=online}}).
* [[Jeremy Gray|Jeremy J. Gray]]: ''The Hilbert Challenge.'' Oxford University Press, Oxford u.&nbsp;a. 2000, ISBN 0-19-850651-1.
* [[Jean-Michel Kantor]]: ''Hilberts’s Problems and their Sequels''. Mathematical Intelligencer, Band 18, 1996, Heft 1, S.&nbsp;21–30.
* [[Rüdiger Thiele (Mathematiker)|Rüdiger Thiele]]: ''Hilbert and his Twenty-Four Problems.'' In: Glen van Brummelen, Michael Kinyon (Hrsg.): ''Mathematics and the Historians Craft. The Kenneth O. May Lectures'' (=&nbsp;''CMS Books in Mathematics.'' Bd.&nbsp;21). Springer, New York NY 2005, ISBN 0-387-25284-3, S.&nbsp;243–296.
* Benjamin H. Yandell: ''The honors class. Hilbert’s problems and their solvers.'' AK Peters, Natick MA 2001, ISBN 1-56881-141-1.

== Siehe auch ==
* [[Ungelöste Probleme der Mathematik]]
* [[Millennium-Probleme]]. Im Jahr 2000, 100 Jahre nach Hilberts Liste von Problemen, wurde vom [[Clay Mathematics Institute]] in Cambridge (Mass.) in der Tradition Hilberts eine neue Liste von 7 ungelösten Problemen der Mathematik erfasst.

== Weblinks ==
{{Commonscat|Hilbert's problems|Hilbertsche Probleme}}
{{Wikisource|Mathematische Probleme}}
* [http://aleph0.clarku.edu/~djoyce/hilbert/ Webseite von David Joyce zu den Hilbert Problemen mit Links]
* [https://www.spektrum.de/lexikon/mathematik/hilbertsche-probleme/3965 Hilbertsche Probleme im Lexikon der Mathematik auf Spektrum.de]

== Einzelnachweise ==
<references responsive />

[[Kategorie:Geschichte der Mathematik]]
[[Kategorie:David Hilbert als Namensgeber]]