1971年图灵奖--约翰·麦卡锡生平
大家好,我是执念斩长河,今天要讲述的是1971年图灵奖–约翰·麦卡锡的故事,图灵奖奖励他提出“人工智能”的概念并使之成为一个重要的学术领域。读完本篇大家可以收获的是:
- 麦卡锡如何自学成才
- 麦卡锡如何将计算机批处理方式改为分时操作方式
- 什么是α-β搜索,α-β搜索的用途
- LISP语言的诞生及LISP语言的特点
- 程序设计语言语义形式化是什么及用途
- 麦卡锡的主要著作
麦卡锡1927年9月4日生于波士顿。还在上初中的时候,他就弄了一份加州理工大学的课程目录,按目录自学了大学低年级的高等数学教材,做了教材上的所有练习题。这使得进入加州理工学院免修两年的数学,然后他到了普林斯顿大学研究所拿取硕士与博士学位。 毕业后,麦卡锡去往麻省理工学院与明斯基开设人工智能实验室。第一个提出将计算机的批处理方式改造成为能同时允许数十甚至上百用户使用的分时方式的建议。
麦卡锡研究方向是计算机下棋。下棋程序的关键之一是如何减少计算机需要考虑的棋步,这就诞生了α-β搜索。麦卡锡设计的原理是将结点的产生与求评价函数值(或成返上值或倒退值)两者巧妙地结合起来,从而使某些子树结点根本不必产生与搜索。
1959年,麦卡锡基于阿隆索·邱奇的与纽厄尔的研究,开发了著名的LISP语言,成为人工智能界第一个广泛流行的语言。LISP是一个函数式符号处理语言,其程序由一些函数子程序组成。LISP语言有以下特点:
- 计算用的是符号表达式而不是数
- 具有表处理能力,即用链表形式表示所有的数据
- 控制结构基于函数的复合,以形成更复杂的函数
- 用递归作为描述问题和过程的方法
- 程序本身也同其他所有数据一样用表结构形式表示
在1963年他发表的论文“计算机的数学理论的一个基础”一文阐述了程序设计语言语义形式化的重要性,以及它同程序的正确性、语言的正确实现等问题的关系。它的用途是帮助人们了解软件是否合理,它可以用于程序验证、自动程序设计、为优化和审计而进行的程序分析等方面。
麦卡锡的主要著作:
- 《自动机研究》
- 《信息学:科学美国人之书》
- 《形式化的常识:麦卡锡论文选集》
最后当然放一张图灵奖麦卡锡图片:
1971年图灵奖--约翰·麦卡锡生平相关推荐
- 1971年图灵奖得主 - 约翰·麦卡锡 (John McCarthy)
1971年图灵奖得主 - 约翰·麦卡锡 (John McCarthy) 背景 麦卡锡博士的演讲<人工智能研究的现状>概述了他在人工智能领域所取得的令人认可的成就. 传记资料 约翰·麦卡锡( ...
- 1977年图灵奖--约翰·巴克斯简介
大家好,我是执念斩长河,今天讲述1977年图灵奖–约翰·巴克斯,图灵奖奖励他开发了世界上第一个高级程序设计语言FORTRAN和最广泛流行的元语言BNF范式. 读完本篇博文大家可以收获的是: 纨绔子弟翘 ...
- 图灵奖得主(麦卡锡\霍尔)
约翰.麦卡锡 --"人工智能之父"和LISP语言的发明人 1971年的图灵奖授予提出"人工智能"这一术语并使之成为一个重要的学科领域的斯坦福大学教授约翰 ...
- 1986年图灵奖--约翰·霍普克洛夫特和罗伯特·陶尔扬简介
大家好,我是执念斩长河.今天要讲述的是1986年图灵奖获得者约翰·霍普克洛夫特和罗伯特·陶尔扬.图灵奖奖励它们为数据结构和算法的设计分析做出杰出贡献.读完本篇博文大家可以收获的是: <形式语言自 ...
- 1987年图灵奖--约翰·科克简介
大家好,我是执念斩长河.今天讲述的是1987年图灵奖获得者约翰·科克.图灵奖奖励他为计算机体系结构和编译理论做出巨大的贡献.读完本篇博文大家可以收获的是: IBM360的设计与开发 指令系统的28法则 ...
- 2018年图灵奖--约书亚·本吉奥、杰弗里·埃弗里斯特·辛顿和Yann LeCun简介
大家好,我是执念斩长河.今天讲述的是2018年图灵奖获得者约书亚·本吉奥(Yoshua Bengio).杰弗里·埃弗里斯特·辛顿(Geoffrey Hinton)和Yann LeCun.图灵奖奖励他们 ...
- 文学见识(含图灵奖历届指引)--目录
手动点击,无须翻阅:) 64.2020年图灵奖Jeffrey David Ullman和Alfred Vaino Aho简介 63.2019年图灵奖Edwin E. Catmull和Patrick M ...
- 2008年图灵奖--芭芭拉·利斯科夫简介
大家好,我是执念斩长河.今天讲述的是2008年图灵奖获得者芭芭拉·利斯科夫.图灵奖奖励他为计算机程序设计语言与系统理论实践做出创造性贡献.读完本文大家可以获得: 师从麦卡锡 开发维纳斯 抽象数据类型提 ...
- 计算机领域的诺贝尔奖是图灵奖,计算机界的诺贝尔奖图灵奖.DOC
计算机界的诺贝尔奖图灵奖 本文内容: 1. 图灵生平 2. 图灵奖简介 3. 历届图灵获得者 1.图灵生平 阿兰图灵(Alan Turing)PhD, MIT; Prof, Yale (was Pro ...
最新文章
- keepalive 配合mysql主主复制
- Java反射机制浅析
- SQL注入 ——sql数据库操作基础(一)
- c++ 嵌套类 内部类
- 读取gdb中的图层类型_ArcGIS读取gdb内要素
- 前端 vue antdv table导出execl
- python调用函数的优点_python基础之函数
- 最新QQDIY动态静态名片代码
- 恶意代码分析——熊猫烧香
- OA系统高性能解决方案(史上最全的通达OA系统优化方案)
- Arduino 串行通信之串口通信 UART 原理及释义
- Shell 正则表达式与sed实例
- Spring Security 集成 OIDC 项目编码 | 认证(三)
- Html中文本域中加图片,如何在文本框中加图片
- 贷中存量客户的价值挖掘与分类实现,试试这一重要的场景模型
- 读书笔记009:《伤寒论》- 足太阳膀胱经
- 01-JAN-20转化为日期格式
- 珠海:IT应用向政府投资行业集中
- 第四代计算机主要特征是什么,第四代计算机网络特点是什么?
- 获取UILabel点击的字符LCText