ある決定問題が決定不可能であることを示すために、計算可能関数を使ってそれを既に決定不可能と分かっている決定問題に変換する。
若要证明一问题是不可在决定的，我们可以一可计算函数将它转换成另一已知不可决定的问题，例如，欲证P是不可决定的，可试将停机问题化约成问题P。