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

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

【計算可能性】より

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

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

出典|株式会社平凡社「世界大百科事典(旧版)」

「アサーション」(assertion)とは、より良い人間関係を構築するためのコミュニケーションスキルの一つで、「人は誰でも自分の意見や要求を表明する権利がある」との立場に基づく適切な自己主張のことです...

アサーションの用語解説を読む