今天心情指数：9分
感恩
感恩
感恩
【金句】
过去只是序幕。——莎士比亚
有时一个共同体的形成并不是靠内部的团结，而是靠外部的反对。
作者：尼克。曾任职于哈佛和惠普，后创业投资，2016年创立乌镇智库。开始以为是个外国人，看前言的内容感觉像个中国人，查了资料确认了这一点。
读第1章，达特茅斯会议：人工智能的缘起
1954年，达特茅斯学院数学系同时有4位教授退休。刚上任的年轻系主任克门尼，之前两年才在普林斯顿大学逻辑学丘奇门下取得了逻辑学博士，于是跑到母亲求援。战时和物理学家费曼工作，还一度当过爱因斯坦的数学助理，后来一头扎在计算机研究里，和麦卡锡一起琢磨出了分时系统。最为人知的工作应该是发明了编程语言BASIC。后来也当上了达特茅斯学院的校长，美国三里岛核电站出事时，总统委托他当调查委员会主席。
1955年，美国西部计算机联合大会在洛杉矶召开，会中还套了个小会：学习机讨论会。讨论会的参加者有两个人参加了达特茅斯会议。讨论会主持人是神经网络的鼻祖之一皮茨，这两位分别是：塞弗里奇（发表了一篇模式识别的文章），纽厄尔（探讨了计算机下棋）。
人工智能的起源，公认是1956年的达特茅斯会议。有6位关键人物：
1，会议召集者：麦卡锡。达特茅斯学院的数学系助理教授。克门尼从普林斯顿大学带回的四位博士之一，发明了LISP语言中最重要的功能Eval实际上就是丘奇的演算，后半生致力于用数理逻辑把常识形式化。他的老师是失去双手的代数拓扑学家莱夫谢茨。在普林斯顿结识了冯诺伊曼，在其影响下开始对在计算机上模拟智能产生兴趣。
2，参加者：明斯基。普林斯顿大学的数学博士。培养过好几个计算理论的博士，其中就有图灵获获得者布鲁姆。其老师塔克是莱夫谢茨的学生，主要做非线性规划和博弈论，担任普林斯顿数学系主任，出身数学世家。论辈份，麦卡锡是师叔。
3，参加者：塞弗里奇。被后人提及不多，但是真正的人工智能学科的先驱，是模式识别的奠基人，写下了第一个可工作的AI程序。在麻省理工学院一直和神经网络的开创人之一麦卡洛克一起在维纳手下工作，参与领导MAC项目，这个项目后来一分为二：计算机科学实验室和人工智能实验室。现在两个项目又合并了，变成了MIT CSAIL。
4，参加者：信息论的创始人香农。与麦卡锡观点并不一致，平时相处也不和睦，请到会上打酱油。香农的硕士论文由当时麻省理工学院校长布什亲自指导。博士毕业后去了普林斯顿高等研究院，曾和数学家外尔、爱因斯坦、哥德尔等共事。二战时，一直在贝尔实验室大佬，做密码学的工作。图灵在1943年曾秘访美国，和同行交流破解德国密码的经验，其间和香农曾有会晤，一起聊过通过图灵机。战后香农去英国回访过图灵，一起讨论过计算机下棋。
5，参加者：纽厄尔。硕士在普林斯顿大学数学系读的，其硕士导师是冯诺伊曼的合作者、博弈论先驱摩根斯顿。毕业后加入著名智库兰德公司。在兰德开会时认识了塞弗里奇，并受到对方做神经网络和模式识别的工作启发，但方法论走的却是完全另一条路。
6，参与者：司马贺。卡内基理工学院工业管理系的年轻系主任。在1975年与纽厄尔共享了图灵奖，二人代表了人工智能的另一条路线：符号派。
除了以上六人外，还有至少4人相对长期参加达特茅斯会议。分别来自IBM的塞缪尔（研究跳棋）、伯恩斯坦（研究象棋）。达特茅斯的教授摩尔、还有一位“先知”所罗门诺夫。
目前AI中广泛用到的贝叶斯推理有着所罗门诺夫的开创性痕迹。
达特茅斯会议后不久，1956年9月IRE（后改名IEEE）在麻省理工学院召开信息论年会，麦卡锡受邀做一个对一个月前达特茅斯会议的总结报告。引起了纽厄尔尤其是司马贺的不满，认为那次会议的干货由他俩贡献的程序“逻辑理论家”，最后妥协由麦卡锡做总结报告，他们分享这个主题。
现在计算机科学已成为成熟的学科，每个计算机系大都有三拨人：理论、系统和AI。
逻辑学曾是哲学系最硬的专业，而现在的一流逻辑学家大多在数学系和计算机系，哲学系被彻底空洞化。哲学家丹尼特曾说：AI就是哲学。（最深的体会是跨界的意义及重要性，同时开放包容才能看见更多可能性。）
明斯基学生：温斯顿说，管理一个成功的实验室要管理好三个圈的交集：出资人（主要是政府）、科学上有创建、有国计民生的价值。
2006年，达特茅斯会议50周年时，当时的10位与会者中已有5位仙逝，活着的5位：摩尔、麦卡锡、明斯基、塞弗里奇和所罗门诺夫在达特茅斯团聚，忆往昔展未来。（感动。我想这五位再聚首回顾他们对这一发展的推动，让我想到了分分合合，在没有秩序的时候，就看谁更有实力来占主导地位，但并不一定是正确的，随着时光的推演，答案会慢慢浮出水面。）
【来自柯言慧语的感受】
现在看这一章有一种神仙打架之感，但也许在那个时间节点，他们并不相互承认对方是神仙而已。
网友评论