作为逻辑学家的雅克·埃尔布朗讲座

我们提供一些关于雅克·埃尔布朗在形式逻辑方面工作的讲座，并简述他的生平及其对自动定理证明的影响。目标读者包括对逻辑感兴趣的学生、历史学家以及逻辑学家。除了众所周知的由哥德尔和德雷本对埃尔布朗错误引理的修正外，我们还介绍了海耶诺特几乎不为人知的未发表修正及其对埃尔布朗的分离规则消去法的影响。除了埃尔布朗基本定理及其与勒文海姆-斯科伦定理的关系外，我们还仔细研究了埃尔布朗的直觉主义概念及其与无限域中假的概念的联系。我们概述了埃尔布朗对算术一致性的两个证明及其递归函数的概念，最后但同样重要的是，我们给出了他的合一算法的正确原始文本及新的翻译。