Über die mathematische Logik. (Q1437036)

Wiedergabe eines Vortrages im Norwegischen Mathematischen Verein (22. 10. 28). Der Vortrag gibt einen Überblick über den gegenwärtigen Stand der Untersuchungen in der theoretischen Logik und im Logikkalkül. Besonders beschäftigt er sich mit dem Entscheidungsproblem. Mit Hilfe eines Exhaustionsverfahrens wird für das Entscheidungsproblem eine Lösung angegeben. (Vgl. auch die vorstehend referierte Arbeit von \textit{W. Ackermann}.)