加密货币:科普 | 除了图灵完备概念,还有图灵测试、图灵等价、图灵机、图灵奖

关于图灵完备,很多区块链项目的白皮书中都说到自己的项目支持什么图灵完备,或者图灵等价,包括以前也说过以太坊的智能合约是图灵完备的,比特币舍弃了图灵完备等等。了解图灵完备有利于更好的理解区块链领域中的技术。

从图灵完备,我们可以整体的了解一下,图灵、图灵完备与图灵等价、图灵测试、图灵机、图灵奖。

1.图灵本人

艾伦·麦席森·图灵艾伦·麦席森·图灵,1912年生于英国伦敦。艾伦·麦席森·图灵少年时就表现出独特的直觉创造能力和对数学的爱好。

1926年,他考入伦敦有名的舍本(Sherborne)公学,受到良好的中等教育。他在中学期间表现出对自然科学的极大兴趣和敏锐的数学头脑。

1931年,图灵考入剑桥大学国王学院,由于成绩优异而获得数学奖学金。在剑桥,他的数学能力得到充分的发展。

1935年,当选为国王学院的研究员,并于次年荣获英国著名的史密斯(Smith)数学奖,成为国王学院声名显赫的毕业生之一。

1936年5月,提出了“图灵机”,它第一次在纯数学的符号逻辑,和实体世界之间建立了联系,为此后的计算机和“人工智能”奠定了理论基础。

1936年9月,图灵应邀到美国普林斯顿高级研究院学习,并与丘奇一同工作。

IMF今日发布的加密货币科普视频实为两年前旧闻,且存在诸多疏漏:国际货币基金组织IMF今日在推特上发布了一条关于加密货币的科普视频,这段时长两分钟的视频最初发布于2018年6月。该视频称加密货币是“货币进化的下一步”,但没有特别提到DLT、区块链,甚至是代币名称等术语。BTC、XRP和ETH只出现在说明加密交易的图形中。尽管这段视频到目前为止已经获得了超过13.7万的点击量和2900个赞,但来自加密社区的许多反应都是批评的,他们指出了信息中的漏洞和似乎具有误导性的措辞。

Reddit用户nanooverbtc称:“他们犯了很多错误,比如把私钥称为密码。”该视频也没有讨论挖矿或加密货币供应。Kraken策略师Pierre Rochard等知名人士表示:“可证明的稀缺性是比特币有趣的原因,你忘了提这一点。”(Cointelegraph)[2020/8/24]

1938年夏,图灵回到英国,仍在剑桥大学国王学院任研究员,继续研究数理逻辑和计算理论,同时开始了计算机的研制工作。

1939年秋,他应召到英国外交部通信处从事军事工作,主要是破译敌方密码的工作。由于破译工作的需要,他参与了世界上最早的电子计算机的研制工作。他的工作取得了极好的成就,因而于1945年获政府的最高奖——大英帝国荣誉勋章(O.B.E.勋章)。

1945年,图灵结束了在外交部的工作,他试图恢复战前在理论计算机科学方面的研究,并结合战时的工作,具体研制出新的计算机来。这一想法得到当局的支持。同年,图灵被录用为泰丁顿(Teddington)国家物理研究所的研究人员,开始从事“自动计算机”(ACE)的逻辑设计和具体研制工作。

1945年到1948年,他在英国国家物理实验室工作,负责自动计算引擎的研究。

动态 | 新浪财经:官媒针对区块链的报道从科普宣传转向打假监管:据新浪财经今日消息,“1025新政”满月,一个月间,官媒对区块链的态度风向已转。据11月初的一项统计,七家党媒在新政一周内发布了65篇直接相关报道,当时文章中的关键词是数据、产业、安全、创新等,大量文章偏向于科普区块链的概念以及应用介绍,提醒警惕虚拟货币炒作的仅有3篇。近期,官媒的批评焦点则纷纷指向借区块链之名进行的虚拟货币发行和炒作行为。据统计,新华网、人民网收录转载的,以打击虚拟货币或揭露假借区块链行为主题的文章,自10月25日到11月25日午间,共28篇;其中,11月19日至11月25日的一周内就高达15篇。这些文章主要围绕三个观点展开:厘清区块链和虚拟货币的关系,说明二者概念不等;打击伪“区块链”局,或是虚拟货币局揭露;提醒民众,区块链不能成为炒作的噱头,更不是行的招牌,需警惕此类活动,理性投资。[2019/11/26]

1948年,图灵接受了曼彻斯特大学的高级讲师职务。

1949年成为曼彻斯特大学计算机实验室的副主任,负责最早的真正意义上的计算机——“曼彻斯特一号”的软件理论开发,因此成为世界上第一位把计算机实际用于数学研究的科学家。

1950年,并提出了著名的“图灵测试”。

1950年,他提出关于机器思维的问题,他的论文“计算机和智能(Computingmachineryandintelligence),引起了广泛的注意和深远的影响。1950年10月,图灵发表论文《机器能思考吗》。这一划时代的作品,使图灵赢得了“人工智能之父”的桂冠。

1951年,由于在可计算数方面所取得的成就,成为英国皇家学会会员,时年39岁。

1954年6月7日,图灵被发现死于家中的床上,床头还放着一个被咬了一口的苹果,当时图灵41岁。

声音 | 上海股交所总经理:区块链想要大规模发展要做好社会科普工作:金色财经报道,上海股交所总经理张云峰表示,区块链当前还处于一个“概念”的阶段,距离成熟应用,影响到百姓的日常生活还有很长的路要走。对于“区块链”和其会带来的社会和经济效果,沈阳应当持审慎的态度。区块链想要大规模发展,一方面要做好这项复杂技术的社会科普工作,加快社会大众对区块链的了解。另一方面,要充分发挥市场的作用,让企业用实实在在的技术创新,赋能实体经济的发展。[2019/11/17]

2.图灵完备与图灵等价

图灵完备:一切可计算的问题都能计算,这样的虚拟机或者编程语言就叫图灵完备的。一个能计算出每个图灵可计算函数的计算系统被称为图灵完备的。一个语言是图灵完备的,意味着该语言的计算能力与一个通用图灵机相当,这也是现代计算机语言所能拥有的最高能力。

在可计算理论中,当一组数据操作的规则满足任意数据按照一定的顺序可以计算出结果,被称为图灵完备。一个有图灵完备指令集的设备被定义为通用计算机。如果是图灵完备的,它有能力执行条件跳转以及改变内存数据。如果某个东西展现出了图灵完备,它就有能力表现出可以模拟原始计算机,而即使最简单的计算机也能模拟出最复杂的计算机。所有的通用编程语言和现代计算机的指令集都是图灵完备的,都能解决内存有限的问题。图灵完备的机器都被定义有无限内存,但是机器指令集却通常定义为只工作在特定的,有限数量的RAM上。

图灵等价:我们可能经常会在某些文章里面看到图灵等价和图灵完备(Turingcompleteness),但是这两个词的含义是有区别的。尤其是很多书或文章经常对这两个词进行混用,可能会把事情搞复杂。

在可计算理论里,一个数据操作规则的系统被称作图灵完备或者通用计算的,当且仅当它可以被用来模拟单带图灵机。在可计算理论里,有一个很相关的概念叫图灵等价。当计算机P和计算机Q是图灵等价的,P可以模拟Q而且Q也可以模拟P。现实中,一个图灵完备的系统可以模拟图灵机,这个术语常常被用来指与图灵机等价。

声音 | CNBC主持人:加密货币最大的缺点之一就是难以向外行快速科普:CNBC主持人Ran NeuNer近期发推称,加密货币最大的缺点之一就是很难向外行快速解释。当人们要求我向他们解释比特币时,我知道他们至少需要一个小时才能真正理解。[2019/9/10]

所以一个图灵完备的系统可以被称为图灵等价的,如果任何它可以计算的函数也是图灵可计算的。也就是它可计算的函数和图灵机可计算的函数是完全相同的。换句话说,就是图灵等价的系统就是能模拟通用图灵机同时也能也被通用图灵机模拟的系统,所有已知的图灵完备的系统都是图灵等价的。

通过上面的分析,我们就可以清楚的知道这两个词的意思和关系了。图灵等价有两个意思,一个是指两个计算系统在可计算性上计算能力相同;另一个,也是常用的一个就是指一个系统的计算能力与通用图灵机计算能力相同。而图灵完备是指能够模拟通用图灵机的计算系统。而所有已知的图灵完备的系统都是图灵等价的,这也增加了对丘奇-图灵论题的支持。因此,就简单的理解来说,在现有的计算机系统上,使用图灵等价和图灵完备是一个意思。

3.图灵机

1935年,一个夏天。英国剑桥郁郁葱葱,23岁的图灵在此读书。这位年轻人性格内向,做人偏执,还是一名天赋异禀的马拉松跑者。他的马拉松最好成绩是2小时46分,还差点代表英国国家队参加奥运会。某次长跑后,图灵瘫倒在草地上,大口呼吸着剑桥的空气,心跳逐渐平复,脑中却出现了一场风暴。他一跃而起,跑回宿舍,在狂热的心跳中写下了脑中的风暴。他假想出一台“图灵机”:它可以从一条纸带上读取命令、进行操作,从而模拟任何“明确程序”。

他进一步证明人们可以设计出通用图灵机,模拟任何图灵机的运作,然后他进一步证明了即便通用图灵机也无法让所有命题可判断——我们不能用一个算法来判定一台给定的图灵机是否会停机。

声音 | ETC Labs主管:科普教育是未来几年公链面临的巨大挑战:ETCLabs主管Darin Kotalik认为,科普教育是未来几年公链面临的巨大挑战,人们必须要对区块链有基本的认识,分清楚公链和私链的区别。[2019/8/25]

图灵机的整个构造是一场思想实验。它用纸笔和头脑完成,不是一台真的机器——在图灵证明了存在通用图灵机后的十来年,第一台可编程的计算机被建造出来了。图灵机后来成为整个电子计算机的蓝图。

图灵机理论示意图在第二次世界大战中,他加入了英国绝密的破解德军谜团密码计划。在图灵的领导下,秘密工作小组几乎破解了所有使用谜团密码的情报,构成二战转折点,成为战胜纳粹的重要因素。

战后,图灵的兴趣又回到他脑中的世界。这位天才科学家继续着他纯粹意义上的头脑风暴——用思考,而不是手,去实现不完美世界中“可以自行迭代的机器”。如今的互联网、人工智能与整个计算机世界,和彼时图灵的设想高度吻合。

设想一下,我们在计算乘法的时候:在每个时刻,我们只将注意力集中在一个地方,根据已经读到的信息移动笔尖,在纸上写下符号或数字;而指示我们写什么怎么写的,则是早已背好的九九乘法表,以及简单的加法。

参考维基百科中图灵机的基本思想:图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作:在纸上写上或擦除某个符号;把注意力从纸的一个位置移动到另一个位置;而在每个阶段,人要决定下一步的动作,依赖于此人当前所关注的纸上某个位置的符号和此人当前思维的状态。

图灵机的实现结构并不复杂,它有一条无限长的纸带,纸带由方格组成。有一个读写头在纸带上移来移去,读写头连接控制器,控制器内有状态转移表,还有一些固定的程序。在每个时刻,读写头都要从当前纸带上读入一个方格信息,然后结合自己的内部状态查找程序表,根据程序输出信息到纸带方格上,并转换自己的内部状态,然后进行移动。图灵机不断重复上述的步骤,这便是执行的过程。

4.图灵测试

1950年,图灵发表了题为《机器能思考吗》的论文,在论文里提出了著名的“图灵测试”。论文的开篇是一条明确的声明:“我准备探讨‘机器能思考吗’这个问题。”然后,童心未泯的图灵设计了一个游戏来解释这个问题的实证含义。他为人工智能给出了一个完全可操作的定义:如果一台机器输出的内容和人类大脑别无二致的话,那么我们就没有理由坚持认为这台机器不是在“思考”。这就是“人工智能”的最初设想,这份设想也在无形中让图灵摘得了“人工智能之父”的桂冠。

图灵测试图灵测试,也就是图灵所说的“模仿游戏”的操作很简单:一位询问者将自己的问题写下来,发给处于另外一个房间之中的一个人和一台机器,然后根据他们给出的答案确定哪个是真人。

至于何时会出现能够通过图灵测试的计算机,图灵给出了自己的预测:“我相信在50年左右的时间内,计算机编程技术将可能……实现顺利通过模仿游戏的计算机,普通询问者在经过5分钟的询问之后的判断准确率将不高于70%。”

图灵预想到自己对思考的定义将会引来许多质疑,所以他尝试在论文中逐一反驳它们。针对来自神学方面的质疑,也就是上帝只将灵魂和思考能力赐给了人类,图灵表示这种观点实际上是对“上帝的全知全能的严重限制”。他提出了一个问题:上帝是否“有自由向一头合适的大象授予灵魂”?想必他是可以这样做的,那么按照同样的逻辑,上帝当然也可以随心所欲地向一台机器授予灵魂。这番话从不信仰上帝的图灵口中说出还是有些讽刺意味的。

在《计算机器与智能》发表之后的几年时间里,图灵似乎很喜欢参与到自己惹出的争论当中。他以自己带有讽刺性的幽默感取笑了那些关人类高等意识的主张:“终有一天,女士们会带着她们的计算机到公园散步,并且互相诉说“我的宝贝计算机在今天早上跟我说了这么一件有趣的事情”!智能手机是不是完全是这种预测?

5.图灵奖

图灵奖杯图灵奖,由美国计算机协会(ACM)于1966年设立,有“计算机界诺贝尔奖”之称。奖杯是一个银色的碗。

从1966年到2019年,图灵奖已经走过了半个多世纪,这也是计算机科学走过的半个世纪,获奖成果串连起来,就是一部计算机科学史。这条旅途跌宕起伏,光影变幻,人类历史上从没有过哪个学科,在破壳而出后的短短半个世纪里推进如此之远。图灵奖的奖金设奖初期为20万美元,1989年起增到25万美元,奖金通常由计算机界的一些大企业提供。目前图灵奖由Google公司赞助,奖金为100万美元。

对于每一个行业和领域来说,几乎都存在一两项令其领域内所有人视为“终极荣誉”的大奖,例如电影业的奥斯卡奖、新闻领域的普利策奖,数学领域的沃尔夫奖和费尔兹奖等等。而在计算机行业,图灵奖则是当之无愧的最高奖项。

从1966年颁发图灵奖至今,已有50多个年头,共授予了70位科学家。据相关资料统计,截止2018年,美国斯坦福大学的图灵奖人数(校友或教职工)位列世界第一,美国麻省理工学院、美国加州大学伯克利分校并列世界第二;哈佛大学和普林斯顿大学分列世界第四和第五名。其中美国学者最多,此外还有英国、瑞士、荷兰、以色列、挪威等国少数学者。

华人学者目前仅有2000年图灵奖得主姚期智一人。

姚期智,1946年出生于中国上海,计算机学家,2000年图灵奖获得者,美国国家科学院院士、美国艺术与科学学院院士、中国科学院院士、港科院创院院士,清华大学高等研究中心教授,香港中文大学计算机科学与工程学系教授,清华大学-麻省理工学院-香港中文大学理论计算机科学研究中心主任,清华大学金融科技研究院管委会主任。他的主要贡献领域为计算理论,包括伪随机数生成,密码学与通信复杂性。

图灵是现代计算机设计思想的创始人,对计算机的贡献杰出!

参考文献:

安德鲁·霍齐斯著,孙天齐译,《艾伦·图灵传》2017年10月

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金星链

火必APPTOK:肖飒:帮信罪,在涉币案件中如何认定?

今天是币圈老兵Z开庭的日子,新闻也爆出其当庭被认定为帮信罪。作为法律人,首先要纠正媒体的说法,今天只是开庭审判,并不是当庭下判决,Z是否成立帮信罪或者非法经营罪需要等待一审判决,吃瓜群众不要以为.

[0:0ms0-1:0ms