Die Philosophie der Mathematik in der Gegenwart. (Q562774)

Verf. beginnt mit einer kurzen Einführung einiger Grundbegriffe der Logistik. Dann erörtert er die wichtigsten Probleme der Metamathematik: die asomatische Methode, das Problem der Widerspruchsfreiheit, das Entscheidungsproblem und das Vollständigkeitsproblem, wobei die \textit{Gödel}schen Ergebnisse schon berücksichtigt werden.- Weiter bespricht Verf. wissenschaftstheoretische oder ``philosophische'' Fragen, darunter die ``sogenannte Grundlagenkrise'' der Mathematik, die Fragen nach dem ``sogenannten Gegenstand'' der Mathematik, nach dem Unendlichen in der Mathematik und nach dem Verhältnis von Mathematik und Wirklichkeit. Verf. skizziert hierbei jeweils die verschiedenen heute vertretenen Auffassungen und entscheidet sich selbst für diejenige des \textit{Hilbert}schen. Formalismus. Der Schrift ist ein nach Sachgebieten geordnetes ausführliches Literaturverzeichnis beigefügt.