可判定数学理论

可判定数学理论具有能行判定算法的数学理论。 可判定数学理论(decidable mathematical theo-ry)具有能行判定算法的数学理论.对于语言丫上的理论T，若存在一个能行的算法AL，使得对丫上的任何语句。，AL可以判定“QET”是否成立，则称理论T是可判定的，反之称其为不可判定的.以上定义的更为形式化的描述，可以通过哥德尔编码来表述:若T是语言丫的理论，G是丫的语句集到一个递归集S的(直观意义下的)能行一一映射.且G(T)为递归集，则称理论T是可判定的，否则称其为不可判定的.