Heinrich Behmann 1921 年关于判定问题与逻辑代数的讲座
逻辑
2021-06-02 v1
摘要
Heinrich Behmann (1891-1970) 于 1921 年在 G"ottingen 师从 David Hilbert 获得任教资格，其论文主题为判定问题。在该论文中，他独立于 L"owenheim 和 Skolem 早期的工作，在一个结合了逻辑代数元素与当时 G"ottingen 正在发展的较新公理化逻辑方法的框架中，解决了单体二阶逻辑的判定问题。在 1921 年的一次演讲中，他概述了这一解决方案，同时也就判定问题及判定程序更广泛的重要性提出了重要的纲领性评论。本文收录了此次演讲的文本及其部分英译。
引用
@article{arxiv.1504.04798,
title = {Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic},
author = {Paolo Mancosu and Richard Zach},
journal= {arXiv preprint arXiv:1504.04798},
year = {2021}
}