世界大百科事典(旧版)内の決定不能問題の言及
【計算可能性】より
…Pが計算可能関数となるとき,この問題は決定可能であるという。Pが計算可能でないときは決定不能問題であるという。決定不能問題の有名な例としてプログラムの停止性の決定問題がある。…
※「決定不能問題」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
4月1日の午前中に、罪のないうそをついて人をかついでも許されるという風習。また、4月1日のこと。あるいは、かつがれた人のこと。四月ばか。万愚節。《季 春》[補説]西洋もしくはインドに始まる風習で、日本...