关于孟岩一篇文章的讨论

原创 2005年03月01日 03:34:00
链接在这里
还是不太明白为什么大脸猫说Imperative语言违背了图灵机的计算模型。

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

也谈为什么我们不重视Office开发--看孟岩说有感

 看到孟岩兄的文章《为什么我们不重视Office开发——与郭安定谈话想到的》。根据我在应用行业的这么多年的经验,有一些想法,拿出来大家分享一下。孟岩将问题的重点归咎到国人对VB的轻视甚至鄙视的态度上,...
  • xiammy
  • xiammy
  • 2006-12-02 15:43:00
  • 8088

看孟岩对C++ PRIMER第四版所写的书评

     很多人可能还记得2002年C++ Primer第三版在国内计算机图书市场上创造的辉煌成绩,当时这本书在价格相对较高的情况下仍然受到了广大C++学习者的热烈欢迎。几年过去,相信已经有不少读者通...
  • xieqq
  • xieqq
  • 2006-05-25 16:37:00
  • 3354

用C设计,用C++编码

      昨天晚上看到刘江的blog又补充了好几大段,今天早上又看到云风的人肉trackback,果然还是这种话题引人关注。      云风先是提了一下所谓C++带来的思想包袱(文言文曰“心智包袱...
  • myan
  • myan
  • 2007-09-10 11:32:00
  • 46045

孟岩BLOG理解矩阵一、二, 三

理解矩阵(一) 前不久chensh出于不可告人的目的,要充当老师,教别人线性代数。于是我被揪住就线性代数中一些务虚性的问题与他讨论了几次。很明显,chensh觉得,要让自己在讲线性代数的时候不被...
  • hhsh49
  • hhsh49
  • 2016-09-26 20:49:50
  • 1829

UTXO

原文地址:http://www.yopai.com/show-2-182646-1.html UTXO全称Unspent Transaction Output,即未消费的交易输出 现在的银行也好、信...
  • btqszl
  • btqszl
  • 2017-09-29 09:52:06
  • 2228

赞同那个Linus,孟岩,云风的关于 C vs C++ 的观点(原来发布在校内网的文章回复里)

 孟岩和云风的话说得更加中肯,用C++有比较重的思想包袱,这个我有体会,一点也不假。比如我用OpenCV库(Intel的,做人脸识别的),做了一个C++ Wrapper,其结果是,我80%的时间都花在...
  • linuxmao
  • linuxmao
  • 2007-12-01 13:57:00
  • 2383

读孟岩先生的《程序员必须走向专业化》有感

        今天拜读了孟岩先生的《程序员必须走向专业化》,很有感触,既有赞同也有非议。        首先,我们需要界定一下何谓“专业化”?是指编程技术上的专业还是指业务领域方面的专业?至少在这篇...
  • jintianyishiyeai
  • jintianyishiyeai
  • 2008-03-01 00:20:00
  • 1052

区块链行业应用案例分析和技术学习体系

目前关于区块链的讨论集中在两端,要么是从哲学历史、经济社会、技术金融之类的层面来宏观判断区块链的趋势性影响,要么是到公钥密码学、 交易、区块、挖矿、共识这些基础设施层面的微观技术,而大多数创业者和开发者真正关心的问题是:区块链在行业里到底怎么用?能带来什么好处?如果我要进入区块链,应该从哪里入手?大致的学习路径是怎样的?本课程试图站在作者现有的认识水平上,根据现有的资料和实践心得,围绕以上问题进行探讨。对于期望进入区块链领域一展身手的技术人员来说,应能起到一些参考作用。
  • 2016年11月08日 16:28

想跟区块链大咖孟岩一起工作吗?区块链大本营最走心的招聘来了

今年,我们发现已跟不上时代的变化。2014年,火了智能硬件2015年,火了O2O2016年,火了VR2017年,火了AI而今年,依据风口“一年一变”原理,在风口轮流转的游戏中,火了区块链。 对,就是那...
  • Blockchain_lemon
  • Blockchain_lemon
  • 2018-02-26 00:00:00
  • 336

基于Account和UTXO的区块链如何抵抗重放攻击?

重放攻击,指攻击者重放一个在网络上窃听到的或在区块链中看到的消息。这里,重放攻击是一个很严重的问题。基于UTXO的区块链比特币,尽管没有直接地去处理重放攻击,它们却能抵抗重放攻击。在这些管理数字资产的...
  • jason_cuijiahui
  • jason_cuijiahui
  • 2017-08-02 00:12:32
  • 977
收藏助手
不良信息举报
您举报文章:关于孟岩一篇文章的讨论
举报原因:
原因补充:

(最多只允许输入30个字)