1樓：MatthewYan
你把圖靈機想象成乙個程式，假設輸入圖靈機的「機器M和輸入X」分別是程式和引數，程式有可能陷入死迴圈但誰也不知道什麼輸入引數會造成死迴圈。好了，現在你讓乙個程式去（圖靈機）檢測另乙個程式（輸入M）是否會在輸入引數X的情況下停機，顯然你要去執行那個程式（輸入M）。但是，如果你要檢測的那個程式停不下來了，意味著你這個檢測程式也停不下來了，就沒法告訴你結果（也可能執行兩年之後能停下來，但在停下來之前誰也不能說M究竟會不會HALT）！！
2樓：
因為如果圖靈機能辨認停機問題（https://
zh.wikipedia.org/wiki/%
E5%81%9C%E6%9C%BA%E9%97%AE%E9%A2%98
）的補集，圖靈機就能決定停機問題了。兩個可能的答案，停或不停，就是全部可能的答案，如果你都能辨認了，為何還不能決定呢？
如果是停機問題不懂，請參考維基的中文解釋，還有羅素悖論、理髮師悖論、全能悖論、及其它例子。羅素悖論選擇排除 A= 為一種集合，停機問題可以選擇排除該演算法為一種演算法，卻選擇停機問題無法決定，畢竟什麼演算法不是演算法呢？
不停機牽涉永恆，永恆牽涉無限，而無限是數學和邏輯裡有名的問題，都是靠矛盾辯證法突破，基本同乙個思路，說實在很無聊。
學計算機別搞這個，肯定找不到工作，還不如讀神學走宗教的路線！
圖靈機是必須的麼？
櫻桃 點進來發現看到的不是我所期望的問題。我更想知道的是 現實中是否可以設計出來比圖靈機能力更強的機器？如果答案是是，那麼基於圖靈機的現有理論不就一下子全部變得沒有意義了？圖靈機解決不了算啥，我更強的機器能解決就行。 pyj philippica 知乎是不是戾氣太重了些，雖說題主有些概念沒理解清楚但...
圖靈機是發明的還是發現的？
玄星 圖靈機算是計算機的一種抽象 類似的理論模型還有很多，參見Model of computation，其中lambda calculus是現在比較火的functional programming的基石 而計算機算是個 發明 吧。英文wiki裡很清楚，是 invented，不是discovered ...
為什麼精神病人無法辨認自己的行為？
已登出 題主應該既非精神科專業，也不是感同身受的。我打一粗俗的比方 王者榮耀打過嗎。意識你的操作，行為是英雄表現，狀況是延遲460的網速。隊友 你在幹嘛啊？SB小學生別玩了。網絡卡打什麼遊戲啊？來害人啊。他的病就猶如延遲的網路控制他的行為。不由自主。病也不是持續穩定影響，就像你的網路。而且他基本看不...