Betrachtungen zur Begründung der Mathematik. (Q1457183): Difference between revisions

Anknüpfend an frühere Schriften (Grundlagen der Analysis 1909 Veränderliche und Funktion 1914) hat Pasch in einer Abhandlung von 1916 ``Der Ursprung des Zahlbegriffs'', Teil I: Archiv der Mathematik und Physik 28 (1919), Teil II Math. Zs. 11 (1921); F. d, M, 47, 42, die Arithmetik auf Kernbegriffe und Kernsätze zurückgeführt und die Widerspruchsfreiheit dieses Kerns'' eingehend erörtert. In der neuen Arbeit legt Pasch dar, in welcher Hinsicht andere Axiomensysteme nicht befriedigen; er zeigt, daß\ der in der Abhandlung von 1916 gewonnene Kern in keinem Axiomensystem fehlen darf. Von diesem Standpunkt aus wird sodann der Gedankengang von Hilbert in dem Vortrag von 1921 (Hamb. Abh. 1, 1922; F. d. M. 48, 1188 (JFM 48.1188.*)) besprochen, insbesondere Hilberts Begründung der Widerspruchsfreiheit der Arithmetik an der Hand seiner ``Tabelle von Axiomen''. Es ergibt sich, daß\ auch zu dieser Tabelle die Kernsätze von Pasch hinzugefügt werden müssen, daß\ dann aber für die Widerspruchsfreiheit der Arithmetik die von ihm in der Abhandlung 1916 gegebene Begründung Platz greift.