海因里希·贝曼1921年关于判定问题和逻辑代数的演讲
Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic
摘要：
海因里希Behmann（1891年至1970年）获得了他的Hütten根据大卫希尔伯特在哥廷根于1921年与论文的判定问题。在他的论文中，他解决了独立的Löwenheim和Skolem的早期工作的判定问题的一元二阶逻辑的框架，结合要素的代数逻辑和较新的公理方法，逻辑然后正在开发的哥廷根。在1921年的一次演讲中，他概述了这一解决方案，但也提出了关于判定问题和更普遍的判定程序的重要性的重要纲领性意见。这篇演讲的文本以及部分英文翻译都包括在内。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
