世界大百科事典（旧版）内の決定不能問題の言及
【計算可能性】より
…Pが計算可能関数となるとき，この問題は決定可能であるという。Pが計算可能でないときは決定不能問題であるという。決定不能問題の有名な例としてプログラムの停止性の決定問題がある。…
※「決定不能問題」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」
Sponsored by 
１ 多数の語を集録し、一定の順序に配列して一つの集合体として、個々の語の意味・用法、またはその示す内容について記したもの。語のほかに接辞や連語・諺なども収める。また、語の表記単位である文字、特に漢字を...