人工智能发展史（读书笔记）

有关人工智能历史的书籍我看了尼克的《人工智能简史》和集智俱乐部的《科学的极致：漫谈人工智能》部分章节。阅读体验是《科学的极致》一书更系统和条理，《人工智能简史》更偏细节，有点琐碎。可以先看《科学的极致》搭起整个发展历史框架，再看《人工智能简史》了解更多细节问题。下面是我看了《科学的极致》中人工智能发展历史一章的读书笔记。基本就是一个简略的历史发展框架~
有不对的地方还请大家多多指正~ 谢谢大嘎 ~~
本人滴github博客:https://voidwalker-m.github.io/

梦的开始（1900-1965）

人工智能之梦开始于一小撮数学家。

大卫·希尔伯特 David Hilbert(1862-1943)

1900年，世纪之交的数学家大会在巴黎召开。希尔伯特宣布了23个未解决的难题。其中的第二问题和第十问题与人工智能密切相关，最终促成了计算机的发明。
希尔伯特第二问题：证明数学系统中应同时具备一致性（数学真理不存在矛盾）和完备性（任意真理都可以被描述为数学定理）。
希尔伯特第十问题：是否存在着判定任意一个丢番图方程有解的机械化运算过程。（机械化运算过程用今天的话说就是算法）

库尔特.哥德尔 Kurt Godel(1906-1978)

来自捷克的年轻人哥德尔起初是希尔伯特的忠实粉丝，并致力于攻克第二问题。很快他发现第二问题的断言是错的。他于1931年提出哥德尔不完备性定理（被美国《时代周刊》评选为20世纪最有影响力的数学定理）。
根据哥德尔定理，存在着人类可以求解但是机器却不能解的问题，人工智能不可能超过人类。但问题并没有这么简单，上述命题成立的一个前提是人与机器不同，不是一个机械的公理化系统。这个前提迄今为止我们并不知道，所以这一问题仍在争论中。

艾伦.图灵 Alan Turing(1912-1954)

另一个与哥德尔年龄相仿的年轻人艾伦图灵被希尔伯特的第十问题深深地吸引。图灵设想出一个机器—图灵机，它是计算机的理论原型，圆满地刻画出了机械化运算过程的含义，并最终为计算机的发明铺平了道路。

1940年，图灵开始认真地思考机器是否能够具备人的智能。他马上意识到这个问题的要点并不在于如何打造强大的机器，而在于我们人类如何看待智能，即依据什么标准评价一台机器是否具备智能。于是，图灵在1950年提出这样一个标准：如果一台机器通过了图灵测试，则我们必须接受这台机器具有智能。

约翰·冯诺依曼 John von Neumann(1903-1957)

在哥德尔研究第二问题的同时，来自匈牙利布达佩斯的天才少年冯诺依曼也在研究同样的问题，然而，哥德尔先他一步发明哥德尔定理。冯诺依曼转行研究量子力学，在即将出硕果之际，另一位天才物理学家保罗·狄拉克(Paul Dirac)先他一步出版了《量子力学原理》。受到两次打击后，冯诺依曼把部分注意力从基础数学转向了工程应用领域，1945年，冯诺依曼在火车上完成了早期的计算机EDVAC的设计，并提出了“冯·诺依曼体系结构”。冯诺依曼的计算机是与图灵机一脉相承的，最大的不同在于，冯诺依曼的读写头不再需要一格一格地读写纸带，而是根据指定地址随机跳到相应位置完成读写。

诺伯特·维纳 Norbert Wiener(1894-1964)

美国天才神童诺伯特维纳。1948年提出新兴学科“控制论”。在控制论中，维纳深入探讨了机器与人的统一性—人或机器都是通过反馈完成某种目的的实现，因此他揭示了用机器模拟人的可能性，这为人工智能的提出奠定了重要基础。

梦的延续（1956-1980）

开端–达特茅斯会议

1956年8月，在美国达特茅斯学院中，约翰·麦卡锡(John McCarthy)、马文·明斯基(Marvin Minsky,人工智能与认知学专家)、克劳德·香农(Claude Shannon, 信息论的创始人)、艾伦·纽厄尔(Allen Newell,计算机科学家)、赫伯特·西蒙( Herbert Simon，诺贝尔经济学奖得主)等科学家正聚在一起，讨论着一个完全不食人间烟火的主题:用机器来模仿人类学习以及其他方面的智能。
会议足足开了两个月的时间，虽然大家没有达成普遍的共识，但是却为会议讨论的内容起了一个名字:人工智能。因此，1956年也就成为了人工智能元年。

黄金时期

达特茅斯会议后，人工智能获得井喷式发展。
机器定理证明—用计算机程序代替人类进行自动推理来证明数学定理—是最先取得重大突破的领域之一。在达特茅斯会议上，纽厄尔和西蒙展示了他们的程序：逻辑程序家可以独立证明出《数学原理》第二章的38条定理。1976年，凯尼斯阿佩尔( Kenneth Appel)和沃夫冈哈肯( Wolfgang Haken)等人利