Einführung in die mathematische Logik. (Die Einleitung der ``Principia Mathematica). Ins Deutsche übertragen von \textit{Hans Mokre}.
Das Buch gibt eine zuverlässige Übersetzung der Einleitungen zur 1. und zur 2. Auflage (1910, 1925; F. d. M. 41, 83; 51, 46) der ``Principia Mathematica. Die erste Einleitung gibt einen Überblick über die Symbolik und über die Hauptprobleme der Logik der Principia; insbesondere werden die mit der Typentheorie (in ihrer ursprünglichen, verzweigten Form) zusammenhängenden Fragen ausführlich besprochen. - Die Einleitung zur 2. Aufgabe erörtert die Fortschritte, die seit dem Erscheinen der ersten Auflage auf dem Gebiet der mathematischen Logik erzielt worden sind; u. a. werden hier die Ergebnisse von \textit{Scheffer} und \textit{Nicod} über die Axiomatik des Aussagenkalküls berücksichtigt; ferner wird eine Erörterung der Versuche gegeben, das System der Logik und Mathematik ohne das von der verzweigten Typentheorie geforderte und in vielfacher Hinsicht anfechtbare Reduzibilitätsaxiom aufzubauen.
This page was built for publication: Einführung in die mathematische Logik. (Die Einleitung der ``Principia Mathematica). Ins Deutsche übertragen von \textit{Hans Mokre}.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q568035)
