不可判定邏輯系統

不可判定邏輯系統是指不具有能行判定算法的邏輯系統一個邏輯系統。

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