HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC Article Swipe

View

Related Concepts

Habilitation Axiom Decision problem Algebra over a field Modal logic Computer science Order (exchange) Decision table Calculus (dental) Mathematics Algorithm Artificial intelligence Philosophy Modal Pure mathematics Humanities Chemistry Dentistry Economics Finance Geometry Medicine Rough set Polymer chemistry

Paolo Mancosu , Richard Zach ·

YOU? · · 2015 · Open Access · · DOI: https://doi.org/10.1017/bsl.2015.10 · OA: W2155437720

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.

HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC Article Swipe

Related Topics