imported>SchlurcherBot: Bot: http → https

2026-01-28T02:58:02Z

Bot: http → https

Neue Seite

'''Hilberts 24. Problem''' ist ein mathematisches Problem, dessen Formulierung in [[David Hilbert|David Hilberts]] Nachlass gefunden wurde und als Ergänzung von [[Hilbertsche Probleme|Hilberts Liste von 23 mathematischen Problemen]] gilt. Hilbert stellt hier die Frage nach Kriterien bzw. Beweisen dafür, ob ein [[Beweis (Mathematik)|Beweis]] der einfachste für ein mathematisches Problem ist.
__TOC__
== Vorgeschichte ==
David Hilbert hat im August 1900 auf dem 2. [[Internationaler Mathematikerkongress|Internationalen Mathematiker-Kongress]] in Paris über Forschungsschwerpunkte referiert und im Herbst desselben Jahres 23 Probleme veröffentlicht.<ref>Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen (1900)</ref> Im Oktober 2000 berichtete der Wissenschaftshistoriker [[Rüdiger Thiele (Mathematiker)|Rüdiger Thiele]] von der Universität Leipzig, er habe im Nachlass Hilberts<ref>Mathematische Notizbücher (drei), Niedersächsische Staats- und Universitätsbibliothek Göttingen, Handschriftenabteilung</ref> ein 24. Problem gefunden.<ref>[http://www.maa.org/programs/maa-awards/writing-awards/hilberts-twenty-fourth-problem Rüdiger Thiele: Hilbert’s Twenty-Fourth Problem, American Mathematical Monthly, Januar 2003] (PDF; 201 kB)</ref>

== Text ==
Die Eintragung lautet nach Teun Koetsier (Universität Amsterdam)<ref>[https://www.nieuwarchief.nl/serie5/pdf/naw5-2001-02-1-065.pdf Teun Koetsier: Hilberts 24ste probleem] (PDF; 150 kB)</ref> (deutscher Originaltext, teilweise im [[Faksimile]]):

„Als 24stes Problem in meinem Pariser Vortrag wollte ich die Frage stellen: Kriterien für die Einfachheit bez. Beweis der grössten<ref>Hilbert schreibt laut Faksimile in Koetsiers Aufsatz „grössten“, „Ueberhaupt“, „Hülfsmittel“, „bloss“ und „ueber“.</ref> Einfachheit von gewissen [[Beweis (Mathematik)|Beweisen]] führen. Ueberhaupt eine Theorie der Beweismethoden in der Mathematik entwickeln. Es kann doch bei gegebenen Voraussetzungen nur einen einfachsten Beweis geben. Ueberhaupt, wenn man für einen Satz 2 Beweise hat, so muss man nicht eher ruhen, als bis man sie beide aufeinander zurückgeführt hat oder genau erkannt hat, welche verschiedenen Voraussetzungen (und Hülfsmittel) bei den Beweisen benutzt werden: Wenn man 2 Wege hat, so muss man nicht bloss diese Wege gehen oder neue suchen, sondern dann das ganze zwischen den beiden Wegen liegende Gebiet erforschen.<ref>[http://boole.stanford.edu/~dominic/papers/invar/invar.pdf Dominic Hughes: Towards Hilbert's 24th Problem: Combinatorial Proof Invariants, Stanford University, 2006] (PDF; 399 kB)</ref> Ansätze, die Einfachheit der Beweise zu beurteilen, bieten meine Untersuchungen ueber [[Syzygie (Mathematik)|Syzygie]]n und Syzygien zwischen Syzygien. Die Benutzung oder Kenntnisse einer Syzygie vereinfacht den Beweis, dass eine gewisse Identität richtig ist, erheblich. Da jeder Process des Addierens Anwendung des commutativen Gesetzes der Addition ist – dies immer geometrischen Sätzen oder logischen Schlüssen entspricht, so kann man diese zählen und z. B. beim Beweis bestimmter Sätze in der Elementargeometrie (Pythagoras oder ueber merkwürdige Punkte im Dreieck) sehr wohl entscheiden, welches der einfachste Beweis ist.“

== Heutige Perspektive ==

Aufgrund der vagen Formulierung des Problems ist es weniger als präzise Problemstellung, sondern eher als Forschungsidee zu verstehen. Aus dem Originaltext lassen sich einige auch in der heutigen Forschung präsente Fragestellungen herauslesen.

* Wie kann die Einfachheit von Beweisen definiert werden?
* Wie kann ein einfachster Beweis eines Satzes gefunden werden?
* Wie kann eine Theorie von mathematischen Beweisen und deren Komplexität entwickelt werden?
* Welche verschiedenen Voraussetzungen können zum Beweis eines Satzes herangezogen werden?
* Können je zwei Beweise desselben Satzes ineinander überführt werden?

Diese Fragen werden heute im erweiterten Rahmen der [[Mathematische Logik|Logik]] und der [[Beweistheorie]] behandelt.
Die Frage nach nötigen Voraussetzungen ist zentraler Gegenstand der [[Reverse Mathematik|reversen Mathematik]].
Tatsächlich kann in der [[Homotopietypentheorie]], einer alternativen Axiomatisierung der Mathematik, ein präziser Begriff von „Gleichheit“ von Beweisen definiert werden. Es gibt Sätze, die im Sinne der Homotopietypentheorie mindestens zwei verschiedene Beweise haben.<ref>Steve Awodey: [https://www.andrew.cmu.edu/user/awodey/preprints/tait.pdf A proposition is the (homotopy) type of its proofs]</ref>

== Einzelnachweise ==
<references />

[[Kategorie:Geschichte der Mathematik]]
[[Kategorie:Philosophie der Mathematik]]

Hilberts 24. Problem - Versionsgeschichte

imported>SchlurcherBot: Bot: http → https