-
埃爾布朗定理
鎖定
在邏輯學中,埃爾布朗定理(Herbrand's theorem)建立了命題邏輯計算和謂詞邏輯計算之間的關係,因此埃爾布朗定理可能是一種已知的確定手段來判斷一個命題的命題邏輯計算是否是有限的,對於一個含有複雜謂詞的公式,它的謂詞邏輯計算也起到同樣的判斷。通過對埃爾布朗定理的應用,部分解決回答了上述問題。但是雖然有Gödel(哥德爾),Tarski(塔爾斯基),Church(邱奇),Turing(圖靈)和其他科學家在邏輯學領域中卓越的研究成果,但是不存在一個算法,能夠決定一個普遍公式的謂詞邏輯計算是否是可計算的這樣一個問題,我們不知道這個算法是否是可以被證明的。
- 中文名
- 埃爾布朗定理
- 外文名
- Herbrand's theorem
前束範式
可以用公式在如下重寫規則下的邏輯等價來證實:
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:6次歷史版本
- 最近更新: 本命年本命年44