問題タブ [halting-problem]

特定の入力で別のプログラム P が停止するかどうかをチェックできるプログラム H を作成できない理由を理解しようとしていますが (停止問題)、明確なアイデアを得ることができません。

このプログラム H が停止しないプログラム P を実行しようとすると、H 自体がループに入ることが直感的にわかります。しかし、これが証明の背後にある考え方だとは思いません。

誰でも簡単な素人の言葉で証明を説明できますか?

問題は、ソルバーが組み立てられていない、エミュレートされていない、生成されていない、再作成されていない、選択したものをここに配置していない、または解析された関数内で何らかの形で使用されていない場合、停止の問題を解決できるかどうかです。

非常によく似た質問があり ます。それ自体を呼び出さない場合、停止機能を作成することは可能ですか? 一般的には「関数を呼ぶのではなく、関数を渡す」というのが一般的ですが、そのような場合も除外すれば解けるようになるのでしょうか？

私はこの機能を持っています:

それから：

停止の問題を解決します。もちろん、これは他のタイプにも拡張できます。

私の質問：これはどのように可能ですか？ここで本当にControl.Exception.try物事を壊していますか？

(p 入力) が停止するように入力が存在するかどうかを判断できるプログラム (may-halt? p) はありますか?

簡単な対角化を試みましたが、(may-halt? diag-may-halt) が true でなければならないということしかわかりません。プログラムが存在するかどうかを証明するのには役立ちません。

そのようなプログラムは存在しますか？