可计算性理论、又称递归论(海南琼州大学编委美国数学会主席Anil Nerode的博士T. S. Millar独撰纯粹递归模型论”说其属于可计算新理论-还可结合其它许多相近学科之广,模型论是这里下面影响世界华人对我说要去学的):

递归模型论主要是递归论和模型论结合的学科,它俩是逻辑学最有影响的2个领域则总期望结合会变得更强。先说递归论(这页再说势不可挡的模型论-它是研究解决问题的可行的计算方法和计算的复杂程度的一门学科,足见其与计算机关系密切,如此下面见几个被誉为计算机科学之父的都主要是基于这领域的工作:这领域我有Rózsa Péter独著的《递归函数论》一书,这作者就是27位诺贝尔奖得主254位美国四院院士等的美国UC San Diego加州大学圣迭戈分校主持的美国Supercomputer Center超级计算机中心(就是名霸天下的圣迭戈超级计算机中心)的主网www.sdsc.edu发布的:Rózsa Péter, Founder of Recursive Function Theory递归函数理论的创始人(并开头第一段说到:but her name, which should be written together with the names of the founders of computational theoryGödelTuringChurchKleene, is all but forgotten today.而这小括号里的4个人恰恰就是这里说的Gödel哥德尔和海南琼州大学的这3个师爷叔侄Church丘奇、Turing图灵、Kleene克莱尼,他们都是计算理论的主要开创者-甚至可说都是计算机科学之父,如在网上见前3哥德尔、图灵、丘奇都被认为是计算机之父),(在数学家谱也介绍Rózsa Péter,也可参考我们组合数学图论专家B. Andrasfai作为其养子在1985年写的“Rozsa(Rosa) Peter”见链接https://pp.bme.hu/ee/article/view/4651/3756,这B. Andrasfai是我们图论专家就如他的论文全是图论的并B. Andrasfai独撰《图论导引》,郭照人译高等教育出版社,1985-并如其说海南琼州大学曾世界领先的哈密顿图是“希腊文明核心,这翻译者郭照人教授是北京大学 1957级数学专业二班第5,并在我国期刊网北京大学前辈郭照人教授至今仅有1科学论文并且是海南琼州大学曾世界领先的哈密尔顿图的这1论文-这就如刘大师说哈密尔顿图非常不容易,关于哈密尔顿图也如黄埔军校主席仅5以及该校全国状元也几篇、还有各省哈密顿图先驱如云南的有6个北京大学前辈合作但也各仅几篇(就如海南琼大很快解决却全世界其后竟还再做约20-还见海南琼大200证明的…)与哈密尔顿图同属海南琼州大学去攻读3年多研究生的中国第一个组合数学研究室的极值集合论-它是这第一个来海南的更早毕业北京大学的前范少坚教授当时海南第一大学正系主任)做的领域并范少坚教授一生至今仅有1篇论文且是极的。关于这就如这里第5段说是该国第二本在苏联出版的书-并由世界第一的Kolmogorov写的序言说到的第1个文献是1918年的、第2个是上面Kleene克莱尼的、第3个是K以及Kleene克莱尼的等56个文献--Kleene一直在海南琼州大学的导师柳教授去合作几年的美国威斯康辛大学任教(他被评价为其工作的重要性被认为“仅次于哥德尔--要知哥德尔可是爱因斯坦唯一佩服的人,并如这页见Kleene2个博士徒孙获计算机诺贝尔奖图灵奖)以及Kleene的世界名著《元数学导论》已再版多次、被翻译为世界各国多种文字、是数理逻辑领域非常重要的著作-其下册的前5章就是递归函数论最后第6-7附加项目;我也有Rózsa Péter独撰并说“这是通俗读物数学家也可从中得到新的启发”的《无穷的玩艺--数学的探索与旅游》-这书由1983年已和全国政协副主席丁光训同任南京大学常务副校长的袁相碗和朱梧槚、郑毓信翻译1985年出版,并在期刊网见袁相碗的科学论文和他俩以及与海南琼大导师钟集先生同任全国首届理事长的徐利治合作并徐利治大师都是第一作者。.

哈密尔顿图虽非常不容易,但也许海南琼州大学以前至攻读研究生时起一直没交友没妻儿全身心地拚而成为唯一在全校研究生大会上得到全场师生站起来鼓掌多次的如1991年前在世界各国一直无法突破的哈密尔顿图的复圈结构的全部十几个领域全都已取得突破并完成的论文中被国外大师在已有100年历史的世界顶级1区杂志的综述收录的论文已是中国最多,如完成的论文有200彻底攻克22个瓶颈的论文。关于哈密顿图-就如美国三院院士的世界名著中说是一千多年前已提出的世界最悠久的悬而未决的世界重大问题,并如若能解决涉及这哈密尔顿图的密切相关的问题全世界科学家将放假七天来庆祝。再简介北京大学前辈郭照人翻译的B. Andrasfai独撰的《图论导引》一书-该国一直是图论的世界中心-1983年获数学诺贝尔奖的一共2人就是陈省身大师和该国大师,该国担任国际数学联盟正主席的也是做图论的,还有这里指导出诺贝尔奖和新加坡总理总统等的导师Bollobás也是该国出生并在该国读到博士毕业的,就如B. Andrasfai独撰的作为研究生等师生教学参考书的《图论导引》的前言说是第一本以该国语言写的图论书籍并参考论文是该国诺贝尔奖得主Erdos6篇、他自己的5篇、该国Turan2篇、剑桥大学最伟大壮举Tutte2篇外其他人都仅1篇,并在这之前全世界也只有Ore院士2本英文书、Berge1本法文书、Konig1本德文书,如此我确实当时就已得到北大前辈翻译的这本中译版书来读可仍一直困难重重;而做这里邀请海南琼大和北京大学校长为编委的世界最大大学校长的领域的海南师大张校长最近已成为海南最伟大科学家

关于这可计算性理论领域也可参考数理逻辑界全德国人的导师Hans Hermes独撰的《decidability, Enumerability, computability. An introduction to the theory of recursive functions可判定性、可枚举性、可计算性:递归函数论导论》(Hans Hermesone of the mentors of mathematical logic in Germany)并Hans Hermes大师这书也说明可计算性与递归论的关系

我也有亚洲唯一计算机诺贝尔奖得主姚期智的博士导师即我们组合数学大师Liu, C. L.刘炯朗校长的早一年的师兄Frederick C. Hennie III独撰的Introduction to Computability,也有Liu, C. L.刘炯朗校长的早3年的师兄Jack B. Dennis和他的博士Peter J. Denning以及Joseph E. Qualitz合撰的Machines,languages,and computationPeter J. Denning1980年-1982年国际计算机学会主席),它俩都是可计算性理论名著(这里中部见Liu, C. L.刘炯朗校长写了很多我们组合数学图论的名著),当然在这可计算理论领域还有这个网的很多世界名著以及下面所附的几个网的许多书籍我也读。

上面丘奇的博士、Turing图灵和克莱尼的同门Martin D. Davis大师被誉为“计算机科学领域极少数真正的经典著作之一的《可计算性与不可解性》一书;还有可参考和海南琼州大学合作十篇论文的胡书记的清华大学数学系教授张鸣华独撰的《可计算性理论》(清华大学出版社1984年出版-它的中文参考文献除了上面Rózsa Péter的《递归函数论》就再只有2个都参考Péter的这书的中文译本-其作用如仅“长期以来垄断人工智能领域的LISP--可看LISP的百度百科的发展历程第一句见“19604月,麦卡锡以《递回函数的符号表达式以及由机器运算的方式,第一部》为题,于ACM通讯上发表LISP设置。麦卡锡的学生Steve Russell根据该论文,以IBM 704于麻省理工学院的计算机运算中心成功执行了第一版的LISP--这说的就是麦卡锡的这篇论文Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I(哪有什么“递回函数”?其实“Recursive Functions”是“递归函数”)。

也如The theory of computation网的History部分说Some pioneers of the theory of computation were Ramon LlullAlonzo ChurchKurt GödelAlan TuringStephen KleeneRózsa PéterJohn von Neumann and Claude Shannon.”其中Ramon Llull1232–1315有一个以他的名字命名的大学:拉曼鲁尔大学Universitat Ramon Llull13世纪的Ramon Llull之后的第2至第6的这5个先驱就是上面5人,并这5人之后的John von Neumann也是计算机之父

最近这里下部分的中国历史上最年轻教授刘路就是解决递归论中的反推数学的二阶算术子系统的一个问题而红遍全中国的,如刘路荣获影响世界华人盛典。华人代表性大师有新加坡国立大学常务副校长该国首批院士Chi Tat Chong庄志达教授如可参考也做这领域的该校杨跃教授为会议论文集写的庄志达的Reverse Mathematics反推数学-并只有这篇可看全文,庄校长的导师Manuel Lerman的导师Anil Nerode就是上面海南琼州大学编委Anil Nerode只有一篇中文论文就是合作的这篇“纯粹递归论在递归分析中的应用”。

而关于模型论,也许与数学许多领域的关系都比较密切,如此我有它的这些书籍:王世强的《模型论基础》科学出版社1987年,莫绍揆和吕义忠的《模型论导引》南京大学出版社1990年,以及我研究生毕业后还有沈复兴的《模型论导引》等等,在这页见海南琼州大学的导师去合作几年的美国威斯康辛大学H. Jerome Keisler大师是模型论主要开创者奠基人如此对模型论做一些相关介绍

关于可计算性理论,可参考这个有更多计算理论书籍的网页,以及这个网页、还有这个网页,及其这个网页,和这个网页,这里最后部分,等等