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

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in G\"ottingen in 1921 with a thesis on the decision problem. In his thesis, he solved-independently of L\"owenheim 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\"ottingen. 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.

[1]  Heinrich Behmann,et al.  Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem , 1922 .

[2]  D. Hilbert.  Die grundlagen der mathematik , 1928 .

[3]  D. Hilbert.  Die grundlagen der mathematik , 1928 .

[4]  Davide Bondoni.  Peirce and Schröder on the auflösungsproblem , 2009 .

[5]  K. Gödel.  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[6]  L. M.-T..  Grundzüge der theoretischen Logik , 1929, Nature.

[7]  D. Hilbert,et al.  Probleme der Grundlegung der Mathematik , 1930 .

[8]  Robin Gandy,et al.  The confluence of ideas in 1936 , 1988 .

[9]  W. Ackermann,et al.  Grundzüge der theoretischen Logik , 1928 .

[10]  Richard Zach,et al.  Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic , 1999, Bulletin of Symbolic Logic.

[11]  W. Ackermann.  Untersuchungen über das Eliminationsproblem der mathematischen Logik , 1935 .

[12]  Wilhelm Ackermann,et al.  Solvable Cases Of The Decision Problem , 1954 .

[13]  Chiara Ambrosio.  La teoria delle relazioni nell'algebra della logica schroderiana , 2009 .

[14]  Gerhard Hessenberg.  Grundbegriffe der Mengenlehre , 1906 .

[15]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[16]  J. Heijenoort.  From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 , 1967 .

[17]  Yuri Gurevich,et al.  The Classical Decision Problem , 1997, Perspectives in Mathematical Logic.

[18]  Paolo Mancosu.  Between Russell and Hilbert: Behmann on the foundations of mathematics , 1999, Bull. Symb. Log..

[19]  R. L. Goodstein,et al.  The Decision Problem , 1957, The Mathematical Gazette.

[20]  P. Bernays,et al.  Zum Entscheidungsproblem der mathematischen Logik , 1928 .

[21]  Alonzo Church,et al.  A note on the Entscheidungsproblem , 1936, Journal of Symbolic Logic.

[22]  J. Neumann.  Zur Hilbertschen Beweistheorie , 1927 .

[23]  Paolo Mancosu.  The Russellian Influence on Hilbert and his School , 2004, Synthese.

[24]  Paolo Mancosu,et al.  On the constructivity of proofs. A debate among Behmann, Bernays, Gödel, and Kaufmann , 2010 .

[25]  H. Weyl.  Philosophie der Mathematik und Naturwissenschaft , 1927 .

[26]  Wilhelm Ackermann.  Über die Erfüllbarkeit gewisser Zählausdrücke , 1928 .

[27]  H. Bedmann,et al.  Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem , 1922 .