1樓：玄星
圖靈機算是計算機的一種抽象（類似的理論模型還有很多，參見Model of computation，其中lambda calculus是現在比較火的functional programming的基石），而計算機算是個「發明」吧。
英文wiki裡很清楚，是 invented， 不是discovered
Turing machine
The "Turing" machine was invented in 1936 by Alan Turing
[1] who called it an "a-machine" (automatic machine). The Turing machine is not intended as practical computing technology, but rather as a hypothetical device representing a computing machine. Turing machines help computer scientists understand the limits of mechanical computation.
2樓：劍神一笑
應該是發明的，因為畢竟是由此做出了真實的機構。對於牛頓三大定律來講，並沒有對應真實的機構，而是作為基本定律存在，因此是發現。
圖靈機是必須的麼？
櫻桃 點進來發現看到的不是我所期望的問題。我更想知道的是 現實中是否可以設計出來比圖靈機能力更強的機器？如果答案是是，那麼基於圖靈機的現有理論不就一下子全部變得沒有意義了？圖靈機解決不了算啥，我更強的機器能解決就行。 pyj philippica 知乎是不是戾氣太重了些，雖說題主有些概念沒理解清楚但...
為什麼圖靈機不能辨認HALT的補集？
MatthewYan 你把圖靈機想象成乙個程式，假設輸入圖靈機的 機器M和輸入X 分別是程式和引數，程式有可能陷入死迴圈但誰也不知道什麼輸入引數會造成死迴圈。好了，現在你讓乙個程式去 圖靈機 檢測另乙個程式 輸入M 是否會在輸入引數X的情況下停機，顯然你要去執行那個程式 輸入M 但是，如果你要檢測的...
請問人工智慧還是圖靈機嗎？再問量子計算機還是圖靈機嗎
張立跟 人工智慧經歷三個主要學派，符號學派，控制學派，連線學派。如果用查字典比喻的話，圖靈機是線性的one by one，量子計算機有些並行的意思，其實還是圖靈機。不是分為xx學派，學派的出現是有時間次序的 MindHiking 結論 目前所有機器學習 人工智慧也好 演算法都由計算機實現的，當然是和...