David Hilbert: Mathematische Probleme. In: Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse | |
|
von Zahlen construirt, derart, daß den geometrischen Axiomen analoge Beziehungen zwischen den Zahlen dieses Bereiches entsprechen und daß demnach jeder Widerspruch in den Folgerungen aus den geometrischen Axiomen auch in der Arithmetik jenes Zahlenbereiches erkennbar sein müßte. Auf diese Weise wird also der gewünschte Nachweis für die Widerspruchslosigkeit der geometrischen Axiome auf den Satz von der Widerspruchslosigkeit der arithmetischen Axiome zurückgeführt.
Zum Nachweise für die Widerspruchslosigkeit der arithmetischen Axiome bedarf es dagegen eines direkten Weges.
Die Axiome der Arithmetik sind im Wesentlichen nichts anderes als die bekannten Rechnungsgesetze mit Hinzunahme des Axiomes der Stetigkeit. Ich habe sie kürzlich zusammengestellt[1] und dabei das Axiom der Stetigkeit durch zwei einfachere Axiome ersetzt, nämlich das bekannte Archimedische Axiom und ein neues Axiom des Inhaltes, daß die Zahlen ein System von Dingen bilden, welches bei Aufrechterhaltung der sämmtlichen übrigen Axiome keiner Erweiterung mehr fähig ist. (Axiom der Vollständigkeit). Ich bin nun überzeugt, daß es gelingen muß, einen direkten Beweis für die Widerspruchslosigkeit der arithmetischen Axiome zu finden, wenn man die bekannten Schlußmethoden in der Theorie der Irrationalzahlen im Hinblick auf das bezeichnete Ziel genau durcharbeitet und in geeigneter Weise modificirt.
Um die Bedeutung des Problems noch nach einer anderen Rücksicht hin zu charakterisiren, möchte ich folgende Bemerkungen hinzufügen. Wenn man einem Begriffe Merkmale erteilt, die einander widersprechen, so sage ich: der Begriff existirt mathematisch nicht. So existirt z. B. mathematisch nicht eine reelle Zahl, deren Quadrat gleich −1 ist. Gelingt es jedoch zu beweisen, daß die dem Begriffe erteilten Merkmale bei Anwendung einer endlichen Anzahl von logischen Schlüssen niemals zu einem Widerspruche führen können, so sage ich, daß damit die mathematische Existenz des Begriffes z. B. einer Zahl oder einer Function, die gewisse Forderungen erfüllt, bewiesen worden ist. In dem vorliegenden Falle, wo es sich um die Axiome der reellen Zahlen in der Arithmetik handelt, ist der Nachweis für die Widerspruchslosigkeit der Axiome zugleich der Beweis für die mathematische Existenz des Inbegriffs der reellen Zahlen oder des Continuums. In der That, wenn der Nachweis für die Widerspruchslosigkeit
Anmerkungen (Wikisource)
- ↑ David Hilbert: Über den Zahlbegriff, in: Jahresbericht der Deutschen Mathematiker-Vereinigung. Band 8 (1900), Seite 180–184 Quellen
David Hilbert: Mathematische Probleme. In: Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse. Vandenhoeck & Ruprecht, Göttingen 1900, Seite 265. Digitale Volltext-Ausgabe bei Wikisource, URL: https://de.wikisource.org/w/index.php?title=Seite:Hilbert_-_Mathematische_Probleme.pdf/14&oldid=- (Version vom 1.8.2018)