很少有人知道杨先生深刻影响了中国AI和计科的发展。

刚下飞机，才看到官宣了。
其实昨天群友的朋友的朋友就打听了
确实状态不好😮‍💨
没想到最后还是...

大家熟知的是杨先生对于中国科学界的贡献
但很少有人知道杨先生和人工智能学界的关系

现任中美院士、清华人工智能学院、叉院院长姚期智先生（图 2️⃣
正是在他的影响下决定回国任教（还是杨先生和姚先生面谈了一次

另一个则是杨先生在西南联大时候的室友
美艺术与科学院院士、数学家、哲学家、逻辑学家
王浩先生（图3️⃣
我在查资料的时候才发现是我老乡😳
甚至是我的学长....
之前只知道校友有邓恩明和季羡林

王浩先生的贡献也没啥的
无非是在哈佛数学系任教的时候深刻影响了
人工智能奠基人之一的
明斯基（图 4️⃣

明斯基在他的著作里里多次提到王浩
明斯基高度评价了王浩机
称之为 “第一个得自真正计算机模型的图灵机理论”
但王浩觉得无所谓┐(´-｀)┌没当回事

王浩也是机器定理证明的奠基人之一
他于1958年夏天在IBM电脑上
只用9分钟就证明了
罗素《数学原理》中一阶逻辑的全部定理
这也为他赢得1983年国际人工智能联合会（IJCAI）
颁发的里程碑大奖🏆

王浩对计算机科学的另一个重大贡献
就是指导了库克（Stephen A. Cook）的博士论文
库克他后来提出了P vs NP的问题（图 5️⃣
这是当今计算机科学和数学中最重要的问题(つ≧▽≦)つ📚
库克为此获得1982年图灵奖

很少有人知道的是
而库克用到的方法是则是王浩发明的

库克后来回忆王浩对自己的启发：
我很了解王浩的思想和方法
我对NP完全问题的结论与他的非常类似
图灵和王浩说的是谓词演算
我说的是命题演算

一个有趣的事情是(‘-’*)
当年杨先生的父亲杨武之邀请杨先生回国的信✉️
正是王浩先生代为转交的

斯人已逝
而这些故事最终都会慢慢被众人遗忘
但我觉得有必要
在这里跟大家分享一下