Hilberts 24. Problem

Hilberts 24. Problem ist ein mathematisches (wissenschaftstheoretisches) Problem, dessen Formulierung in David Hilberts Nachlass gefunden wurde und als Ergänzung von Hilberts Liste von 23 mathematischen Problemen gilt. Hilbert stellt hier die Frage nach Kriterien bzw. Beweisen dafür, ob ein Beweis der einfachste für ein mathematisches Problem ist.

Vorgeschichte

David Hilbert hat im August 1900 auf dem 2. Internationalen Mathematiker-Kongress in Paris über Forschungsschwerpunkte referiert und im Herbst desselben Jahres 23 Probleme veröffentlicht.^[1] Im Oktober 2000 berichtete der Wissenschaftshistoriker Rüdiger Thiele von der Universität Leipzig, er habe im Nachlass Hilberts^[2] ein 24. Problem gefunden.^[3]

Text

Die Eintragung (aus dem Jahre 1901^[sic?]) lautet nach Teun Koetsier (Universität Amsterdam) ^[4] (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 Einfachheit ^[5]von gewissen 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 ^[6]. Ansätze, die Einfachheit der Beweise zu beurteilen, bieten meine Untersuchungen über Syzygien 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 über merkwürdige Punkte im Dreieck) sehr wohl entscheiden, welches der einfachste Beweis ist. Jedoch ist gerade die Stärke der Mathematik jene, über verschiedene formale Systeme, auch Aussagen in anderen formalen Systemen ihrer selbst treffen zu können, manchmal sind diese Beweise dann eleganter als im anderen System, somit ist dieses Hilbertproblem ungelöst.(eigentlich unlösbar, aber da dies noch nicht bewiesen ist, darf man dies noch nicht annehmen.)“

Einzelnachweise

1. ↑ Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen (1900)
2. ↑ Mathematische Notizbücher (drei), Niedersächsische Staats- und Universitätsbibliothek Göttingen, Handschriftenabteilung
3. ↑ Rüdiger Thiele: Hilbert´s Twenty-Fourth Problem, American Mathematical Monthly, Januar 2003
4. ↑ Teun Koetsier: Hilberts 24ste probleem
5. ↑ Hilbert schreibt laut Faksimile in Koetsiers Aufsatz „grössten“, „Ueberhaupt“, „Hülfsmittel“ und „bloss“.
6. ↑ Dominic Hughes: Towards Hilbert's 24th Problem: Combinatorial Proof Invariants, Stanford University, 2006