不可判定邏輯系統

不可判定邏輯系統(undecidable logic system)不具有能行判定算法的邏輯系統一個邏輯系統S是不可判定的，是指不存在一個能行的算法，使得該算法能夠判定S中的任何公式是否可證.美國數學家、邏輯學家丘奇(Church, A.)和英國數學家圖靈(Turing,A. M.)證明了一階謂詞演算系統是不可判定的.此外，像直覺主義邏輯的謂詞演算系統、多值邏輯與模態邏輯的謂詞演算系統也都是不可判定的.不過，一階謂詞演算系統的一些公式類卻是可判定的，但大部分仍是不可判定的.目前知道的不可判定的公式類主要有:

不可判定邏輯系統

相關詞條

熱門詞條