埃尔布朗定理 在逻辑学中埃尔布朗定理Herbrands theorem建立了命题逻辑计算和谓词逻辑计算之间的关系因此埃尔布朗定理可能是一种已知的确定手段来判断一个命题的命题逻辑计算是否是有限的对于一个含有复杂谓词的公式它的谓词逻辑计算也起到同样的判断通过对埃尔布朗定理的应用部分解决回答了上述问题但是虽然有Gödel哥德尔Tarski塔尔斯基Church邱奇Turing图灵和其他科学家在逻辑学领域中卓越的研究成果但是至今不存在一个算法能够决定一个普遍公式的谓词逻辑计算是否是可计算的这样一个问题我们不知道这个算法是否是可以被证明的