Die Grundlagen der Mathematik. Vortrag, gehalten auf Einladung des Mathematischen Seminars im Juli 1927 in Hamburg. (Q1437028)

Die erste Hälfte des Vortrags wiederholt in neuer Form die Grundzüge der \textit{Hilbert}schen Beweistheorie, namentlich auch die Auffassung der Formeln als idealer Aussagen, wie sie namentlich im Münsterer Vortrag (Math. Ann. 95 (1925), 161-190; F. d. M. 51, 44 (JFM 51.0044.*)-45) entwickelt wurde. Auch der \textit{Cantor}sche Kontinuumssatz wird als Formel angeschrieben. Der zweite Teil setzt sich zunächst mit entgegenstehenden Auffassungen auseinander: mit \textit{Poincaré} mit \textit{Whitehead-Russell} und namentlich mit \textit{Brouwer}, dem gegenüber u. a. betont wird, wie ein mittels der \textit{Hilbert}schen \(\varepsilon\)-Funktion geführter Beweis auch finite Bedeutung haben könne. Den Schluß\ macht eine nähere Erörterung der im Münsterer Vortrag gegebenen Beweisskizze für den Kontinuumssatz, namentlich eine Erläuterung des (noch unbewiesenen) dortigen Lemmas II, und ein Bericht über einen von \textit{Ackermann} erzielten Fortschritt hinsichtlich des Widerspruchsfreiheitsbeweises für das \(\varepsilon\)-Axiom.