The mathematical logic and the arithmetic. (Q577743)

Dieser Aufsatz gibt einen Vortrag, gehalten am Chr. Michelsens Institut, wieder. Verf. bespricht kurz die wichtigsten Begriffe und Operationen der mathematischen Logik; dabei wirft er die Frage auf: Welches ist die Gesamtheit aller ``Aussagenfunktionen'' oder ``Mengen''? Aus einem bekannten Satz von \textit{Löwenheim} folgt, daß eine konsequente Axiomatik der Mengenlehre zu einem Relativismus führt. Weiter bespricht Verf. die in Verbindung mit dem mengentheoretischen Relativismus stehende Unmöglichkeit einer vollständigen Charakterisierung der natürlichen Zahlenreihe. Weiter gibt Verf. seine Lösung des Entscheidungsproblems für arithmetische Aussagen, die mit Hilfe der fünf Operationen der mathematischen Logik aus rein multiplikativen Gleichungen aufgebaut sind. Zum Schlüsse erwähnt er, wie er das Problem der sogenannten symmetrisch allgemeinen Lösungen im Klassenkalkül erledigt hat.