从1966年颁发图灵奖至今,已有近40个年头,共计有40多名科学家获此.doc
从图灵奖看计算机科学技术的发展
从1966年颁发图灵奖至今,已有近40个年头,共计有40多名科学家获此殊荣,其中美国学者最多,此外还有英国、瑞士、荷兰、以色列、挪威等国少数学者,也包含一名美籍华人。图灵奖颁发的历史,实际上是计算机科学技术发展史的缩影,而且从图灵奖获得者身上,我们会受到很多有益的启迪。
一、图灵和图灵奖
1.图灵是计算机科学技术的奠基人
?? 阿伦 ·图灵(Alan Mathison Turing) 是英国人,1912年6月23日生于伦敦近郊。其父母早期在印度工作,退休后在法国生活,没有回英国定居。图灵和他的一个哥哥在英国由从军队退休的Ward夫妇带大的。图灵13岁进入中学,学习成绩并不特别好,只有数学例外,演算能力特别强,此外,就是擅长赛跑。1931年中学毕业后,进入英国剑桥大学的Kings College 攻读数学。他的学位论文是关于概率论的中心极限定理(the Central Limit Theorem of Probability),1936年图灵因就同一课题所发表的论文而获得史密斯奖(Smith Prize)。
1935年,图灵开始对数理逻辑发生兴趣。数理逻辑又叫形式逻辑或符号逻辑(symbol? logic),是逻辑学的一个重要分支。数理逻辑用数学方法,也就是用符号和公式、公理的方法去研究人的思维过程、思维规律,其起源可追溯到17世纪德国的大数学家莱
您可能关注的文档
- 九年制义务教育人教版语文二年级上册.ppt
- 二、公司核心流程-广东卓维网络有限公司邮件系统.doc
- 二、分支结构程序设计-四川省天全中学.ppt
- 二、开标一览表-长沙市政府采购网.doc
- 二、电力资讯系统-淡江大学.doc
- 二、相关背景知识.doc.doc
- 二、论证的评估-其他研究.ppt
- 二下第五课我所知道的康桥小考年班号姓名改者种子得分.doc
- 二元一次方程式姓名年龄我们之前学过解一元一次方程式,式子.doc
- 二阶与三阶行列式1.二阶行列式二元线性方程组.ppt
- 新生家长会发言稿写法与入学适应沟通.docx
- 社区老年人健康管理服务方案:建档评估、慢病随访、跌倒与营养风险干预(含年度服务指标).docx
- 上市公司财报分析方法:以虚构零售企业为例的利润质量、现金流与营运效率逐项拆解.docx
- 节前安全检查方案.docx
- 承包商与相关方全流程准入审批及现场监管方案.docx
- 建设工程进度款申请母版与三期计量付款核对示范.docx
- 绿色施工扬尘噪声控制与在线监测.docx
- 家庭教育金规划与现金流排布实操手册:从学龄前储备节奏、各阶段学费测算到大学教育金缺口弥补的完整测算方法.docx
- 小学秋游活动方案:路线安排、安全预案、费用预算与家长沟通材料(含完整执行表).docx
- 期中考试试卷_高二物理.docx
最近下载
- 上市的公司的龙头企业的一览.doc VIP
- 城市高速公路投标文件范本(可直接修改·含技术标施工·商务标·报价).docx VIP
- 中国共产主义青年团团员登记表(2025年版).docx VIP
- 《运动处方》课件——儿童青少年体力活动指南与运动处方制定.pptx VIP
- 广西平陆运河事业编笔试笔试全真模拟卷②智慧调度水运及答案.docx
- 证券市场基础知识电子书(全).pdf VIP
- 鸡源鸭疫里默氏杆菌辽宁株的分离鉴定与耐药性分析.pdf VIP
- 非计划拔管护理不良事件全面解析(风险防控与应急处理指南).pptx VIP
- 《运动处方》课件——心肺耐力运动处方案例分析.pptx VIP
- 2026广东东莞农商银行总行岗位社会招聘笔试历年典型考题及考点剖析附带答案详解.docx
原创力文档

文档评论(0)