私は最近、停止問題の矛盾証明に出くわしました。証明では、チューリング マシンにプログラムのコピーと入力のコピーを供給して、そのプログラムが入力で停止するかどうかを判断する必要があります。矛盾の中で、なぜそれはプログラムとしてのプログラムであり、入力でなければならないのですか? 紛らわしく聞こえる場合は申し訳ありません。マシンにプログラムとランダムな入力を与えるだけで、同じ結論に達することができます。
誰でも理由を教えてもらえますか? 私が思いつかなかった特定の理由はありますか？
私は最近、停止問題の矛盾証明に出くわしました。証明では、チューリング マシンにプログラムのコピーと入力のコピーを供給して、そのプログラムが入力で停止するかどうかを判断する必要があります。矛盾の中で、なぜそれはプログラムとしてのプログラムであり、入力でなければならないのですか? 紛らわしく聞こえる場合は申し訳ありません。マシンにプログラムとランダムな入力を与えるだけで、同じ結論に達することができます。
誰でも理由を教えてもらえますか? 私が思いつかなかった特定の理由はありますか？