1936年,24岁的图灵发表了著名论文《论可计算数机器在密码判定问题的应用》,提出了”理想计算机“。1950年的另一篇论文《ComputingMachineryandIntelligence》提出了“计算机能思考吗?”的问题,并设计了著名的“图灵测试”。
图灵三篇论文,均有英文原文和中文翻译。计有:1.1936-OnComputableNumbers,withanApplicationtotheEntscheidungsproblem(论可计算数在判定问题中的应用)2.1950-ComputingMachineryandIntelligence(计算机器与智能,也译作:机器能思考么?...
图灵的论文发表在伦敦数学学会1936年11月和12月的论文集里,1937年12月发表了一份三页纸的修订稿。阿隆索•邱奇在1937年5月的《符号逻辑杂志》(JournalofSymbolicLogic)中针对这篇论文写了一篇只有四段的评论,其中写道:“一位持有铅笔、纸和…
图灵在1936年的论文(《论可计算数及其在判定问题上的应用》)的前言、第一、二章中提出了几个基本概念(见博文:可计算性——图灵1936年论文解读(1)),这些概念与当时数学和数理逻辑中一些观念不同,也与以前关于“算法”的直觉概念有别,图灵突出了机器计算的直观性,这些都是以后...
图灵1936年论文解读(1):可计算性.“可计算性(Computability)”是可计算性理论的核心概念,具有深刻的数学内涵和哲学底蕴,图灵、丘奇、哥德尔等前辈的工作为此概念打下了坚实的基础,应该说对此概念的理解已经不成问题了,然而从“NP是可计算的”流行...
1936年,图灵把他的想法写成了《论数字计算在可判定性问题的应用》,在这篇论文中,他提出了著名的“图灵机”。图灵提出这个虚构的思想机器,本来是为了论证什么问题是可计算的,但他却得到一个天大的意外收获,他无意中证明了通用计算机的可行性,这篇论文成为了现代计算机的理论基础。
1936年,图灵发表了他的论文“关于可计算数字,对Entscheidungsproblem的应用”(1936)。[48]在本文中,图灵重新阐述了KurtGödel于1931年关于证明和计算限制的结果,用形式化和称为图灵机的形式和简单假设设备取代了哥德尔基于通用算法的形式语言。
图灵的贡献当然是巨大的,但他和其他人一样,都是站在巨人的肩膀上。图灵1936年的著名论文中,引用了Gödel和Church的开创性成果。我们今天如果将图灵一人捧上神坛,过度夸大他的贡献,而对其他先驱的工作视而不见,图灵本人想必也不会同意。
1936年9月,图灵应邀到美国普林斯顿高级研究院学习,并与丘奇一同工作,在美国期间,他对群论作了一些研究,并撰写了博士论文,1938年在普林斯顿获博士学位,其论文题目为“以序数为基础的逻辑系统”,1939年正式发表,在数理逻辑研究中产生了深远的
图灵的贡献当然是巨大的,但他和其他人一样,都是站在巨人的肩膀上。图灵1936年的著名论文中,引用了Gdel和Church的开创性成果。我们今天如果将图灵一人捧上神坛,过度夸大他的贡献,而对其他先驱的工作视而不见,图灵本人想必也不会同意。
图灵1936年论文解读(1):可计算性“可计算性(Computability)”是可计算性理论的核心概念,具有深刻的数学内涵和哲学底蕴,图灵、丘奇、哥德尔等前辈的工作为此概...
在图灵1936年论文第二章,图灵用circle-free来定义“可计算数(Computablesequencesandnumbers)”,这个定义实际上是由二部份构成的,首先由circle-free来定义“...
所以,对于“可计算性”的理解应该回到对“机器的能力”的认知上,即回到对“图灵机”的认知上来。追本溯源,“图灵机”是在图灵1936年那篇重要论文《论可计算数及...
1936年图灵在一篇论文中描绘了一种自动机器模型,现在人们把它叫(),它奠定了现代计算科学的理论基础。A.模拟机B.分析机C.图灵机D.计算机查看答案搜题您可能...
恒成教育2014年教师编考试计算机押题试卷保密基础A、ENIACB、UNIVACC、EDVACD、EDSAC2、计算机科学的奠基人是。图灵是现代计算机设计思想的创始人1936...
图灵1950年发表的里程碑意义的论文《ComputingMachineryandIntelligence》,本文为英文原文。中文名称《计算机能思考吗》《计算机和智能》。这是十分经典的...
如果只保留本书阴影部分的英文内容,再组合起来,得到的就是完整的图灵论文,而我这个劳而无功的作者只能欲哭无泪了。更有趣的阅读方式是,先读本书,再读没有被我打断的图灵论文。图灵的论文分散在...
中文书名叫做《图灵的秘密》,副标题叫“他的生平、思想及论文解读”,内容读来和此有些差异。书的主要内容是解读图灵1936年发表的论文“OnComputableNumbers,...
1936年,图灵向伦敦权威的数学杂志投了一篇论文,题为《论数字计算在决断难题中的应用》。在这篇开创性的...
这一年,图灵24岁19岁时,图灵考入了著名的剑桥大学。在这里,他开始思考希尔伯特的可判定性问题,他思考什么样的问题才是可计算的。1936年,图灵把他的想法写成了《论... .new-pmd.c-abstractbr{display:none;}更多关于1936图灵论文的问题>>