0035132人目の素数さん垢版 | 大砲2017/12/13(水) 06:28:12.09ID:INqifKwb >>26 「どんなに大きな自然数Mに対しても、n < BB(M)を仮定すると矛盾が 導出できるような n ∈ {0,1,2,...}が存在する」 としたら、「1をn個出力するまでチューリングマシンを走らせる」とするだけで 停止性問題が解決してしまうので、そういうnが存在しないということが 停止性問題と同値であることは自明