关于图灵完备,很多区块链项目的白皮书中都说到自己的项目支持什么图灵完备,或者图灵等价,包括以前也说过以太坊的智能合约是图灵完备的,比特币舍弃了图灵完备等等。了解图灵完备有利于更好的理解区块链领域中的技术。
从图灵完备,我们可以整体的了解一下,图灵、图灵完备与图灵等价、图灵测试、图灵机、图灵奖。
1.图灵本人
艾伦·麦席森·图灵艾伦·麦席森·图灵,1912年生于英国伦敦。艾伦·麦席森·图灵少年时就表现出独特的直觉创造能力和对数学的爱好。
1926年,他考入伦敦有名的舍本(Sherborne)公学,受到良好的中等教育。他在中学期间表现出对自然科学的极大兴趣和敏锐的数学头脑。
1931年,图灵考入剑桥大学国王学院,由于成绩优异而获得数学奖学金。在剑桥,他的数学能力得到充分的发展。
1935年,当选为国王学院的研究员,并于次年荣获英国著名的史密斯(Smith)数学奖,成为国王学院声名显赫的毕业生之一。
1936年5月,提出了“图灵机”,它第一次在纯数学的符号逻辑,和实体世界之间建立了联系,为此后的计算机和“人工智能”奠定了理论基础。
1936年9月,图灵应邀到美国普林斯顿高级研究院学习,并与丘奇一同工作。
1938年夏,图灵回到英国,仍在剑桥大学国王学院任研究员,继续研究数理逻辑和计算理论,同时开始了计算机的研制工作。
徐明星新书《趣说金融史》正式发布 科普金融发展之道:金色财经现场报道,9月23日,欧科云链创始人徐明星携手著名财经作家李霁月、行业观察者顾泽辉力作《趣说金融史》一书,跨越5000年金融历史,重读金钱故事,并预测新的金融时代。该书由中信出版社出版,将于近期正式发售。据了解,本书可以更好地呈现金融的起源与发展,帮助人们理解货币、金融与未来经济。作为区块链行业领军企业——欧科云链的创始人,徐明星深知技术探索对经济社会的重要推动作用,他曾先后出版过《图说区块链》、《区块链:重塑经济与世界》、《通证经济》、《链与未来》等行业权威著作,解读区块链等新型技术的推动下,金融与社会的升级之道,对经济社会发展做出了重大贡献。其中,《区块链:重塑经济与世界》曾作为新中国70周年重点推荐图书之一被相关书店推荐。[2021/9/23 17:00:57]
1939年秋,他应召到英国外交部通信处从事军事工作,主要是破译敌方密码的工作。由于破译工作的需要,他参与了世界上最早的电子计算机的研制工作。他的工作取得了极好的成就,因而于1945年获政府的最高奖——大英帝国荣誉勋章(O.B.E.勋章)。
1945年,图灵结束了在外交部的工作,他试图恢复战前在理论计算机科学方面的研究,并结合战时的工作,具体研制出新的计算机来。这一想法得到当局的支持。同年,图灵被录用为泰丁顿(Teddington)国家物理研究所的研究人员,开始从事“自动计算机”(ACE)的逻辑设计和具体研制工作。
1945年到1948年,他在英国国家物理实验室工作,负责自动计算引擎的研究。
1948年,图灵接受了曼彻斯特大学的高级讲师职务。
动态 | 链客社区联合北京交通广播推出区块链技术科普节目:12月11日15:15—16:00,区块链技术社区——链客区块链技术社区将联合北京交通广播FM103.9从零开始为大众科普解码区块链技术,蜻蜓FM及北京广播网同期进行全球直播。首期做客嘉宾为链客区块链技术社区创始人郄建军和百度区块链产品负责人于雅楠。[2019/12/11]
1949年成为曼彻斯特大学计算机实验室的副主任,负责最早的真正意义上的计算机——“曼彻斯特一号”的软件理论开发,因此成为世界上第一位把计算机实际用于数学研究的科学家。
1950年,并提出了著名的“图灵测试”。
1950年,他提出关于机器思维的问题,他的论文“计算机和智能(Computingmachineryandintelligence),引起了广泛的注意和深远的影响。1950年10月,图灵发表论文《机器能思考吗》。这一划时代的作品,使图灵赢得了“人工智能之父”的桂冠。
1951年,由于在可计算数方面所取得的成就,成为英国皇家学会会员,时年39岁。
1954年6月7日,图灵被发现死于家中的床上,床头还放着一个被咬了一口的苹果,当时图灵41岁。
2.图灵完备与图灵等价
图灵完备:一切可计算的问题都能计算,这样的虚拟机或者编程语言就叫图灵完备的。一个能计算出每个图灵可计算函数的计算系统被称为图灵完备的。一个语言是图灵完备的,意味着该语言的计算能力与一个通用图灵机相当,这也是现代计算机语言所能拥有的最高能力。
在可计算理论中,当一组数据操作的规则满足任意数据按照一定的顺序可以计算出结果,被称为图灵完备。一个有图灵完备指令集的设备被定义为通用计算机。如果是图灵完备的,它有能力执行条件跳转以及改变内存数据。如果某个东西展现出了图灵完备,它就有能力表现出可以模拟原始计算机,而即使最简单的计算机也能模拟出最复杂的计算机。所有的通用编程语言和现代计算机的指令集都是图灵完备的,都能解决内存有限的问题。图灵完备的机器都被定义有无限内存,但是机器指令集却通常定义为只工作在特定的,有限数量的RAM上。
声音 | 上海股交所总经理:区块链想要大规模发展要做好社会科普工作:金色财经报道,上海股交所总经理张云峰表示,区块链当前还处于一个“概念”的阶段,距离成熟应用,影响到百姓的日常生活还有很长的路要走。对于“区块链”和其会带来的社会和经济效果,沈阳应当持审慎的态度。区块链想要大规模发展,一方面要做好这项复杂技术的社会科普工作,加快社会大众对区块链的了解。另一方面,要充分发挥市场的作用,让企业用实实在在的技术创新,赋能实体经济的发展。[2019/11/17]
图灵等价:我们可能经常会在某些文章里面看到图灵等价和图灵完备(Turingcompleteness),但是这两个词的含义是有区别的。尤其是很多书或文章经常对这两个词进行混用,可能会把事情搞复杂。
在可计算理论里,一个数据操作规则的系统被称作图灵完备或者通用计算的,当且仅当它可以被用来模拟单带图灵机。在可计算理论里,有一个很相关的概念叫图灵等价。当计算机P和计算机Q是图灵等价的,P可以模拟Q而且Q也可以模拟P。现实中,一个图灵完备的系统可以模拟图灵机,这个术语常常被用来指与图灵机等价。
所以一个图灵完备的系统可以被称为图灵等价的,如果任何它可以计算的函数也是图灵可计算的。也就是它可计算的函数和图灵机可计算的函数是完全相同的。换句话说,就是图灵等价的系统就是能模拟通用图灵机同时也能也被通用图灵机模拟的系统,所有已知的图灵完备的系统都是图灵等价的。
通过上面的分析,我们就可以清楚的知道这两个词的意思和关系了。图灵等价有两个意思,一个是指两个计算系统在可计算性上计算能力相同;另一个,也是常用的一个就是指一个系统的计算能力与通用图灵机计算能力相同。而图灵完备是指能够模拟通用图灵机的计算系统。而所有已知的图灵完备的系统都是图灵等价的,这也增加了对丘奇-图灵论题的支持。因此,就简单的理解来说,在现有的计算机系统上,使用图灵等价和图灵完备是一个意思。
声音 | ETC Labs主管:科普教育是未来几年公链面临的巨大挑战:ETCLabs主管Darin Kotalik认为,科普教育是未来几年公链面临的巨大挑战,人们必须要对区块链有基本的认识,分清楚公链和私链的区别。[2019/8/25]
3.图灵机
1935年,一个夏天。英国剑桥郁郁葱葱,23岁的图灵在此读书。这位年轻人性格内向,做人偏执,还是一名天赋异禀的马拉松跑者。他的马拉松最好成绩是2小时46分,还差点代表英国国家队参加奥运会。某次长跑后,图灵瘫倒在草地上,大口呼吸着剑桥的空气,心跳逐渐平复,脑中却出现了一场风暴。他一跃而起,跑回宿舍,在狂热的心跳中写下了脑中的风暴。他假想出一台“图灵机”:它可以从一条纸带上读取命令、进行操作,从而模拟任何“明确程序”。
他进一步证明人们可以设计出通用图灵机,模拟任何图灵机的运作,然后他进一步证明了即便通用图灵机也无法让所有命题可判断——我们不能用一个算法来判定一台给定的图灵机是否会停机。
图灵机的整个构造是一场思想实验。它用纸笔和头脑完成,不是一台真的机器——在图灵证明了存在通用图灵机后的十来年,第一台可编程的计算机被建造出来了。图灵机后来成为整个电子计算机的蓝图。
图灵机理论示意图在第二次世界大战中,他加入了英国绝密的破解德军谜团密码计划。在图灵的领导下,秘密工作小组几乎破解了所有使用谜团密码的情报,构成二战转折点,成为战胜纳粹的重要因素。
科普时报:区块链与云计算长期发展目标不谋而合:据《科普时报》今日报道,区块链与云计算两项技术的结合,从宏观上来说,一方面,利用云计算已有的基础服务设施或根据实际需求做相应改变,实现开发应用流程加速,满足未来区块链生态系统中初创企业、学术机构、开源机构、联盟和金融等机构对区块链应用的需求。另一方面,对于云计算来说,“可信、可靠、可控制”被认为是云计算发展必须要翻越的“三座山”,而区块链技术以去中心化、匿名性,以及数据不可篡改为主要特征,与云计算长期发展目标不谋而合。[2018/5/4]
战后,图灵的兴趣又回到他脑中的世界。这位天才科学家继续着他纯粹意义上的头脑风暴——用思考,而不是手,去实现不完美世界中“可以自行迭代的机器”。如今的互联网、人工智能与整个计算机世界,和彼时图灵的设想高度吻合。
设想一下,我们在计算乘法的时候:在每个时刻,我们只将注意力集中在一个地方,根据已经读到的信息移动笔尖,在纸上写下符号或数字;而指示我们写什么怎么写的,则是早已背好的九九乘法表,以及简单的加法。
参考维基百科中图灵机的基本思想:图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作:在纸上写上或擦除某个符号;把注意力从纸的一个位置移动到另一个位置;而在每个阶段,人要决定下一步的动作,依赖于此人当前所关注的纸上某个位置的符号和此人当前思维的状态。
图灵机的实现结构并不复杂,它有一条无限长的纸带,纸带由方格组成。有一个读写头在纸带上移来移去,读写头连接控制器,控制器内有状态转移表,还有一些固定的程序。在每个时刻,读写头都要从当前纸带上读入一个方格信息,然后结合自己的内部状态查找程序表,根据程序输出信息到纸带方格上,并转换自己的内部状态,然后进行移动。图灵机不断重复上述的步骤,这便是执行的过程。
4.图灵测试
1950年,图灵发表了题为《机器能思考吗》的论文,在论文里提出了著名的“图灵测试”。论文的开篇是一条明确的声明:“我准备探讨‘机器能思考吗’这个问题。”然后,童心未泯的图灵设计了一个游戏来解释这个问题的实证含义。他为人工智能给出了一个完全可操作的定义:如果一台机器输出的内容和人类大脑别无二致的话,那么我们就没有理由坚持认为这台机器不是在“思考”。这就是“人工智能”的最初设想,这份设想也在无形中让图灵摘得了“人工智能之父”的桂冠。
图灵测试图灵测试,也就是图灵所说的“模仿游戏”的操作很简单:一位询问者将自己的问题写下来,发给处于另外一个房间之中的一个人和一台机器,然后根据他们给出的答案确定哪个是真人。
至于何时会出现能够通过图灵测试的计算机,图灵给出了自己的预测:“我相信在50年左右的时间内,计算机编程技术将可能……实现顺利通过模仿游戏的计算机,普通询问者在经过5分钟的询问之后的判断准确率将不高于70%。”
图灵预想到自己对思考的定义将会引来许多质疑,所以他尝试在论文中逐一反驳它们。针对来自神学方面的质疑,也就是上帝只将灵魂和思考能力赐给了人类,图灵表示这种观点实际上是对“上帝的全知全能的严重限制”。他提出了一个问题:上帝是否“有自由向一头合适的大象授予灵魂”?想必他是可以这样做的,那么按照同样的逻辑,上帝当然也可以随心所欲地向一台机器授予灵魂。这番话从不信仰上帝的图灵口中说出还是有些讽刺意味的。
在《计算机器与智能》发表之后的几年时间里,图灵似乎很喜欢参与到自己惹出的争论当中。他以自己带有讽刺性的幽默感取笑了那些关人类高等意识的主张:“终有一天,女士们会带着她们的计算机到公园散步,并且互相诉说“我的宝贝计算机在今天早上跟我说了这么一件有趣的事情”!智能手机是不是完全是这种预测?
5.图灵奖
图灵奖杯图灵奖,由美国计算机协会(ACM)于1966年设立,有“计算机界诺贝尔奖”之称。奖杯是一个银色的碗。
从1966年到2019年,图灵奖已经走过了半个多世纪,这也是计算机科学走过的半个世纪,获奖成果串连起来,就是一部计算机科学史。这条旅途跌宕起伏,光影变幻,人类历史上从没有过哪个学科,在破壳而出后的短短半个世纪里推进如此之远。图灵奖的奖金设奖初期为20万美元,1989年起增到25万美元,奖金通常由计算机界的一些大企业提供。目前图灵奖由Google公司赞助,奖金为100万美元。
对于每一个行业和领域来说,几乎都存在一两项令其领域内所有人视为“终极荣誉”的大奖,例如电影业的奥斯卡奖、新闻领域的普利策奖,数学领域的沃尔夫奖和费尔兹奖等等。而在计算机行业,图灵奖则是当之无愧的最高奖项。
从1966年颁发图灵奖至今,已有50多个年头,共授予了70位科学家。据相关资料统计,截止2018年,美国斯坦福大学的图灵奖人数(校友或教职工)位列世界第一,美国麻省理工学院、美国加州大学伯克利分校并列世界第二;哈佛大学和普林斯顿大学分列世界第四和第五名。其中美国学者最多,此外还有英国、瑞士、荷兰、以色列、挪威等国少数学者。
华人学者目前仅有2000年图灵奖得主姚期智一人。
姚期智,1946年出生于中国上海,计算机学家,2000年图灵奖获得者,美国国家科学院院士、美国艺术与科学学院院士、中国科学院院士、港科院创院院士,清华大学高等研究中心教授,香港中文大学计算机科学与工程学系教授,清华大学-麻省理工学院-香港中文大学理论计算机科学研究中心主任,清华大学金融科技研究院管委会主任。他的主要贡献领域为计算理论,包括伪随机数生成,密码学与通信复杂性。
图灵是现代计算机设计思想的创始人,对计算机的贡献杰出!
参考文献:
安德鲁·霍齐斯著,孙天齐译,《艾伦·图灵传》2017年10月
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。