这更像一部戏剧,尽管通过那些夸大的言辞举止去揣度故事,用电影的眼光去欣赏却着实走不通。那些突如其来的高潮、长篇的对话无一不是为这种失真的呈现方式服务的。
非天夜翔的极致浪漫又极致跳脱——是为孤单少年每天写完一页并寄出的小说,是生日那天从山坡跟着直升机燃烧到家的焰火,是风中翻飞开属于图灵送给克利斯朵夫的聂鲁达诗集,是在焰火声中嘶吼嗓子喊出的难言的真心话。
介绍
《图灵密码》,抛去金融、科技等背景,作者主要想凸显的明显是爱情与陪伴(个人观点,轻喷)啊!天和是孤单的,所以普罗来了;关越是孤单的,所以天和出现了。一个天性浪漫,一个渴望浪漫,天造地设。
读完全文,只觉得这样的爱情浪漫。看到两人分道扬镳,最后还是跌撞着奔向对方,并为了这段爱情改变成最后的自己。
这几年由于区块链的大热,以太坊独特的solidity语言实现智能合约功能, 图灵完备 这个词走进大家的视线。
没有计算机专业知识的同学其实很难理解这个词的意思,其实计算机专业的同学都没有深入理解图灵机,图灵完备,图灵测试等概念包含的内涵。为了方便理解区块链技术,理解智能合约,笔者准备分几篇文章来带大家从浅入深,一步一步带你深入理解图灵机,相信通过这几篇文章能就能够理解什么是图灵完备。
艾伦·麦席森·图灵(Alan Mathison Turing,1912年6月23日-1954年6月7日),英国数学家、逻辑学家, 被称为计算机科学理论之父,人工智能之父。
1931年,图灵考入剑桥大学国王学院,由于成绩优异而获得数学奖学金。
1936年5月,年仅24岁的图灵发表一篇题为《论数字计算在决断难题中的应用》的论文,论文中提出一种计算装置,后被称为 “图灵机” ,图灵机不是具体的计算机,而是一种计算概念、计算理论。
1938年在普林斯顿获博士学位,其论文题目为“以序数为基础的逻辑系统”,在数理逻辑研究中产生了深远的影响;同年图灵回到英国,在剑桥大学国王学院任研究员。
第二次世界大战期间,1939年图灵到英国外交部通信处从事军事工作,主要是破译敌方密码的工作。由于破译工作的需要,他参与了世界上最早的电子计算机的研制工作。他的工作取得了极好的成就,破译了德国人Enigma密码,于1945年获政府的最高奖——大英帝国荣誉勋章。
1945年,图灵结束了在外交部的工作,他试图恢复战前在理论计算机科学方面的研究,具体研制出新的计算机来。
1950年他发表论文《计算机器与智能》( Computing Machinery and Intelligence),为后来的人工智能科学提供了开创性的构思。提出著名的 图灵测试 。
1950年,1950年10月,图灵发表论文《机器能思考吗》。这一划时代的作品,使图灵赢得了“人工智能之父”的桂冠。此时,人工智能也进入了实践研制阶段。随着这几年AI技术的不断成熟,人们越来越认识到图灵思想的深刻性:它们至今仍然是人工智能的主要思想之一。
1954年6月7日,年仅41岁的图灵被发现死于家中的床上,床头还放着一个被咬了一口的苹果。这就是现在大名鼎鼎的苹果电脑公司logo的来源。
从图灵的生平中,我们知道,他出生在20世纪初,1912年。
在世界国家格局上,这个时候刚刚爆发第一次世界大战(1913~1921),紧接着1939年至1945年第二次世界大战,大家知道,这两次世界大战倒逼了很多科技的发展,二战期间恰好是图灵青年时代。
在科技文明发展上,由于逻辑的数学化,促使了数理逻辑学科的诞生和发展。但同时这个时期数学上发生了第三次数学危机,具体介绍在下方。图灵在剑桥读大学期间,修读了“数学基础”课程,授课人是纽曼,纽曼整个课程包含对哥德尔不完备性定理的证明和尚未解决的判定性问题。
这些科技事件的背后,其实是人们在认知上,对 可计算性理论 的研究,图灵正是这个问题终结者。
随便提一下,爱因斯坦1905年提出狭义相对论,1927年年仅15岁的图灵为了帮助母亲理解相对论,还写过论文的摘要。
在20世纪以前,人们普遍认为,所有的问题类都是有算法的,人们的计算研究就是找出算法来。1900年,当时著名的大数学家希尔伯特在世纪之交的数学家大会上给国际数学界提出了著名的23个数学问题。
其中第十问题是这样的:
“丢番图方程”指:有一个或者几个变量的整系数方程,它们的求解仅仅在整数范围内进行。
上面这个问题简单点解释是:随便给一个不确定的方程,是否通过有限的步骤运算,判断这个方程是否存在整数解。
这个问题在1970年,苏联一个数学家证明了其实很多数学问题,是没有答案,甚至没有答案的问题比有答案的问题还要多。
这里就提出来了有限的、机械的证明步骤的问题,其实就是算法。但在当时,人们还不知道“算法”是什么。实际上,当时数学领域中已经有很多问题都是跟“算法”密切相关的,因而,科学的 “算法” 定义呼之欲出。之后到了30年代的时候,终于有两个人分别提出了精确定义算法的方法,一个人是图灵,一个人是丘奇。而其中图灵提出来的图灵机模型直观形象。
图灵思考这个问题的方式和常人不一样,在写前面提到的论文《论可计算数及其在判定性问题上的应用》的时候,图灵在思考三个问题
图灵这样的天才考虑问题的认知是高屋建瓴的。
图灵首先考虑的是是否所有数学问题都用解,如果这个问题不解决,辛辛苦苦解题,最后发现无解,一切的努力都是浪费时间和精力。
对于存在答案的数学问题,只有部分是可以在有限步骤内完成,这样把计算机的边界确定下来了。
确定了边界之后,就要设计一种通用、有效、等价的机器,保证可以按照这个方法做事,最后得到答案。而图灵机就是图灵设计出来的这样的一个机器,严格来讲是一种数学模型、计算理论模型。
从图灵机提出到现在已经过去了80多年,今天所有的计算机,包括量子计算机都没有超出图灵机的理论范畴。
第三次数学危机产生于十九世纪末和二十世纪初,当时正是数学空前兴旺发达的时期。首先是逻辑的数学化,促使了数理逻辑这门学科诞生。
早在19世纪末的时候,康托尔为集合论做了奠基性的研究。人们发现,运用集合这个概念可以概括所有的数学,也就是说集合是一切数学的基础。然而就当这座大厦即将完工的时候,一件可怕的事情发生了,罗素提出来的罗素悖论粉碎了数学家的梦想。
关于罗素悖论的一个通俗化版本是:
为什么要第三次数学危机呢?
因为有个很重要的概念: 停机问题 ,停机问题是逻辑数学中可计算性理论中很重要的问题,也是第三次数学危机的解决方案。
停机问题 通俗地说,停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。
有人猜测图灵机模型是图灵在思考 停机问题 而顺带设计出来的,是很有道理的。
图灵在剑桥大学国王学院期间,研究过一本叫做《量子力学的数学基础》的新书,这本书由年轻的匈牙利数学家约翰·冯·诺依曼所著。图灵意识到计算可以用确定性的机械运动来进行表示。其实我们现在的电子计算机虽然不是我们传统意义上的机械,但是CPU内部的电子运动等价于机械运动。
同时图灵也意识到人的思想、意识来自于量子力学中的测不准原理,这不光是微观世界,同时也是这个宇宙本身的规律。所以图灵意识到计算是确定性的,可判定的,而意识是不定的,不可计算的。
在AI人工智能有巨大发展的今天,很多人担心计算机是否会和人一样有意识,其实图灵在80多年前已经考虑过这个问题了。
前面提到,图灵在1950年写过一篇论文《计算机器与智能》,在这篇论文中,图灵测试一词被提出来:
这个测试有多难?目前我们所有的人工智能都没有完成这个测试。最近2018年3月份的谷歌I/O大会上演示的AI产品,据说“部分通过图灵测试”。这个部分到底有多少也未可知。
从人类科技发展的历史上来看,19世纪末到20世纪中期,是第二次工业革命和第三工业革命过渡的时期。第二次工业革命主要电和磁、内燃机的发明和使用,发展到这个时候科学家对世界的认知越来越多,越来越清晰,物理学和数学等自然科学发展迅速。这个时候的数学家发现很多现象可以用数学模型来表示,从物体的运动到星球的运动、从热能到动能的转换、从电到磁的转换等等。那问题来了是否所有的现象都可以用数学模型来表达呢?真是这个问题,让人们对数学很多根本性问题进行思考和研究。
中国有句古话说:乱世出英雄。在图灵的时代,在科学历史上出了很多的科学英雄,包括爱因斯坦、冯诺依曼、图灵、哥德尔等等,一方面是时代背景使然,一方面真是他们的天赋和努力让以信息化为代表的第三次工业革命的进程大大加快了。
从这些巨匠的思考问题,解决问题的方法和认知来看是超出常人的。从对 可计算性理论 的思考,给了我们很大的启示:
**更多有关区块链的技术与思维,可扫码加入我的小密圈。在这里,我陪着你,大家一起研究区块链技术,探讨区块链思维,预测区块链未来,一起做未来前10%的人
**
1、电子计算机
图灵在第二次世界大战中从事的密码破译工作涉及到电子计算机的设计和研制,但此项工作严格保密。直到70年代,内情才有所披露。
从一些文件来看,很可能世界上第一台电子计算机不是ENIAC,而是与图灵有关的另一台机器,即图灵在战时服务的机构于1943年研制成功的CO-LOSSUS(巨人)机,这台机器的设计采用了图灵提出的某些概念。
它用了1500个电子管,采用了光电管阅读器;利用穿孔纸带输入;并采用了电子管双稳态线路,执行计数、二进制算术及布尔代数逻辑运算,巨人机共生产了10台,用它们出色地完成了密码破译工作。
2、人工智能
1949年,图灵成为曼切斯特大学(University of Manchester )计算实验室的副院长,致力研发运行Manchester Mark 1型号储存程序式计算机所需的软件。
1950年他发表论文《计算机器与智能》( Computing Machinery and Intelligence),为后来的人工智能科学提供了开创性的构思。提出著名的“图灵测试”,指出如果第三者无法辨别人类与人工智能机器反应的差别, 则可以论断该机器具备人工智能。
3、数理生物学
从1952年直到去世,图灵一直在数理生物学方面做研究。他在1952年发表了一篇论文《形态发生的化学基础》(The Chemical Basis of Morphogenesis)。
他主要的兴趣是斐波那契叶序列,存在于植物结构的斐波那契数。他应用了反应-扩散公式,如今已经成为图案形成范畴的核心。他后期的论文都没有发表,一直等到1992年《艾伦·图灵选集》出版,这些文章才见天日。
扩展资料:
图灵对于人工智能的发展有诸多贡献,提出了一种用于判定机器是否具有智能的试验方法,即图灵试验,至今,每年都有试验的比赛。此外,图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。
图灵不但以破译密码而名闻天下,他在人工智能和计算机等领域也作出了重要贡献,他常被认为是现代计算机科学的创始人。
战争结束后,在曼彻斯特大学工作的他研制了“曼彻斯特马克一号”———著名的现代计算机之一。1999年,他被《时代》杂志评选为20世纪100个最重要的人物之一。
参考资料来源:百度百科--艾伦·麦席森·图灵
知识点:图灵测试,是现代计算机之父阿兰-图灵在1950年提出的,想考量的问题是:机器能否思考。
图灵测试,如果你感觉这个词比较陌生,我们就先来解释一下:图灵测试是测试人(多人)在与被测试者(一个人和一台机器)隔开的情况下,通过一些装置(如键盘)向被测试者随意提问。问过一些问题后,如果测试人中超过30%的人不能根据答复确认被测试者哪个是人,哪个是机器,那么这台机器就通过了测试,并被认为具有人类智能。
这个看似无厘头的测试,是由现代计算机科学之父英国人阿兰?图灵在60多年前提出的。1950年,阿兰·图灵在那篇名垂青史的论文《计算机械与智力》的开篇说:“我建议大家考虑这个问题:‘机器能思考吗?’”
但是由于我们很难精确地定义思考,所以图灵提出了他所谓的“模仿游戏”:
一场正常的模仿游戏有ABC三人参与,A是男性,B是女性,两人坐在房间里;C是房间外的裁判,他的任务是要判断出这两人谁是男性谁是女性。男方是带着任务来的:他要欺骗裁判,让裁判做出错误的判断。
那么,图灵问:“如果一台机器取代了这个游戏里的男方的地位,会发生什么?这台机器骗过审问者的概率会比人类男女参加时更高吗?这个问题取代了我们原本的问题:‘机器能否思考?’”
这,就是图灵测试的本体。
在科幻片《银翼杀手》中,我们看到了图灵测试的一个具体应用。在电影里用一种情感测试来区分人类与人造人。
虽然2014年6月7日发生了一件事情:聊天程序“尤金·古斯特曼”(Eugene Goostman)在英国皇家学会举行的2014图灵测试大会上冒充一个13岁乌克兰男孩而骗过了33%的评委,从而按照图灵当初的定义,“通过”了图灵测试。但实际上,在现实生活中,图灵测试的原始形式很少被使用。不过,我们实际大量使用图灵测试的另外一种简化的形式——校验码。校验码的用处是区分操作者是人还是机器人。仅仅通过一个简单的测试问题:能否从一个图片中看出里面写的是什么文字。
推广图灵测试的内在含义,实际是一种真假鉴别。如果这样来说,社会上的资格考试本身也是一种图灵测试。出题人面对大量考生,他们必须区分出来哪些是具有资格的人,哪些是不具有资格的人。为了方便操作,一般很少依赖阅卷人的主观判断,而是通过仔细设计题目来实现这一点。
最后再看一个很好玩的图灵测试的反向运用:怎么证明自己不是神经病。目前来看,最好的办法就是不去试图证明什么。凡是试图证明什么的人,看起来多多少少都有点像神经病。不过,葛优在电影《大腕》里,给了我们另外一个思路,他讲了一个笑话,最后一句“三楼的楼长就是你了”,让医生明白了这个家伙思维正常。能够给别人设置思维圈套,然后自己跳出来,看来这个也是具备正常思维能力的一种表现。
图片来源于网络
本作品为“科普中国-科学原理一点通”原创 转载时务请注明出处
更多精彩内容,敬请关注科学原理一点通官方网站
微信公众平台(ID:kxylydt)
人类在漫长的发展过程中,尤其是在工业革命前后,诞生了大量的学术精英。在数学、物理、化学、哲学等方面,这些人依靠他们天才般的智慧,窥探了这个世界一部分的真理,然后传达给整个人类,才会构筑起今天这个世界。精英的作用不言而喻,我们历史上有无数的科学家、哲学家、数学家等等,但在这其中,却有两个特殊的人,特斯拉和图灵,他们对世界当然有一些贡献,不过却增加了许多的“附件”,甚至是当作神一样崇拜。那么这两位大神,到底有啥不同之处呢?
首先这位特斯拉被封为“最接近神的男人”,其实严格来说他并不是一个科学家,而是一位工程师。在大量前人已经发现的各种基础理论上,特斯拉把他们转化为可以使用的电气设备,所以特斯拉也被称为电气时代的开启者。他一生拥有一千多项发明专利,包括全球至今还在使用的交流电系统,制造了感应电机和无叶涡轮机,创造了人造地震以及绚丽的人造闪电,再加上和爱迪生旷日持久的相爱相杀,让这个人本身就具有许多传奇魅力。
真正让他封神的,还是他下半生天马行空的研究领域,那些瑰丽的想象力直到今天仍然被视为是超前的。比如他曾经设计过一种没有机翼的飞行器,外形跟传说中的外星飞碟极为相似。还曾经研究过电的远距离无线传输,而这种技术至今也才刚刚起步。还研究过各种射线,有的可以杀人,有的可以救人。拥有如此超前意识的人,在人们心中的形象可想而知了,在他还没有死的时候,就已经有了各种神乎其神的传言。
有人说他拥有预知未来的超自然能力,有人说通古斯大爆炸是他干的,有人说他有把地球一剖两半的能力。到后来,谣言越传越神,甚至说他已经能空间传送和穿越时间。比如诺兰大神的《致命魔术》当中,甚至描述特斯拉造出了能把人和物品无限复制的机器。但事实上,他只是一个电气工程师,他所能了解的知识,不会比今天的工程师多多少。
再有就是图灵了,图灵身上的神秘色彩不比特斯拉少,不过主要是体现在信息革命之后。图灵最开始出名的,就是在二战当中那场激烈的“密码情报战”,就是德国人发明了专门用于情报密码的“恩尼格玛机”,这个机器可以生成极为复杂的情报密码。盟国聚集了大量的数学家和逻辑学家煞费苦心的去破解,就当大家在黑板和草稿纸上玩命演算的时候,人家图灵却另辟蹊径,想到了用机器来对抗机器。于是乎就发明了著名的“图灵机”,成功破译了德国的密码,让盟国至少提前两年打赢了第二次世界大战。
不过图灵真正的封神之路才刚刚开始,在研制图灵机的前后,他做了一种设想,就是制造出一种可以自主运算的机器,他把所有的理论全部写成论文。后来一个冯·诺依曼的哥们,伙同一些志同道合的人,根据他的设想发明了计算机,也就是电脑,信息技术革命发生了。今天我们使用的电脑、手机、pad、银行卡等等等等信息技术产品,全部都是建立在图灵的理论基础上的。
图灵的理论设想远不止如此,在他不太幸运的晚年,脑子里想的全都是超级超前的东西。比如拥有自主意识的机器人是什么样的,超级人工智能是怎么样的,他还发明了一套至今还在使用的工具,就是“图灵测试”,是目前用来判断人工智能是否真正算是“智能”的标准。总之今天好莱坞电影里天马行空的人机大战,早在半个多世纪前,图灵的脑子里就想透了,所以图灵也被称为“人工智能之父”。也正因如此图灵在全世界拥有无数迷弟,其中有一个叫乔布斯,那个咬了一口的苹果logo,其实就是来自当年那个,毒死图灵的苹果。