关于孟岩一篇文章的讨论

链接在这里
还是不太明白为什么大脸猫说Imperative语言违背了图灵机的计算模型。

冯.诺依曼的模型并不是计算模型吧？它只是计算模型的一种具体实现而已，而且这个模型恰恰有效率地实现了图灵机的计算模型。简单对比一下，两者都依赖于状态的改变。我记得图灵机不就是用读写头去改变带子上的状态么？而带子上的状态也可以指示读写头到底怎么操作。这个和冯的模型完全一致吧：存储单元里的数据既可以是纯的数据，也可以是指示机器操作的命令。只不过一台冯。诺依曼机器有两条带子，一条读写数据，一条模拟操作。不过我们在本科学了图灵机后第一作业不就是证明两条带子的图灵机和一条带子的图灵机完全等价么？其实看我们证明不同类型图灵机等价问题时用的方法，基本就是模拟。也就是说，带子上的数据配合读写头的移动模拟了某个计算。这也是纯粹的状态改变嘛。机器里的存储单元恰恰模拟了图灵机里的带子。看不出有什么公理系统在背后呢？所以把冯的理论和图灵的理论对立起来说不过去。而且图灵机模型里面哪里提到了完全依赖公理，不分数据和操作的（不是质问，而是请教哈。）？能不能提供一篇论文以做佐证啊？再说到语言层面，imperative的语言，C++也好，Fortran也好，都是依靠改变系统的状态来进行计算的，所以也不存在违背图灵机原理一说吧？再回过来看Lambda理论，倒真是建立在几个简单的公理上，而且强调不依靠状态改变来进行计算。我总觉得大脸猫说的是“背离了图灵机计算”应该改成“背离了Lambda Calculus的理论”才对的说。

关于孟岩一篇文章的讨论相关推荐

【区块链】周鸿祎：写区块链最好的一篇文章；曾鸣：大部分关于区块链未来伟大前景的讨论还只是猜想而已
区块链就是未来,也是一种回到互联网本来意义的方式. 文 | 机器之能注:奇虎360创始人周鸿祎说,这是了解区块链最深入浅出的一篇文章. 以下正文: 这组词序并没有任何意义,真正让它们有价值的地方在于 ...
##引言写这一篇文章的缘由，是因为群里的一次讨论。一位即将毕业的同学说，“龙哥，毕业以后进入某某类型的公司好不好？” 于是，就这样，LZ给他叽里呱啦的上了...
引言写这一篇文章的缘由,是因为群里的一次讨论.一位即将毕业的同学说,"龙哥,毕业以后进入某某类型的公司好不好?" 于是,就这样,LZ给他叽里呱啦的上了一课,后来就形成了这篇文章. ...
Android：学习AIDL，这一篇文章就够了(下)
前言上一篇博文介绍了关于AIDL是什么,为什么我们需要AIDL,AIDL的语法以及如何使用AIDL等方面的知识,这一篇博文将顺着上一篇的思路往下走,接着介绍关于AIDL的一些更加深入的知识.强烈建议 ...
为什么都要鄙视 PHP 程序员？ Java联盟百家号 07-24 21:43 前几天发表了一篇文章《图解:程序员之间是如何相互鄙视的？》，有人就在留言处留言。可以解释下：为什么都鄙视PHP工程师
为什么都要鄙视 PHP 程序员? Java联盟百家号 07-24 21:43 前几天发表了一篇文章<图解:程序员之间是如何相互鄙视的?>,有人就在留言处留言. 可以解释下:为什么都鄙视P ...
一篇文章彻底说清JS的深拷贝/浅拷贝
一篇文章彻底说清JS的深拷贝and浅拷贝这篇文章的受众第一类,业务需要,急需知道如何深拷贝JS对象的开发者. 第二类,希望扎实JS基础,将来好去面试官前秀操作的好学者. 写给第一类读者你只需要一 ...
当你不喜欢一个人（一段话、一篇文章）的时候
为什么80%的码农都做不了架构师?>>> 我知道技术人员都喜欢争论,因为我也算半个.不过我总觉得,有些争论是没有必要存在的.因为沟通是以交流为目的的,若本身对方就不是来交流而是 ...
一篇文章了解RPC框架原理
转载自一篇文章了解RPC框架原理 1.RPC框架的概念 RPC(Remote Procedure Call)–远程过程调用,通过网络通信调用不同的服务,共同支撑一个软件系统,微服务实现的基石技术 ...
博士读了12年，一篇文章没有
近日,科学网上一篇题为<又见"裸跑"博士生:读了12年一篇文章没有>的文章广泛传播.文章中指出在美国一所著名大学就读的博士生,其第一任导师意外去世,随后接手的第二任导师 ...
c++ socket线程池原理_一篇文章看懂 ThreadLocal 原理，内存泄露，缺点以及线程池复用的值传递问题...
编辑:业余草来源:https://www.xttblog.com/?p=4946 一篇文章看懂 ThreadLocal 原理,内存泄露,缺点以及线程池复用的值传递问题. ThreadLocal 相信不 ...

关于孟岩一篇文章的讨论

关于孟岩一篇文章的讨论相关推荐

最新文章

热门文章