2012图灵年全球纪念活动札记

<正>为了纪念图灵百年诞辰(1912—2012年),TCAC(the Turing Centenary Advisory Committee,图灵百年纪念咨询委员会)协调安排了为期一年的活动,并将2012年订为"图灵年"(Alan TuringYear)。     

图灵的遗产和后继者们的责任

<正>1艾伦.图灵的遗产2012年6月23日是艾伦·麦席森·图灵(Alan Mathison Turing)诞辰100周年纪念日。多年以来,计算机行业的从业者总是对图灵怀有一种特殊的崇敬——不只因为这位英国数学家堪称为计算机科学     

阿兰&#183;图灵（Alan Turing）

阿兰&#183;图灵16岁开始研究爱因斯坦的相对论。1931年．他进入剑桥大学研究量子力学、概率论和逻辑学．这逻辑学是由剑桥大学的怀特海和罗素创立的数理逻辑。德国大数学家大卫&#183;希尔伯特(D．Hillbert)在此基础上，于1928年提出著名的”希尔伯特纲领”．认为《数学原理》所定义的系统既是一致的．也是完备的。换言之，任何系统的完备和一致性．可以由系统本身得到证明。     

图灵，电脑的思想领袖

图灵提出的图灵机概念,为研制通用计算机奠定了思想和理论基础。1954年6月,图灵因为吃了有毒的苹果而在家中死去,年仅42岁。图灵一生虽短,但是他可谓是电脑的先驱,正是他提出的图灵机,成为计算机的思想和理论基础。后人为纪念这位"计算机科学之父",在英国曼彻斯特的Sackville公园为他建造了一尊真人大小的青铜坐像,这尊塑像是2001年6月23日,也就是图灵89岁诞辰那天揭幕的。图灵去世     

阿兰·图灵

阿兰·图灵16岁开始研究爱因斯坦的相对论。1931年,他进入剑桥大学研究量子力学、概率论和逻辑学,这逻辑学是由剑桥大学的怀特海和罗素创立的数理逻辑。德国大数学家大卫·希尔伯特(D.Hillbert)在此基础上,于1928年提出著名的“希尔伯特纲领”,认为《数学原理》所定义的系统既是一致的,也是完备的。换言之,任何系统的完备和一致性,可以由系统本身得到证明。1931年,“希尔伯特     

弘扬先哲精神,培育创新人才——嵌入式系统人才培养探索与实践

<正>今年是计算科学理论的奠基人图灵(AlanTuring)诞辰100周年,回顾60多年的计算技术发展历程,我们看到,计算机技术经历了漫长的主机计算时代、快速的个人机计算时代,上世纪末它进入了多彩的网络计算时代。网络计算在Internet及其应用快速发展之后,目前已进入以移动互联网和     

谜一样的大师

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

图灵:计算理论的奠基人

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

创新思维卓越贡献、特立独行传奇人生——纪念艾伦·图灵百年诞辰

<正>艾伦·麦席森·图灵(Alan Mathison Turing)1912年6月23日生于英国伦敦梅达维洛(Maida Vale,London),今年正好是他100周年诞辰。这位英国皇家学会会员、数学家、逻辑学家,被国际公认为     

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

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

在教学中传递“思想”——纪念图灵诞辰100年有感

<正>今年是图灵诞辰100周年,我们有必要隆重纪念这位伟大的学者。仔细想想,在学习计算机的同学中,很多人不时想到"什么时候中国能出个图灵奖得主啊?"除此之外,又有多少人真正领会到图灵的伟大呢?     

R/M中的与R中的≤T的关系

证明存在递归可枚举图灵度a和c使得ca,并且对每个递归可枚举图灵度b≤_Ta, b≠c, 其中a是R/M中的一个元素,R/M是递归可枚举图灵度集R模可盖图灵度集M的商.     

少儿图灵测试回顾

报告了关于少儿图灵测试(CTT)的一项研究工作.研究区别于其他人的主要之处是该测试程序是基于知识的,它依靠一个海量常识知识库的支持.给出了作者研究少儿图灵测试的动机、设计、技术、实验结果和平台(包括一个知识引擎和一个会话引擎).最后给出了关于少儿图灵测试的几点研究结论和思考.     

每个非零的 a∈ R/ M 中不存在极小元

证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c   

向先贤致敬,追从图灵精神

<正>2012年是"计算机科学与人工智能之父"艾伦·麦席森·图灵诞辰100周年。百年前的6月23日,图灵像无数的普通人一样,来到这个多变的世界,然而在经历了人生的大起大落后,他用短暂生命凝结出的科学成果,却在其逝去的半     

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

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

图灵 上帝派来的电脑精灵

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

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

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

历史传承中的辉煌——纪念图灵诞辰100周年

<正>任何一项伟大的科学发明都不是孤立的,都有一个它所隶属的、成就它的总体。在纪念图灵诞辰100周年之际,本文重新审视那个成就图灵辉煌的总体,希望从中得到启迪。     

2019中国人工智能100人

图灵是第一人出生于1912年的阿兰·图灵自小就是个行为怪异的孩子,上学时不看书、不听课,所有数学定理都靠自己推导,成绩时好时坏。但凭借在数学上的独特天分,图灵顺利的考上了剑桥大学国王学院,学习数学。1937年,图灵发表论文《论数学计算在决断难题中的应用》,描述了一种可以辅助进行数学研究的机器,成为了现代计算机最早的概念模型。