图灵机是发明的还是发现的

【图灵机是发明的还是发现的】 图灵机算是计算机的一种抽象(类似的理论模型还有很多,参见Model of computation,其中lambda calculus是现在比较火的functional programming的基石),而计算机算是个“发明”吧。
英文wiki里很清楚,是 invented, 不是discovered
Turing machine
The "Turing" machine was invented in 1936 by Alan Turing 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.
■网友
应该是发明的,因为毕竟是由此做出了真实的机构。对于牛顿三大定律来讲,并没有对应真实的机构,而是作为基本定律存在,因此是发现。
■网友
图灵发明的啊,抽象逻辑和机械发明,参考
图灵机的解释


    推荐阅读