(2) 下面这段是Turing说的。 It is possible to invent a single machine which can be used to compute any computable sequence. If this machine U is supplied with a tape on the beginning of which is written the S.D ["standard description" of an action table] of some computing machine M, then U will compute the same sequence as M
本民科念过Godel,邱奇,Turing的论文。
考证过年代。
我认为,Turing机是后于Godel和邱奇的计算模型的。
停机问题也没有优先权。
Turing之所以在CS有牛顿爱因斯坦的地位,
我认为是因为Universal Turing Machine。
可以跑程序的程序,这个脑洞大开的想法,就像闪电一样
让人震惊。这可能是人类有史以来最牛X的新鲜想法之一了。
没有这个,你怎么把不同的程序来比较呢?
即使在今日,lambda calculus据我所知也无法顺畅的
弄一个universal lambda machine达成一个合理的,好用的
计算理论。
我不知道CS科班出身的同学们怎么看。
这是我个人的结论。
另外本民科认为罗素的数学原理一书,就是现代OS,以及绑定各种
类库的雏形。
附录:
(1)
www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf
你看,Godel/Church这些数理逻辑神仙的脑子里,很明显没有
Universal Turing Machine
(2)
下面这段是Turing说的。
It is possible to invent a single machine which can be used to compute any
computable sequence. If this machine U is supplied with a tape on the
beginning of which is written the S.D ["standard description" of an action
table] of some computing machine M, then U will compute the same sequence as
M