不可判定逻辑系统

不可判定逻辑系统是指不具有能行判定算法的逻辑系统一个逻辑系统。 不可判定逻辑系统(undecidable logic system)不具有能行判定算法的逻辑系统一个逻辑系统S是不可判定的，是指不存在一个能行的算法，使得该算法能够判定S中的任何公式是否可证.美国数学家、逻辑学家丘奇(Church， A.)和英国数学家图灵(Turing，A. M.)证明了一阶谓词演算系统是不可判定的.此外，像直觉主义逻辑的谓词演算系统、多值逻辑与模态逻辑的谓词演算系统也都是不可判定的.不过，一阶谓词演算系统的一些公式类却是可判定的，但大部分仍是不可判定的.目前知道的不可判定的公式类主要有: