決定不能問題（読み）けっていふのうもんだい

世界大百科事典（旧版）内の決定不能問題の言及

【計算可能性】より

…Pが計算可能関数となるとき，この問題は決定可能であるという。Pが計算可能でないときは決定不能問題であるという。決定不能問題の有名な例としてプログラムの停止性の決定問題がある。…

※「決定不能問題」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」