Heinrich behmann’s 1921 lecture on the decision problem and the algebra of logic

Bulletin of Symbolic Logic 21 (2):164-187 (2015)
Download Edit this record How to cite View on PhilPapers
Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included.
PhilPapers/Archive ID
Revision history
Archival date: 2015-11-21
View upload history
References found in this work BETA
Grundzüge der theoretischen Logik.Hilbert, D. & Ackermann, W.

View all 6 references / Add more references

Citations of this work BETA
Carnap’s Early Metatheory: Scope and Limits.Schiemer, Georg; Zach, Richard & Reck, Erich

Add more citations

Added to PP index

Total views
189 ( #22,583 of 50,241 )

Recent downloads (6 months)
7 ( #45,499 of 50,241 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.