图灵可定义性

（计算机科学技术）

图灵可定义性（Turing definability），计算机科学技术名词，图灵度结构中可定义的特殊子集。例如一切计算可枚举度在整个图灵度结构中是否可定义就是一个重要未解决问题。