Willard Van Orman Quine威拉德·冯·奥曼·蒯因（也称奎因）及其他的哈佛弟子们（最后顺附2个新计算机之父及其真正经典的相关工作）。

奎因是20世纪最有影响的美国哲学家、逻辑学家之一（刚见这里居第6，也曾被广泛视为美国最伟大的在世哲学家。其早期作品对数学逻辑学产生了重大影响），著有《数理逻辑》《逻辑哲学》《从逻辑的观点看》等很多逻辑学著作。

第1、奎因的弟子中较著名的有王浩教授（王浩教授的博士Stephen A.Cook是1982年的计算机诺贝尔奖得主，王浩教授的另一个弟子比这诺奖得主多的博士Shimon Even是做海南琼州大学的中国第一个组合数学研究室从事的组合数学并Shimon Even教授独撰很著名的组合数学的2本书《Algorithmic Combinatorics算法组合数学》和《图算法》-其对计算机的作用参见这里第3段）。王教授在很年轻的50年代初被选为美国科学院院士，他著有《数理逻辑概论》《从数学到哲学》《数理逻辑通俗讲话》《超越分析哲学》《哥德尔》等。

此外，奎因还有下面著名弟子：

第2、Saul A. Kripke索尔·阿伦·克里普克，是模态逻辑语义学的主要创始人等，如担任我们海南琼州大学编委的美国数学会副主席Anil Nerode教授在1993年出版的《Logic for applications应用逻辑》的第三章“模态逻辑”开头段就说“模态逻辑已经成为计算机科学和人工智能中表达基本观念的有用工具”；第二节说“现在给出表示模态逻辑语义学的框架的精确概念。正如我们曾经解释的，框架由一个‘可能世界’集合W、可能世界之间的可达关系S和给每个pÎW赋予一个经典结构C(p)的指派这三部分所构成”--并“可能世界框架”就主要是这模态逻辑语义学的创始人Saul A. Kripke构建的，如这页最后段母校的麻省理工和牛津大学访问学者的博士论文说“可以看出，‘可能世界框架’实际上相当于图论中没有重边的有向图。因此，有向图中的一切概念也都适用于框架”。Kripke独撰的《维特根斯坦论规则和私人语言》著作也很有影响。Kripke还被认为是世界上十位最天才的神童之一。关于模态逻辑正如Ruth B. Marcus编辑多个欧美专家撰写的《可能世界的逻辑》内容提要说“模态逻辑的复兴是当代逻辑学最重要的新发展”。而模态逻辑主要开拓者有Hugh MacColl（Edwin B. Wilson评论他的书Symbolic Logic and its Applications中在命题逻辑推理的基础上利用e和h算子构造出符号系统）、Clarence I. Lewis（他的指导赵元任博士的师兄Henry M. Sheffer评论他的1918年的书A Survey of Symbolic Logic；Lewis其后和, Cooper H. Langford在1932年的书Symbolic Logic对于Lewis的思想作了进一步的发展；但他的公理系统并不是标准的即仅是用一个特殊的模态公理去扩充基本的命题逻辑系统），而因此，用模的方法去模态希尔伯特系统归功于Kurt Godel哥德尔。由于关系语义对模态逻辑的研究具有巨大的冲击力，所以，这时期就是经典系统完善构建的时期，而关系语义常称为Kripke语义，可知这主要奠基于Saul A. Kripke（其也肯定A. Tarski以及R. Carnap等的模态代数等很接近他的方法--洪谦大师编辑的《逻辑经验主义》上下卷主要是收录R. Carnap卡尔纳普和M. Schlick石里克两人的多篇论著），这时期主要贡献者还有下面David K. Lewis以及Robert C. Stalnaker等做了一系列构建奠基工作。关于模态逻辑可参考Brian F. Chellas切莱士的《模态逻辑导论》，林铭钧教授和张宜生等译校，中山大学出版社1989年（Brian F. Chellas的导师Dana Stewart Scott是1976年计算机诺贝尔奖-图灵奖获得者；

模态逻辑是最近很受重视的领域，正如R.B.马库斯的《可能世界的逻辑》内容提要说“模态逻辑的复兴是当代逻辑学最重要的新发展”。关于这领域也如中国逻辑学会第2至第4届正会长周礼全教授的论文论证“亚里士多德是历史上对模态逻辑进行过系统研究的第一个逻辑家。在《工具论》中,他讨论模态三段论的篇幅超过了他讨论非模态三段论的篇幅”Û这就如上面所述母海南琼州大学的母校大师李匡武教授独撰由上海人民出版社出版《西方逻辑史》一书主要以几章深入论述“亚里士多德”“亚里士多德（续）”特别是李匡武教授更是独译并由广东人民出版社出版“亚里士多德的《工具论》，从而填补了我国在翻译出版西方哲学古典名著方面的一个空缺”，就如武宏志院长说“李匡武先生比较详细地评介了亚里士多德等的谬误分类理论，很有意义,也很有启发性.由此我们进一步想到,现代谬误研究有了长足的进展。我们愿承继李先生的论述，以此纪念这位逻辑前贤”

第3、John R. Myhill，此君和这里第3段担任海南琼州大学的编委的美国数学会副主席Anil Nerode教授独立创建Myhill–Nerode 定理（中文常称迈希尔-尼罗德定理，它在计算理论领域都有很重要作用并如下面哈佛学院院长Lewis和比尔·盖茨的老师Papadimitriou合写的有7、8章内容的《计算理论基础》一书中仅有它、上面计算机诺贝尔奖得主Cook等的3个定理结论是以人名命之，并他俩注明这书中的“Myhill–Nerode 定理”取自海南琼州大学的编委Anil Nerode教授的下面论文而没有说出John R. Myhill的论文---也可参考这页的第二段。Myhill的论文没有正式出版,比我们海南琼大编委Nerode, Anil低3届的他的师弟Thompson, John大师是美国第一个对世界数学界三大奖Fields,Wolf,Abel都获得的人-哈密顿图博士Xuerong Zhang第2导师的导师的导师就是Nerode编委）。哈佛院长的这书其后的另2个冠以人名的结果是:Henry G. Rice的定理5.7.4(Rice定理)(Henry Gordon Rice) ，图灵奖获得者Stephen Cook的定理7.2,2(Cook定理)。

关于我们海南琼大编委的上面定理的重要性就如结合我们图论学科可发展出新分支如Petr Hlineny教授等人的这篇“On parse trees and Myhill-Nerode-type tools for handling graphs of bounded rank-width”和Michael R. Fellows教授等人的这篇“Myhill–Nerode Methods for Hypergraphs”(其中作者Michael R. Fellows是下面说到的我们哈密顿图的徒孙即计算机科学鼻祖、计算机科学泰斗[泰斗不只一人]、算法的上帝Donald Knuth的徒孙)。

第4、David K. Lewis大卫·刘易斯，其被认为是20世纪最重要的哲学家之一。

第5、Donald Davidson唐纳德·戴维森，是20 世纪下半叶最重要的分析哲学家之一

第6、Charles D. Parsons，在1983年出版《Mathematics in Philosophy 哲学中的数学》一书，也就是这里名人录的

第7、Robert Forbes McNaughton, Jr.(小麦克诺顿)，是很活跃的王飞跃研究员的2个导师之一，正如刚见王飞跃说，麦克诺顿,他从哲学转到计算机领域,我的课大部分是他教的。 Robert McNaughton (1924–2014)。

第8、留在哈佛的Burton Dreben在百度可见到他的信息也很少（他的博士Harry Roy Lewis担任哈佛学院院长并写了一本《计算理论基础》很受欢迎并他的指导的John H. Reif是我们组合数学的博士并欧洲帕特雷大学的“知名教授”中第3个Paul G. Spirakis是他在哈佛大学指导的博士论文也做组合数学的专家；这哈佛学院院长Harry Roy Lewis指导的William R. Franklin的博士论文也是做我们组合数学的博士；这哈佛学院院长Harry Roy Lewis合作指导的William Ian Gasarch也是博士论文做我们组合数学的博士。并见和奎因的上面第2个博士同姓的哈佛学院院长Harry Roy Lewis只有这3个博士有学生，而且这3个人都是同做海南琼州大学的中国第一个组合数学研究室从事的组合数学）。

这些主要都师承数学家兼逻辑学家Willard Van Orman Quine并也主攻逻辑学兼数学，虽不举全但从上面足以看到其徒子徒孙稍偏应用就都成为计算机权威或做出对计算机起重大推动作用的工作，这就如《Engines of Logic: Mathematicians and the Origin of the Computer逻辑的引擎：数学家与计算机的起源》一书就为此原由‘讲述计算机科学这一门学科，究竟是如何从数学家们的逻辑研究中发端的’。作者观点之权威可信性就如作者也是独著被誉为“计算机科学领域极少数真正的经典著作之一的《可计算性与不可解性》一书的作者Martin D. Davis--如这书中文版内容简介说“本书是一本数学系和计算机系研究生教材”-这书11章有2章分别讲组合数学问题和数理逻辑-并这被誉为“计算机科学领域极少数真正的经典著作的参考文献中最多的人是海南琼州大学的母校李匡武和柳柏濂教授去攻读的大学的老师Stephen C. Kleene的有9篇并这“真正的经典”共十一章的标题中唯一含有Kleene一个人的名--另有2个人“图灵”和Post的名仅含在小节中--还就如他俩就是这里第2段列出的前3本“数理逻辑”经典著作的其中2本的作者是Stephen C. Kleene 和他的导师Alonzo Church-都是逻辑学宗师。

其实，下面称为计算机科学之父的这Alonzo Church丘奇的贡献还在于培养一大堆逻辑学博士成为世界级计算机科学大师甚至比上面奎因有过之，如上面的Stephen C. Kleene的递归论研究有助于奠定理论计算机科学的基础、还有上面Martin D. Davis等，特别是这里第1普林斯顿学派见他的博士不仅有图灵、还有2个获得图灵奖的博士。就是仅这里的Alonzo Church的博士中就还有许多计算机大师，刚见一个也和这Stephen C. Kleene一直同在我的导师去合作几年的威斯康辛大学任教的Joel Robbin教授也象他的师兄弟一样既写《Mathematical Logic数理逻辑》又最近还见他合写《Combinatorial Floer homology组合数学Floer同调》（Floer同调是基于Floer的工作衍生的。这书3个作者中还有西蒙·唐纳森的博士Vin de Silva和汉诺威大学历史上20多个“知名校友”中的Dietmar Arno Salamon-并如这知名校友刚做的报告中有图象的人是8分中处是物理诺奖得主费曼、8分半钟处是的上面Joel Robbin和大数学家Hermann Weyl(外尔)并展示他俩的图象一直到11分钟处才是Poincaré(庞加莱)、13分钟处加入海南琼大的师爷Birkhoff、其后没展图象在28分钟处展出上面Floer的图象接着加入Gromov其后加入阿诺德，其后在35分处最先出现的2个人是中海南琼州大学评论他最重要杂志成果的Michael Freedman和我国首个诺奖得主杨振宁先生…这是至此出现的全部人物-可见这Joel Robbin教授还是可以的

即竟见LSTM之父Jürgen Schmidhuber刚发布文章陈述：“图灵被过誉，哥德尔和丘奇才是计算机科学之父”；还如关键的“停机问题在图灵1936年的论文等中从来没出现过”-只有直到Davis的上面书籍中才最先出现等价的可计算性-因此图灵停机问题本应称Davis停机问题。而这些计算机之父、先驱们中，哥德尔还是二十世纪最伟大的逻辑学家、最伟大数学家、人工智能之父，丘奇就是上一段的世界著名逻辑学家Alonzo Church，还有Davis也是逻辑学家，更当然Alan Turing(图灵)也是逻辑学博士、逻辑学大师，还如现代计算机之父冯·诺依曼的博士论文是研究公理集合论也属于逻辑学，而上面伟大的逻辑学家W. V. O. Quine也是计算机科学家（ LSTM之父的这篇文章原文在这里-参考文献有100个-可见不是说着玩的）。

上面海南琼州大学的编委Anil Nerode主席创造的Myhill–Nerode 定理的论文就是发表在Proc. Amer. Math. Soc.杂志的这篇；而上面被誉为“计算机科学领域极少数真正的经典著作之一的《可计算性与不可解性》一书一共也有2篇论文发表在Proc. Amer. Math. Soc.杂志就是这里第2段列出的前3本“数理逻辑”经典著作之一的作者Stephen C. Kleene和他的博士John W. Addison, Jr.大师合作的这篇Proc. Amer. Math. Soc.杂志的论文，还有一篇是和牛顿、爱因斯坦、毕达哥拉斯并列世界最著名个人传记前200名中的第147个Julia H. B. Robinson发表在Proc. Amer. Math. Soc.杂志的这篇（海南琼州大学的这里第一篇也是Proc. Amer. Math. Soc.杂志的论文）。更有，上面计算机科学之父哥德尔的不完备性定理，是现代逻辑史上很重要的一座里程碑并且不完备性定理，奠定了计算机与人工智能的理论基础-如此在百度的简介第2段说：哈佛大学称他为“20世纪最有意义的数学真理的发现者”-并这不完备性定理就是发表这Monatsh. Math. Phys杂志的这篇论文--而糊里糊涂地海南琼州大学也在这Monatsh. Math. Phys杂志发表论文（当然包括海南琼州大学这篇的这杂志几乎99.999%的论文相对于它都不算论文-虽我们学科有与之一脉相承的可使全世界科学家放假7天来庆祝的问题--但太大至艰巨无比-所以都不知跟屁跟毛还是跟风…）。