谜一样的大师

阿兰·图灵(Alan Turing)这个名字无论是在计算机领域、数学领域、人工智能领域还是哲学、逻辑学等领域,都可谓“掷地有声”。图灵是计算机逻辑的奠基者,许多人工智能的重要方法也源自这位伟大的科学家。他在24岁时提出了图灵机理论,31岁参与了Colossus(二战时,英国破解德国通讯密码的计算机)的研     

图灵:计算理论的奠基人

广义的信息理论包含计算理论和通信理论两大部分。计算理论指经典的可计算性理论,代表人物是英国科学家图灵;通信理论指经典的信息论,代表人物是美国科学家香农。本文介绍图灵的杰出贡献,一是建立了图灵机模型,奠定了可计算理论的基础;二是提出了图灵测试,阐述了机器智能的概念。他当之无愧地被誉为“计算机科学之父”。但是在他生活的时代,却完全没有这些赞誉。当时认为他不过是一位古怪的数学家、超前的哲学家、神秘的密码破译专家,没有人会想到他的思维能燃起信息时代的烈焰。童年的艰辛艾兰·图灵(Alan MathisonTuring,1912-1954年)于…     

图灵机和图灵测试

阿兰?图灵为人工智能学的诞生做出了重大的贡献,本文介绍了图灵机和图灵测试,图灵机对计算机的结构、可实现性和局限性都产生了深远的影响,而图灵测试为机器能否思考的争论双方找到了一种公认的判决准则。     

图灵机和图灵测试

阿兰？图灵为人工智能学的诞生做出了重大的贡献，本文介绍了图灵机和图灵测试，图灵机对计算机的结构、可实现性和局限性都产生了深远的影响。而图灵测试为机器能否思考的争论双方找到了一种公认的判决准则。     

AI推理:从沉寂走向新生

推理在人工智能的创立中扮演了关键角色.哥德尔在他的不完全性定理证明中,建立了 一个对AI发端具有重大意义的中间结果:KN可表示的推理可以通过递归函数的计算实现.根据车赤-图灵论题,递归函数是图灵机可计算的.于是上述中间结果隐含着一个猜想:任何推理都是图灵机可计算的.在此基础上,1950年图灵提出了图灵假说:推理、决策、...     

从现代计算机视角看嵌入式系统（2）--从图灵机到现代计算机

现代计算机的源头是微处理器,微处理器的体系结构的源头是20世纪30年代图灵学者们的思想体系.1936年,图灵提出了人工智能的图灵机模型后,现代计算机经历了一个曲折的演变过程.冯.诺依曼沿着图灵机的思路,参与创建了世界上第一台电子计算机ENIAC.然而,从第1代电子管(1945~1956年)、第2代晶体管(1956~1963年)到第3代集成电路(1964~1971年),此后对电子计算机的探索便停滞不前.后来,1972年诞生的第一个8位微处理器8008,从另一个渠道完成了图灵机到人工智力内核的蜕变.从此,电子计算机便走上了微处理器智力内核基础上的现代计算机发展的阳光大道。     

构建基于模拟的世界观:图灵原理回望

相对于图灵测试,很多人对图灵原理更加陌生.图灵原理来自"通用图灵机",认为存在一种通用的机器,可以运行任意的指令,这些指令可以计算物理问题.二战期间,在处理计算导弹弹道和破译密码这两类不同问题的时候,都可以用同一个计算机来完成,也就是说现代计算机就是一种"通用图灵机".     

图灵 上帝派来的电脑精灵

年仅24岁的图灵提出的计算机概念，奠定了今天整个计算机科学的基础，而他在42岁那年服毒自杀，至今仍是个谜。     

计算机思维的发明人——艾伦·图灵

著名计算机科学家冯·诺依曼不止一次说过,艾伦·图灵是现代计算机设计思想的创始人。图灵本人原本并不是工程师,而是一位数学家,它是用自己的头脑、纸和笔去解决复杂而高度抽象的问题。他在1936年写成的一篇论文《论可计算数及其在判定问题上的应用》开创了计算机时代。他不仅提出了可进行数字计算的电子计算机的最早理论设计,而且预言了大约50年后将会出现会思维的机器。因此,他被公认为计算机早期历史上最伟大的理论家之一。 艾伦·图灵(Alan Turing)于1912年6月23日出生在英国的帕丁顿。他在3岁时就显示出惊人的记忆力,8岁时对科学产生兴趣,13岁时入舍玻恩学校读书,14岁时便无师自通,初步掌握了微积分。他对     

图灵机及其构造研究

图灵机模型是现代计算机科学的理论基础,学习图灵机理论对于研究计算机理论有着重要的意义。本文介绍了图灵机的产生和用途,分析其基本模型以及扩展模型,并通过举例对图灵机的构造进行了探讨。     

图灵机及其构造研究

图灵机模型是现代计算机科学的理论基础，学习图灵机理论对于研究计算机理论有着重要的意义。本文介绍了图灵机的产生和用途，分析其基本模型以及扩展模型，并通过举例对图灵机的构造进行了探讨。     

深入理解图灵之魂,培养硬软件兼通的创新人才

图灵的可计算性思想及图灵机设计模型是计算机学科的重要基石之一。文章阐述随着计算机技术螺旋上升的历史轨迹,国内高校正面临着一次怎样的教学改革。指出只有通过进一步加强硬件教学体系,才能深入理解理解计算机系统运行的本质,培养出一大批硬软件兼通的创新型人才。     

献给图灵百年诞辰的礼物——《图灵和ACM图灵奖——纪念图灵百年诞辰》

今年6月23日是英国科学家图灵诞生100周年。图灵是享有“计算机理论之父”和“人工智能之父”美誉的科学家,在第二次世界大战中发明了能破译德军Enigma密码的译码机,挽救了千千万万盟军将士和普通百姓的生命,为战胜法西斯作出了重要贡献。因此,在图灵诞生100周年之际,     

拔尖创新人才培养——写在图灵诞辰100周年

<正>图灵1912年6月23日出生于伦敦近郊的帕丁顿(Paddington)自治镇,13岁时进入舍本中学(SherbourneSchool),1931年进入剑桥的"国王学院"(King’sCollege)攻读数学。1935年,图灵开始对数理逻辑发生兴趣,以他的才华、执着和努力,在24岁时提出了一个     

图灵机:停机问题,0型语言

7.1 非形式的讨论 在这章,我们证明当为任意图灵机T提供一种编码并为句子x提供一种编码时,存在有这样的一种图灵机,它将模拟在以x提供给T时T的行为。我们称这种图灵机为通用图灵     

虚拟的孪生图灵机——以双语信息处理为例

本文阐述一种虚拟的孪生图灵机,即：由两个图灵机组成的孪生并行计算机,其特征是其受限模式与派生模式分别由汉语的言即单音节字的基本符号对象和语即双音节多音节字组的符号组合解释为例加以说明。其作用在于基于它可建构理想的双语信息处理系统,即：协同智能计算系统;应用它可形成并行计算、分布计算、网格计算、虚拟计算和云计算乃至超级计算。其意义在于借助它蕴含的协同智能计算本质——虚拟与现实的关系,可把图灵可计算性、计算复杂性（其中揭示了一个基本原理——NP=P当且仅当N可有可无）和图灵测试连贯起来。     

纪念图灵诞辰100周年所想到的——追忆我国第一台百万次集成电路电子计算机150(DJS11)机的诞生

<正>今年是国际著名的数学家、物理学家、计算机科学家艾伦·图灵诞辰100周年。他被学术界公认为电子计算机理论和模型的基础奠定者,是世界计算机之父。为纪念这位伟大的计算机科学家对计算机事业发展的贡献,美国计算机协会     

图灵机模拟系统的设计与实现

图灵机模型是现代计算机科学的理论基础,学习图灵机理论对于研究计算机软件理论有重要意义。文章分析了在Von Neumann机上仿真图灵机存在的两个问题,并针对单带图灵机模型设计了一个完整的图灵机模拟系统。该模拟系统能够编译并执行图灵机程序,为基于图灵机模型或其扩展模型的理论研究提供实验平台,对构造基于中间语言解释执行的虚拟机提供实践指导。     

在计算机专业教育中引入跨学科元素——“网络”课教学的初步实践与体会

<正>1912年6月23日,艾伦·图灵在英国伦敦出生。今年,值图灵诞辰100周年之际,国际计算机界都在纪念这位当代计算技术的伟大先驱。在计算机科学界,2012年被称为"图灵年"。《计算机教育》杂志从去年开始就在筹划出一期专刊,我以为很有意义,一方面,它表达了中国计算机     

基于图灵机的递归技术的实现陈晓亮[1] 卢朝辉[2] 宋文[1]

图灵机是通用的计算机模型,一般程序设计和以图灵机为机器模型的计算也是支持递归的。本文首先分析了递归的特征,利用多带图灵机作为计算模型,定义了递归技术转移 函数形式,提出了图灵机递归过程信息传递与保存的方法,给出了图灵机调用的实现,继而给出了图灵机递归技术的实现,同时证明了图灵机的调用与图灵机的递归调用是图灵可识别的。