首页

职称论文知识库

首页 职称论文知识库 问题

图灵发表的论文哪里找

发布时间:

图灵发表的论文哪里找

学术论文的话在中国知网可以查询

图灵对自然科学的兴趣使他在1930年和1931年两次获得他的一位同学莫科姆的父母设立的自然科学奖,受到政府派来的督学的赞赏,对自然科学的兴趣为他后来的一些研究奠定了基础,他的数学能力使他在念中学时获得过国王爱德华六世数学金盾奖章。

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

1935年,他的第一篇数学论文“左右殆周期性的等价”发表于《伦敦数学会杂志》上。同一年,他还写出“论高斯误差函数”一文。这一论文使他由一名大学生直接当选为国王学院的研究员,并于次年荣获英国著名的史密斯 (Smith) 数学奖,成为国王学院声名显赫的毕业生之一。

1936年5月,图灵向伦敦权威的数学杂志投了一篇论文,题为《论数字计算在决断难题中的应用》。该文于1937年在《伦敦数学会文集》第42期上发表后,立即引起广泛的注意。在论文的附录里他描述了一种可以辅助数学研究的机器,后来被人称为“图灵机”,这个设想最有变革意义的地方在于,它第一次在纯数学的符号逻辑,和实体世界之间建立了联系,后来我们所熟知的电脑,以及还没有实现的“人工智能”,都基于这个设想。这是他人生第一篇重要论文,也是他的成名之作。

1937年,图灵发表的另一篇文章“可计算性与λ可定义性”则拓广了丘奇(Church)提出的“丘奇论点”,形成“丘奇-图灵论点”,对计算理论的严格化,对计算机科学的形成和发展都具有奠基性的意义。

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

在美国期间,他对群论作了一些研究,并撰写了博士论文。1938年在普林斯顿获博士学位,其论文题目为“以序数为基础的逻辑系统”,1939年正式发表,在数理逻辑研究中产生了深远的影响。

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

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

1945年,图灵结束了在外交部的工作,他试图恢复战前在理论计算机科学方面的研究,并结合战时的工作,具体研制出新的计算机来。这一想法得到当局的支持。同年,图灵被录用为泰丁顿 (Teddington) 国家物理研究所的研究人员,开始从事“自动计算机” (ACE) 的逻辑设计和具体研制工作。这一年,图灵写出一份长达50页的关于ACE的设计说明书。这一说明书在保密了27年之后,于1972年正式发表。在图灵的设计思想指导下,1950年制出了ACE样机,1958年制成大型ACE机。人们认为,通用计算机的概念就是图灵提出来的。

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

1948年,图灵接受了曼彻斯特大学的高级讲师职务,并被指定为曼彻斯特自动数字计算机(Madam)项目的负责人助理,具体领导该项目数学方面的工作,作为这一工作的总结。

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

1950年,图灵编写并出版了《曼彻斯特电子计算机程序员手册》 (The programmers’handbook for the Manchester electronic computer) 。这期间,他继续进行数理逻辑方面的理论研究。并提出了著名的“图灵测试”。同年,他提出关于机器思维的问题,他的论文“计算机和智能 (Computingmachiery and intelligence) ,引起了广泛的注意和深远的影响。1950年10月,图灵发表论文《机器能思考吗》。这一划时代的作品,使图灵赢得了“人工智能之父”的桂冠。

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

1952年,他辞去剑桥大学国王学院研究员的职务,专心在曼彻斯特大学工作.除了日常工作和研究工作之外,他还指导一些博士研究生,还担任了制造曼彻斯特自动数字计算机的一家公司——弗兰蒂公司的顾问。

1952年,图灵写了一个国际象棋程序。可是,当时没有一台计算机有足够的运算能力去执行这个程序,他就模仿计算机,每走一步要用半小时。他与一位同事下了一盘,结果程序输了。后来美国新墨西哥州洛斯阿拉莫斯国家实验室的研究群根据图灵的理论,在MANIAC上设计出世界上第一个电脑程序的象棋。

1937年图灵在发表的论文(B)中首次提出图灵机的概念

A.《左右周期性的等价》

B.《论可计算数及其在判定问题中的应用》

C.《可计算性与λ可定义性》

D.《论高斯误差函数》

艾伦·麦席森·图灵(英语:Alan Mathison Turing,1912年6月23日~1954年6月7日),英国数学家、逻辑学家,被称为计算机科学之父,人工智能之父。

1931年图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,第二次世界大战爆发后回到剑桥,后曾协助军方破解德国的著名密码系统Enigma,帮助盟军取得了二战的胜利。

1952年,英国政府对图灵的同性恋取向定罪,随后图灵接受化学阉割(雌激素注射)。1954年6月7日,图灵吃下含有氰化物的苹果中毒身亡,享年42岁。

2013年12月24日,在英国司法大臣克里斯·格雷灵的要求下,英国女王伊丽莎白二世向图灵颁发了皇家赦免。

图灵对于人工智能的发展有诸多贡献,提出了一种用于判定机器是否具有智能的试验方法,即图灵试验,每年都有试验的比赛。此外,图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。

哪里能找到图灵发表的论文

综述:可以在知网上查到自己发表的论文。

1、百度搜索:中国知网,选择下面的网站打开也可以直接百度搜索这个链接。

2、打开中国知网后,在首页下面位置找到“出版物检索”并打开。输入并搜索杂志名称,如:《中华妇产科》杂志,找到安排的杂志后,点击打开杂志。左边选择:作者,右边输入作者名字(比如叫王杰),按确定键,那么在这个杂志上安排过文章,并且叫这个名字的都会显示出来。找到文章题目并打开就可以了。

3、假如这篇文章就是之前安排在《中华妇产科》上的文章,打开后只能看一小部分, 如果您想要看全文,可以下载下来,最好选择PDF格式下载,因为其他的格式可能打不开或者需要下载知网阅读器cajviewer才能打开,相比之下比较麻烦。

论文的含义:

当代,论文常用来指进行各个学术领域的研究和描述学术研究成果的文章,简称之为论文。它既是探讨问题进行学术研究的一种手段,又是描述学术研究成果进行学术交流的一种工具。它包括学年论文、毕业论文、学位论文、科技论文、成果论文等。

2020年12月24日,《本科毕业论文(设计)抽检办法(试行)》提出,本科毕业论文抽检每年进行一次,抽检比例原则上应不低于2% 。

以上内容参考 百度百科-论文

机器可以思考出自:图灵发表了里程碑论文《计算机器与智能》,第一次提出“机器思维”和“图灵测试”(TurningTest)的概念,该论文又名《机器能思考吗?》,正是这篇文章为图灵赢得了“人工智能之父”的桂冠。他这样设想道:“人的大脑好似一台巨型的电子计算机,初生婴儿的大脑皮层像‘尚未组织好的’机器,可以经过训练,使之成为‘组织好了的’类似于万能机(即万能图灵机)式的机器。”由于机器和思考这两个词的含义模糊,很难给出定义,图灵在论文中提出用一个测试来代替解答“机器能思考吗”这个问题。他称之为模仿博弈,也就是后世大名鼎鼎的图灵测试。

其实他的论文名是这个COMPUTING MACHINERY AND INTELLIGENCE

数据库中,如中国知网、万方数据、读秀学术等。

图灵发表的论文在哪里

机器可以思考出自:图灵发表了里程碑论文《计算机器与智能》,第一次提出“机器思维”和“图灵测试”(TurningTest)的概念,该论文又名《机器能思考吗?》,正是这篇文章为图灵赢得了“人工智能之父”的桂冠。他这样设想道:“人的大脑好似一台巨型的电子计算机,初生婴儿的大脑皮层像‘尚未组织好的’机器,可以经过训练,使之成为‘组织好了的’类似于万能机(即万能图灵机)式的机器。”由于机器和思考这两个词的含义模糊,很难给出定义,图灵在论文中提出用一个测试来代替解答“机器能思考吗”这个问题。他称之为模仿博弈,也就是后世大名鼎鼎的图灵测试。

阿兰·图灵(1912—1954)阿兰・麦席森・图灵,1912 年 6 月 23 日出生在伦敦帕丁顿的疗养院。他的父亲曾在印度公务署为英帝国效力,母亲出生在马德拉斯,外祖父是一位工程师,因为在印度修建桥梁和铁路赚了大钱。1907 年,图灵的父母在一艘从印度到英国的船上相遇,同年在都柏林结婚。1908 年年初,他们回到印度。阿兰是他们的第二个男孩,他母亲 1911 年在印度怀上了他,后回英国生产。 阿兰和他的哥哥约翰幼年在英国度过,由一对退休夫妇照顾,父母则因为工作住在印度,这在当时很常见。 1922 年,阿兰进入肯特的哈兹勒赫斯特预备学校学习。他最初的兴趣是地图、国际象棋和化学。期间图灵读到一本埃德温・坦尼・布鲁斯特所著的《每个儿童应该知道的自然奇观》。图灵后来说,这本书开启了他的科学视野,并对他理解人与机器之间的关系产生了更深刻的影响。“显然,人体也是一台机器。” 那本书对此解释道: “它是一台极其复杂的机器。虽然比任何手工制作的机器都要复杂千万倍,但其本质上仍然是一台机器。有人曾将人体比作一台蒸汽机,但那时我们还不太了解它的工作原理。现在,我们会把它比喻为一台内燃机,就像是汽车、轮船和飞机的内燃机一样。” 20 世纪初,“人体是机器” 的想法被看成是非常无知的,就像现在儿童读物里很幼稚的想法一样。但事实并非如此。在图灵出生前 200 年,法国医生兼哲学家朱利安・奥佛雷・拉・美特利(1709—1751)在其 1747 年的争议性作品 L’Homme Machine(《人是机器》)中,毫不掩饰地描述了人体甚至思维的机械般的工作机制。图灵从小就觉得自己的身体也是一台机器,后来也因探索机器和人类间的联系而被世人铭记。 1926 年,他被一所最古老的英国公立学校舍伯恩录取。图灵在舍伯恩第一学期的第一天被大罢工所阻,不能乘火车去学校,阿兰决定骑车 60 英里上学,这一壮举被当地的报纸所报道。 在舍伯恩,阿兰没能与其他男孩打成一片。他害羞、孤独,似乎总是衣衫不整、墨迹斑斑。“他的所有特征都容易成为笑柄,尤其是他那害羞、犹豫、尖细的声音 —— 不完全是口吃,而是吞吞吐吐,就像在等待一个复杂的程序将他的想法转化成人类语言一样。” 他本可以在学习上表现优异而弥补自己的不足,但事实并非如此。只有在数学上,他才表现出一些智力天赋的端倪。 到了 1929 年,阿兰开始着迷于《物理世界的自然》(1928)一书。这是一本广为流行并极具影响力的书,由剑桥大学天文学家亚瑟・埃丁顿爵士所著,书中探讨了相对论和量子理论的新科学所带来的影响。阿兰同时和一个名为克里斯托弗・莫科姆的同学交往密切,他和阿兰在科学和数学上有着共同的兴趣,而且出生在一个比阿兰家更有意思并兼具科学气氛的家庭。克里斯托弗的外祖父是约瑟夫・斯万爵士,他在 1879 年发明了白炽灯泡,独立于爱迪生的发明。 回想起来,图灵很可能在那时发现了他的同性恋倾向,克里斯托弗是他的初恋。但是没有任何迹象表明,这两名青年之间发生了身体接触,他们一起做化学实验,交流数学公式,并探讨埃丁顿和剑桥大学另一位天文学教授詹姆斯・简爵士所著书中的新天文学和新物理学。 剑桥大学是有抱负的英国科学家追逐向往之地,其在科学和数学上最享有盛名的学院就是三一学院。1929 年 12 月,阿兰和克里斯托弗花了一周的时间到剑桥大学参加奖学金考试,一起沐浴在弗朗西斯・培根、艾萨克・牛顿、詹姆斯・克拉克・麦克斯韦母校的氛围中。他们回到舍伯恩一周后,考试结果公布在了《泰晤士报》上。阿兰没被录取,而克里斯托弗被录取了。克里斯托弗将前往三一学院,而阿兰最大的希望是能争取在下一年入学三一学院或者剑桥的其他学院。 两个月后,克里斯托弗突然生病并在一周内去世,病因是他小时候所感染的牛结核病。他们舍伯恩的一位旧日同窗在信中写道:“可怜的图灵因为这个打击几乎崩溃,他们一定是极其要好的朋友。” 虽然图灵也与其他男人有着更亲密的性关系,但显然他对克里斯托弗的爱与崇拜是其他人所不能比的。 1930 年 12 月,图灵再次参加了三一学院的考试,但仍然未被录取。他的第二选择是剑桥大学国王学院。这一次,他决定专攻数学,全心钻研 G. H. 哈代的经典著作《纯数学教程》(A Course of Pure Mathematics)备考,这本书在当时已经是第 15 版了。1931 年秋,阿兰开始了他在剑桥大学国王学院的学习。 接来的一年,图灵研究起一本叫做《量子力学的数学基础》(Mathematische Grundlagen der Quantenmechanik)的新书,这本书由年轻的匈牙利数学家约翰・冯・诺依曼所著。20 世纪 20 年代中期,冯・诺依曼曾与大卫・希尔伯特在哥廷根大学一起共事。绝大多数早期量子力学的数学研究工作都是在哥根廷大学进行的。20 世纪 30 年代,冯・诺依曼移民美国并在普林斯顿大学任教,1933 年成为普林斯顿高等研究院聘任的首批数学家之一。现在,通过一些场合,冯・诺依曼和阿兰・图灵的生活开始有了交集。 图灵与冯・诺依曼的第一次见面很可能是在 1935 年夏天,当时冯・诺依曼利用在普林斯顿大学的工作假期来到剑桥大学做关于殆周期函数的演讲。图灵已经熟知演讲的主题以及冯・诺依曼在这方面的研究工作。就在那年春天,图灵已经发表了他的第一篇论文,共两页,讨论了 “左右殆周期性的等价性”(Equivalence of Left and Right Almost Periodicity,伦敦数学学会,1935),推广了冯・诺依曼在前一年发表的一篇论文。 他们都没想到,两人会在次年于新泽西州的普林斯顿再次相遇。 图灵对于数理逻辑这一精妙深奥领域的兴趣可能开始于 1933 年,当时他阅读了伯特兰・罗素 1919 年的作品《数学哲学导论》。书的末尾写道: “如果有学生因为这本书而迈入数理逻辑的大门,并进行认真的研究,那么这本书就达到当时写作的初衷了。” 1935 年的春季学期,图灵修读了 “数学基础” 课程,授课人是麦克斯韦・赫尔曼・亚历山大・纽曼(1897—1984),其姓名缩写 M.H. A.。纽曼更为人熟知,人们常亲切地称他麦克斯。麦克斯・纽曼名声在外的是他在组合拓扑方面的工作,不过他也可能是剑桥大学在数理逻辑方面最有见识的人。纽曼整个课程的高潮是对哥德尔不完备性定理的证明。(研究生水平的数理逻辑导论课程至今仍然采用类似的结构。 此外,纽曼的课程也涵盖了尚未解决的判定性问题。“是否有一种确定的方法,或者纽曼所说的‘机械过程’,它可以应用于一个数学命题,并得出该命题能否被证明的结论?” 当然,对于 “机械过程”,纽曼指的不是一台机器。机器也许能够进行简单的算术,但几乎不能解决实际意义上的数学问题。纽曼暗指的是后人称为 “算法” 的一类过程 —— 用于解决某个问题的一组明确(但无意识的、非智能的)指令集。图灵开始研究判定性问题很可能是在 1935 年初夏。那时,他已经获得了剑桥大学奖学金,每年 300 英镑。图灵后来说,想到判定性问题的解决思路时,他正躺在格兰切斯特草坪上,这是剑桥学生很喜欢的一个休闲场所,距国王学院大约两英里。 到 1936 年 4 月,图灵把论文 “论可计算数及其在判定性问题上的应用” 的草稿交给了纽曼。 大约在麦克斯・纽曼阅读图灵论文手稿的同一时间,他又收到美国数学家阿隆索・邱奇寄来的短论文 “判定性问题的笔记” 13 的单行本。基于已刊出的另一篇论文,邱奇的文章同样做出了判定性问题不可解的结论。 别人比图灵捷足先登了。这通常意味着他的论文不能发表,注定要被遗忘。但麦克斯・纽曼意识到,图灵的方法更具创新性,并且与邱奇的方法有着很大的差异。他仍然建议图灵向伦敦数学学会提交论文发表。(从发表的论文看,该学会于 1936 年 5 月 28 日收到它。)图灵在 5 月 29 日给他母亲的信上对此做出了解释: “现在,有一篇论文同时在美国发表,作者是阿隆索・邱奇,他和我做的事相同,只是方法不同。尽管如此,纽曼先生和我觉得,截然不同的方法完全能够让我的论文得以发表。阿隆索・邱奇住在普林斯顿,所以我已经相当确定,我将去那里。” 图灵的论文发表在伦敦数学学会 1936 年 11 月和 12 月的论文集里,1937 年 12 月发表了一份三页纸的修订稿。阿隆索・邱奇在 1937 年 5 月的《符号逻辑杂志》(Journal of Symbolic Logic)中针对这篇论文写了一篇只有四段的评论,其中写道:“一位持有铅笔、纸和一串明确指令的人类计算者,可以被看做是一种图灵机。” 这是已知的 “图灵机” 一词最早见诸文字的地方。 早在 1935 年 5 月,图灵就考虑去普林斯顿大学,也申请了普林斯顿大学的访问奖学金。一年后,他发现普林斯顿大学数学系教授邱奇也发表了一篇关于判定性问题的论文,于是图灵 “相当肯定地决定” 要去普林斯顿大学。 纽曼为此提供了帮助。他向邱奇介绍了图灵的工作,并在同一封信中,请他帮助图灵获得奖学金: “我应该指出,图灵的工作是完全独立进行的,一直没有得到任何人的指导或者评判。因而,让他尽早接触本领域的顶尖人员变得更加重要,这样他才不致于孤独成性。” 倾向于独立工作,不受外界影响,这实际上是图灵的一个大问题。早在他年轻的时候,图灵就重新创立了二项式理论,并发明了自己的微积分记号。在尝试解决判定性问题时,他不熟悉邱奇及其同事们的早期成果,这也许是件好事,否则他可能就不会找到这样有趣的解决方法了。然而,一般说来,还是有必要知道在世界其他地方发生了什么事情,而对于数理逻辑领域,普林斯顿就是这样的地方。图灵没能获得他申请的普罗科特奖学金,但得到了国王学院的奖学金。 新泽西州普林斯顿的知识光环由于高等研究院的成立而变得更加熠熠生辉。高等研究院的成立得到路易斯・班伯格 5 百万美元的捐赠。班伯格创建了班伯格百货连锁店,并在 1929 年经济大萧条之前将其出售给了梅西百货公司。 高等研究院一开始成立的目的是为了促进科学和历史研究。在最初的几年中,高等研究院的数学学院与普林斯顿大学的数学系在同一座楼,这促成了两个机构之间的许多交流。高等研究院迅速成为了优秀科学家和数学家的家园,他们中的一些人是逃离了危险的欧洲来到这里的,其中最有名的是爱因斯坦。他于 1933 年来到这里,并在此度过了余生。 图灵于 1936 年 9 月到达普林斯顿大学时,非常想见到库尔特・哥德尔。一年前,哥德尔还身在高等研究院,之后也回来过,可惜的是一直未能与图灵谋面。 图灵在剑桥大学时见过的冯・诺依曼此时在高等研究院,还有同样来自剑桥大学的 G. H. 哈代。理查德・柯朗和赫尔曼・外尔也在高等研究院,他们几年前逃离了哥廷根。 图灵在普林斯顿大学待了两年,并获得了第二年的普罗科特奖学金(总共 2000 美元),邱奇成为了图灵的论文指导教授。在邱奇的指导下,图灵写了一篇论文,并在 1938 年 6 月 21 日获得了博士学位。图灵婉拒了冯・诺依曼提出的一份 1500 元年薪、担任其助理的工作,并于一个月后回到了英国。他在剑桥大学教授数学基础这一课程。 图灵是一位英国数学家,他是计算机科学史上相当杰出的人物;学习过人工智能、计算机科学和密码学课程的学生应该熟悉他的贡献。他对人工智能的贡献在于著名的为测试人工智能开发的图灵测试他试图解决人工智能中有争议的问题,如“计算机是否有智能?”,由此制订了这个测试。在理论计算机科学中,有一门课程是研究图灵机的计算模型。图灵机是一个捕捉计算本质的数学模型。它的设计旨在固答这个问题:“函数可计算意味着什么?” 读者应该理解,在第一台数字计算机出现的七八年前,图灵就在本质上讨论了使用算法来解决特定问题的概念。 你可能已经看过描绘英国之战的第二次世界大战的电影。1940—1944 年间,德国飞机在英国丢下了近 20 万吨炸弹:在伦敦外的布莱奇利公园,图灵带领一队数学家破解德国密码——人称“恩尼格玛密码(Enigma Code)”他们最终用恩尼格玛密码机破解了密码。这个设备破译了发送到德国船只和飞机的所有军事命令的密码。图灵小组的成功在盟军的胜利中发挥了决定性的作用。 图灵发明了存储程序概念,这是所有现代计算机的基础。1935 年之前,他就已经描述了一台具有无限存储空间的抽象计算机器一它具有一个读取头(扫描嚣〉,来回移动读取存储空间,读取存储在存储空间中的程序指定的符号:这一概念称为通用图灵机(Universal Turing Machine)。 图灵很早就对如何组织神经系统促进大脑功能提出了自己的见解:Craig Webster 在其文章中阐释了图灵的论文《Computing Machinery and Intelligence》(最终于 1950 年发表在 Mind 上),将图灵 B 型网络作为无组织的机器进行了介绍,这个 B 型网络在人类婴儿的大脑皮层中可以发现。这种有远见的观察提醒了我们智能体的世界观。 图灵论述了两种类型的无组织机器,它们称为类型 A 和类型 B。类型 A 机器由 NAND 门组成,其中每个节点具有用 0 或 1 表示的两种状态、两种输入和任何数目的输出。每个 A 型网络都以特定的方式与另外 3 个 A 型节点相交,产生组成 B 型节点的二进制脉冲:图灵已经认识到培训的可能性以及自我刺激反馈循环的需要,图灵还认为需要一个“遗传搜索”来训练 B 型网络,这样就可发现令人满意的值(或模式)。 在布莱奇利公园,图灵经常与唐纳德·米基(他的同事和追随者)讨论机器如何从经验中学习和解决新问题的概念。后来,这被称为启发法问题求解和机器学习。 图灵很早就对用国际象棋游戏作为人工智能测试平台的问题求解方法有了深刻的认识。虽然他那个时代的计算机器还不足以开发出强大的国际象棋程序,但是他意识到了国际象棋所提出的挑战(具有 10^{20}1020 种可能的合法棋局)。前面提到,其 1948 年的论文《计算机器和智能》为此后所有的国际象棋程序奠定了基础,导致在 20 世纪 90 年代发展出了可以与世界冠军竞争的大师级机器。

1937年图灵在发表的论文(B)中首次提出图灵机的概念

A.《左右周期性的等价》

B.《论可计算数及其在判定问题中的应用》

C.《可计算性与λ可定义性》

D.《论高斯误差函数》

艾伦·麦席森·图灵(英语:Alan Mathison Turing,1912年6月23日~1954年6月7日),英国数学家、逻辑学家,被称为计算机科学之父,人工智能之父。

1931年图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,第二次世界大战爆发后回到剑桥,后曾协助军方破解德国的著名密码系统Enigma,帮助盟军取得了二战的胜利。

1952年,英国政府对图灵的同性恋取向定罪,随后图灵接受化学阉割(雌激素注射)。1954年6月7日,图灵吃下含有氰化物的苹果中毒身亡,享年42岁。

2013年12月24日,在英国司法大臣克里斯·格雷灵的要求下,英国女王伊丽莎白二世向图灵颁发了皇家赦免。

图灵对于人工智能的发展有诸多贡献,提出了一种用于判定机器是否具有智能的试验方法,即图灵试验,每年都有试验的比赛。此外,图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。

找图灵发表的论文

1937年,图灵在发表的论文()中,首次提出图灵机的概念。 A.《左右周期性的等价》 B.《论可计算数及其在判定问题中的应用》 C.《可计算性与λ可定义性》 D.《论高斯误差函数》 正确答案:B

机器可以思考出自:图灵发表了里程碑论文《计算机器与智能》,第一次提出“机器思维”和“图灵测试”(TurningTest)的概念,该论文又名《机器能思考吗?》,正是这篇文章为图灵赢得了“人工智能之父”的桂冠。他这样设想道:“人的大脑好似一台巨型的电子计算机,初生婴儿的大脑皮层像‘尚未组织好的’机器,可以经过训练,使之成为‘组织好了的’类似于万能机(即万能图灵机)式的机器。”由于机器和思考这两个词的含义模糊,很难给出定义,图灵在论文中提出用一个测试来代替解答“机器能思考吗”这个问题。他称之为模仿博弈,也就是后世大名鼎鼎的图灵测试。

图灵发表的论文哪篇

艾伦·麦席森·图灵(英文:Alan Mathison Turing,1912年6月23日-1954年6月7日),英国数学家、逻辑学家,被称为计算机科学父,人工智能之父。1931年图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,第二次世界大战暴发后回到剑桥,后曾协助军方破解德国的著名密码系统Enigma,帮助盟军取得二战的胜利。 1952年,英国振幅对图灵的同性恋取向定罪,随后图灵进行化学阉割(雌激素注射)。1954年6月7日,图灵吃下有氰化物的苹果中毒身亡,享年41岁。2013年12月24日,在英国司法大臣克里斯·格雷灵的要求下,英国女王伊丽莎白二世向图灵颁发了皇家赦免。 图灵对于人工智能的发展有诸多贡献,提出了一种用于判定机器是否具有智能化的试验方法,即图灵试验,至今,每年都有试验的比赛。此外,图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。 艾伦·麦席森·图灵,1912年6月23日生于英国伦敦。艾伦·麦席森·图灵少年时就表现出独特的直觉创造能力和对数学的爱好。 1926年,14岁的图灵考入伦敦有名的谢伯恩公学去学习,受到良好的中等教育,他在中学期间表现出对自然的极大兴趣和敏锐的数学头脑。 1927年末,年仅15岁的图灵为帮助母亲理解爱因斯坦的相对论,写了爱因斯坦的一部著作的内容提要,表现出他已具备非同凡响的数学水平和科学理解力。 图灵对自然可写的兴趣使他在1930年和1931年两次获得他的一位同学莫克姆的父母设立的自然科学奖,获奖工作中有一篇论文题为“亚硫盐酸和卤化物在酸性溶液中的反应”,受到了政府派来的督学的赞赏,对自然科学的虚拟光驱为他后来的一些研究奠定了基础,他的数学能力使他在念中学时获得过国王爱德华六世数学金盾奖章。 1931年,图灵考进剑桥国王学院,由于成绩优异而获得数学奖学金,在剑桥,他的数学能力得到充分的发展。1935年,他的第一篇数学论文“左右殆周期性的等价”发表于《伦敦数学会杂志》上。同一年,他还写出“论高斯误差函数”一文。这一论文使他又一名大学生直接当选为国王学院的研究员,并与次年荣获英国著名的史密斯(Smith)数学奖,成为国王学院声名显赫的毕业生之一。 1936年5月,图灵向英国权威的数学杂志投了一篇论文,题位《论数学计算在决断难题中的应用》。该文于1937年在《伦敦数学会文集》第42期上发表后立即引起了广泛的注意。在论文的附录里他描述了一可以辅助数学研究的机器,后来我们所熟知的电脑,以及还没有实现的”人工智能“都基于这个设想。这是他人生第一篇重要文章,也是他的成名之作。 1937年,图灵发表的另一篇文章“可计算性与λ可定义性”则拓广了丘奇(Church)提出的“丘奇论点”,形成“丘奇-图灵论点”,对计算机理论的严格化,对计算机科学的形成和发展都具有奠基性的意义。 1936年9月,图灵应邀到美国普林斯顿高级研究院学习,并于丘奇一同工作。 在美国期间,他对群论做了一些研究,并撰写了博士论文。1938年在普林斯顿获得博士学位,其论文题目为“以序数为基础的逻辑系统”,1939年正式发表,在数理逻辑研究中产生了深远的影响。 1938年夏,图灵回到英国,仍在剑桥大学国王学院任研究员,继续研究数理逻辑和计算理论,同时开始了计算机的研制工作。 第二次世界大战打断了图灵的正常研究工作,1939年秋,他应召到英国外交部通信处从事军事工作,主要是破译敌方密码的工作。由于破译工作的需要,他参与了世界上最早的电子计算机的研制工作。他的工作取得了极好的成就,因而于1945年获政府的最高奖——大英帝国荣誉勋章(O.B.E.勋章)。 1945年,图灵结束了在外交部的工作,他试图恢复战前在理论计算机科学方面的研究,并结合战时的工作,具体研制出新的计算机来。这一想法得到当局的支持。同年,图灵被录用为泰丁顿Teddington)国家物理研究所的研究人员,开始从事“自动计算机” (ACE) 的逻辑设计和具体研制工作。这一年,图灵写出一份长达50页的关于ACE的设计说明书。这一说明书在保密了27年之后,于1972年正式发表。在图灵的设计思想指导下,1950年制出了ACE样机,1958年制成大型ACE机。人们认为,通用计算机的概念就是图灵提出来的。 1945年到1948年,他在英国国家物理实验室工作,负责自动计算引擎的研究。 1946年的8月,图灵参加了他正式跑步训练后的第一个比赛。那是在他加入沃尔顿田径俱乐部后参加的3英里 (4.8公里) 比赛,图灵以15分37秒的成绩夺得第一,这一成绩当年在英国排名第20位。 1947年,在莱斯特郡拉夫堡 (Loughborough) 大学体育场举行的英国业余田径协会马拉松锦标赛上,图灵跑出了他在马拉松赛中的个人最好成绩2小时46分03秒,在那场比赛中列第五名。 1948年,图灵接受了[曼彻斯特大学]的高级讲师职务,并被指定为曼彻斯特自动数字计算机(Madam)项目的负责人助理,具体领导该项目数学方面的工作,作为这一工作的总结。 1949年成为曼彻斯特大学计算机实验室的副主任,负责最早的真正意义上的计算机——“曼彻斯特一号”的软件理论开发,因此成为世界上第一位把计算机实际用于数学研究的科学家。 1950年,图灵编写并出版了《曼彻斯特电子计算机程序员手册》(The programmers’handbook for the Manchester electronic computer)。这期间,他继续进行数理逻辑方面的理论研究。并提出了著名的“图灵测试”。同年,他提出关于机器思维的问题,他的论文“计算机和智能(Computingmachiery and intelligence),引起了广泛的注意和深远的影响。1950年10月,图灵发表论文《机器能思考吗》。这一划时代的作品,使图灵赢得了“人工智能之父”的桂冠。 1951年,由于在可计算数方面所取得的成就,成为英国皇家学会会员,时年39岁。 1952年,他辞去剑桥大学国王学院研究员的职务,专心在曼彻斯特大学工作.除了日常工作和研究工作之外,他还指导一些博士研究生,还担任了制造曼彻斯特自动数字计算机的一家公司——弗兰蒂公司的顾问。 1952年,图灵写了一个国际象棋程序。可是,当时没有一台计算机有足够的运算能力去执行这个程序,他就模仿计算机,每走一步要用半小时。他与一位同事下了一盘,结果程序输了。后来美国新墨西哥州洛斯阿拉莫斯国家实验室的研究群根据图灵的理论,在MANIAC上设计出世界上第一个电脑程序的象棋。 1952年,图灵的同性伴侣协同一名同谋一起闯进了图灵的房子实施盗窃。图灵为此而报警。但是警方的调查结果使得他被控以“明显的猥亵和性颠倒行为”(同性恋)。他没有申辩,并被定罪。在著名的公审后,他被给予了两个选择:坐牢或 荷尔蒙疗法 。他选择了荷尔蒙注射,并持续了一年。在这段时间里,药物产生了包括乳房不断发育的副作用。 1954年6月7日,图灵被发现死于家中的床上,床头还放着一个被咬了一口的泡过氰化物的苹果。警方调查后认为是剧毒的氰化物中毒,调查结论为自杀。当时图灵41岁。 2009年,英国计算机科学家康明(John Graham-Cumming)发起了为图灵平反的在线请愿,截止到2009年9月10日请愿签名人数已经超过了3万,为此,当时的英国政府及首相戈登布朗不得不发表正式的道歉声明。 2012年12月,霍金、纳斯(Paul Nurse,诺贝尔医学奖得主)、里斯(Martin Rees,[英国皇家学会会长)等11位重要人士致函英国首相卡梅伦,要求为其平反。 2013年12月24日,在英国司法大臣克里斯・格雷灵(ChrisGrayling)的要求下,英国女王终于向图灵颁发了皇家赦免。英国司法部长宣布,“图灵的晚年生活因为其同性取向而被迫蒙上了一层阴影,我们认为当时的判决是不公的,这种歧视现象如今也已经遭到了废除。为此,女王决定为这位伟人送上赦免,以此向其致敬。” 图灵在他的“论可计算数及其在判定问题中的应用”一文中从一个全新的角度定义了可计算函数。他全面分析了人的计算过程,把计算归结为最简单、最基本、最确定的操作动作,从而用一种简单的方法来描述那种直观上具有机械性的基本计算程序,使任何机械(能行)的程序都可以归约为这些动作。这种简单的方法是以一个抽象自动机概念为基础的,其结果是:算法可计算函数就是这种自动机能计算的函数。这不仅给计算下了一个完全确定的定义,而且第一次把计算和自动机联系起来,对后世产生了巨大的影响,这种“自动机”后来被人们称为“图灵机”。 图灵在第二次世界大战中从事的密码破译工作涉及到电子计算机的设计和研制,但此项工作严格保密。直到70年代,内情才有所披露。从一些文件来看,很可能世界上第一台电子计算机不是ENIAC,而是与图灵有关的另一台机器,即图灵在战时服务的机构于1943年研制成功的CO-LOSSUS(巨人)机,这台机器的设计采用了图灵提出的某些概念。它用了1500个电子管,采用了光电管阅读器;利用穿孔纸带输入;并采用了电子管双稳态线路,执行计数、二进制算术及布尔代数逻辑运算,巨人机共生产了10台,用它们出色地完成了密码破译工作。战后,图灵任职于泰丁顿国家物理研究所(Teddington National Physical Laboratory),开始从事“自动计算机”(Automatic Computing Engine)的逻辑设计和具体研制工作。1946年,图灵发表论文阐述存储程序计算机的设计。他的成就与研究离散变量自动电子计算机(Electronic Discrete Variable Automatic Computer)的约翰·冯·诺伊曼(John von Neumann)同期。图灵的自动计算机与诺伊曼的离散变量自动电子计算机都采用了二进制,都以“内存储存程序以运行计算机”打破了那个时代的旧有概念。 从1952年直到去世,图灵一直在数理生物学方面做研究。他在1952年发表了一篇论文《形态发生的化学基础》(The Chemical Basis of Morphogenesis)。他主要的兴趣是斐波那契叶序列,存在于植物结构的斐波那契数。他应用了反应-扩散公式,如今已经成为图案形成范畴的核心。他后期的论文都没有发表,一直等到1992年《艾伦·图灵选集》出版,这些文章才见天日。 1945年到1948年,图灵在国家物理实验室,负责自动计算引擎(ACE)的工作 。1949年,他成为曼彻斯特大学计算机实验室的副主任,负责最早的真正的计算机---曼彻斯特一号的软件工作。在这段时间,他继续作一些比较抽象的研究,如“计算机械和智能”。图灵在对人工智能的研究中,提出了一个叫做图灵试验的实验,尝试定出一个决定机器是否有感觉的标准。

这几年由于区块链的大热,以太坊独特的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%的人

**

《论可计算数:图灵与现代计算的诞生》 克里斯·伯恩哈特图灵,

对于计算机领域是最高荣誉的代名词,但对于广大人民来说,可能会是个陌生的名字。在1936年,24岁的图灵就发表了这篇影响计算机学科构建的论文。论文的题目《论可计算数及其在判定问题上的应用 》(On Computable Numbers, with an Application to the Entscheidungsproblem),很简洁了当地体现了这篇论文的主旨,即对可计算数及其判定的研究。而这本书就围绕着这篇论文的内容,以及前前后后相关联的事情的介绍。这篇论文的主旨是为了证明一位顶尖数学家的观点是错误的,因此,图灵深入研究了计算,什么是计算,怎么定义计算,是否存在不可计算的问题,是否可以判断问题是否可计算等问题,然后通过构思出一种可以运行各种算法的机器,参考哥德尔和奥托尔给出了简洁美妙的证明。

虽然如此,但读完也只懵懵懂懂,晕晕乎乎。大体上,图灵为了证明希尔伯特作出的假设“存在一个决策程序,能够告诉我们一个论述能否通过这些公理证明(其所指的决策程序是一种清晰的计算过程,也就是我们现在所说的算法。他认为,向这个过程输入公理和可能结论,它应该告诉我们这个可能结论是否可以通过这些公理证明。)”,定义了计算,并设计出了这样的决策程序(图灵机),然后通过证明存在超出计算机解决能力的问题,来证明希尔伯特的假设的错误。通过矛盾证明法(罗素的理发师悖论),证明了停机问题(Halting Problem)和接纳问题(Acceptance Problem)都是不可判定的(存在一些图灵机可以接纳自己的编码,一些图灵机则不可以,但是不存在能够区分这两种情况的图灵机)。看了一遍,脑细胞损耗了一大半。不过,整体来说肯定比直接看论文要更容易,因为作者也提供了相关的知识背景介绍,是作为了解那篇论文的不可多得的一本书。

相关百科

热门百科

首页
发表服务