对角线方法

（计算机科学技术）

对角线方法（diagonalization），计算机科学技术名词，一种函数构造方法，它针对一个给定的函数序列，比如 {f(n)} ，构造函数 f 使得对每一个 n ， f 和在点 n 不相等，从而f≠。实数不可数，停机问题不可判定等都是应用此方法证明的。对角线方法已经成为一个具有普遍意义的构造方法。