Description number とは

説明番号は、チューリングマシンの理論で発生する数字です。それらはゲデル数に非常によく似ており、文献では時には「ゲデル数」と呼ばれることもあります。ユニバーサルチューリングマシンがあれば、チューリングマシンはそのマシン上のエンコーディングに数字を割り当てることができます。これはマシンの説明番号です。これらの数字はAlan Turingの停止問題の決定不能性の証明に重要な役割を果たしており、チューリングマシンについての推論にも非常に役立ちます。