Herbrand 基本定理：历史事实及其简化
逻辑
2014-08-15 v2 计算机科学中的逻辑
摘要
利用 Heijenoort 未发表的广义量词规则，我们讨论了 Herbrand 基本定理的证明，形式为 Heijenoort 对 Herbrand“错误引理”的修正，并给出了一个教学示例。虽然我们主要关注 Herbrand 基本定理的内部结构及其质量与深度问题，但也探讨了其历史背景等外部问题，以及为何 Bernays 称其为“谓词逻辑的中心定理”并认为其表达形式“简洁而恰当”。
引用
@article{arxiv.1405.6317,
title = {Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining},
author = {Claus-Peter Wirth},
journal= {arXiv preprint arXiv:1405.6317},
year = {2014}
}
备注
ii + 47 pages