北斗六星网

标题: 【管窥中国01】中国的科技观真相之我见 [打印本页]

作者: 公理力 时间: 2023-9-27 10:57
标题: 【管窥中国01】中国的科技观真相之我见
本帖最后由公理力于 2023-9-27 11:42 编辑

[attach]786624[/attach]

【管窥中国01】中国的科技观真相之我见

文公理力

至少从一年前开始，就曾准备写这样一个小系列。只是一直兴趣不足，再加手懒，就拖到了今天。无任何短期内会发多少篇文的设想，作为一个不定期的东东，下篇主题还没影呢。

这个主题既然定位为“管窥”，也就不会有系统、完整的长篇论述。尽量从事实和数据出发，来表述一下对中国某个方面的直观认识。

作为这个系列的第一篇，准备说说本人对中国科技观的理解。如果你不认同所谓的“真相”，就看成标题党好了。我也认。

应该承认，假如随机去问100个人，恐怕也不会有一个会认为，科技观在今日中国还是个问题！那为啥开篇就选这么个话题呢？

刚刚在杭州开幕的某届亚运会，盛传具有惊艳世人的科技因素——据说出自华为手笔。这事儿勉强算是缘起吧，首先扯这个话题的真正原因是，以愚见，科技对中国可预见的未来国运，具有无可替代的、决定性影响。

华为现象给中国人最核心的启示在于，科技创新、科技突破、科技突围，乃上升中的中国打破美国为首的发达国家集团对中国全方位打压和围堵唯一现实可行的出路！

根据美国布鲁金斯学会研究员李成先生的统计：中共20大中央委员中，具有科技背景的委员人数多达81位，占中央委员总数的41%。而上一届中央委员中，该数据还只有18%。不止如此，在新一届政治局24位委员中，有科技背景者，也由上一届的2人，增加至本届的8人，占到三分之一。

这一数据意味着什么呢？

其最起码的象征意义在于，标志着经过长达40年改开大潮的洗礼，中国社会从上到下已经形成了科技乃第一生产力的基本观念。这一重大转变，无疑首先应归功于40多年前提出的“科教兴国”战略。

而这一数据的现实意义在于，中国今后将主要依靠科技发展来实现国家和民族最后阶段最关键的复兴攻坚。这一条理应成为中国人最毋庸置疑的“企图心”！

物联、大数据与云计算、生物工程，人工智能等，是现在和未来相当长时期内科技发展的几个关键领域。人类工作与生活的基本面貌，将被这几个关键领域中的新科技所重塑。而中国人有希望在这场新的革命中走在世界前列。

今年初，美国总统拜登在发表首场经济演讲中指出：美国在科技领域的投入不足。世界排名已经从第一滑落至第九；而中国却从第八跃升至第二！

[attach]786621[/attach]

我们有理由相信，中国人在科技领域全面赶超美国的梦想具有现实性（懒得做更多阐述）。

公某不想忽略的一点是，经历世界霸主美国长达4年制裁、打压、围堵之后，自强不息、埋头苦干、打不垮、压不倒的硬骨头华为，绝非只是拿出了性能多么优越的几款手机和其它领先产品那么简单，华为也不仅仅是眼下这场没有硝烟的中美阶段性凉战中的中坚和代表，华为更是唯一有资格成为华夏民族复兴之路难以预料的最后阶段之真正前锋和恰当象征。

最后，说白了，这个“管窥中国”系列第一篇，仅仅是明确一个基本事实：中国人正确科技观的确立。

至于其它纯个人推论，大可不必当真。

作者: 公理力 时间: 2023-9-27 10:58
本帖最后由公理力于 2023-9-27 11:05 编辑

顺便说几句文中提到的布鲁金斯学会研究员李成先生。

谈到“中国通”，或者说严肃的中国问题专家，在海外主流媒体眼中，李成先生算得上其中的佼佼者之一。
而重点是，他是所有“中国通”中最接近客观中立的一位。这也是公某最看重、最在意的学者品格。

而公某厌恶章家墩之流，也并非全在于其一贯性反中立场，更在于这类人普遍性地全无客观精神可言。

公某对李成先生的一般印象，基本来自于西方主流媒体的报道。而对李先生的最深刻印象，则来自于他在接受英国BBC采访时，对实际上出自公某之手的一篇人民日报重头文章的评论——该文全部观点“三大建树”，完全抄袭于公某发在凤凰网的时评文（80%内容被照搬）。

与西方不少评论者简单将该文看成中宣部统一部署的对最高层的新一轮宣传（南华早报几乎同时发了篇同类文章）而不以为然完全不同，李成告诉BBC记者，该文是对中国最高领导人过往5年的总结，是反应现实的，有其合理性。（大意）

公某最近耳闻一个不好的消息。李成先生已经离开供职多年的美国布鲁金斯学会，去了香港。原因是，他不满于这两年美国社会对于华裔的打压（麦卡锡主义抬头）！

作者: 绝对不主流 时间: 2023-9-27 11:01
中国的科技战略是应用领域的实用主义，能偷就不仿，能仿就不买，能买就不开发，不是什么正路

作者: 金豆豆 时间: 2023-9-27 11:07
证据确凿不行吗？为嘛你们都喜欢推论，整得吃瓜群众一愣一愣的，不知道该信谁~~~~

作者: 公理力 时间: 2023-9-27 11:15

绝对不主流发表于 2023-9-27 11:01
中国的科技战略是应用领域的实用主义，能偷就不仿，能仿就不买，能买就不开发，不是什么正路

你这观点放在20年前或更早，基本成立。今天，还是这种认知，就过时了。

很简单的道理，中国能够在太阳能技术等多个领域在全球具有明显竞争优势，也包括华为同时在多个领域赶超美国等世界一流产品，靠得主要是独创性研发。

作者: 知音 时间: 2023-9-27 11:16

我脑子里突然蹦出这个《祝科学大会》，还记成了郭沫若写的，上百度一搜，原来是叶剑英写的：

忆秦娥·祝科学大会
作者：叶剑英

追科学，西方世界鞭先着。鞭先着，宏观在宇，微观在握。
神州九亿争飞跃，卫星电逝吴刚愕。吴刚愕，九天月揽，五洋鳖捉。

写作背景：
粉碎“四人帮”以后，中国工农业生产都急待恢复与发展，百业待兴，长期遭到歧视和破坏的科研工作重新得到了人们的重视，全国形成了向科学技术现代化进军的热潮。应时代的迫切需要，1978年3月在北京召开了全国科学大会，来自各条战线的科技人才济济一堂，盛况空前。在这个具有历史意义的盛会上，经过十几天的讨论酝酿，制定了1978年至1985年的全国科学技术发展规划纲要。邓小平在会上作了极为重要的讲话。人们群情振奋，准备迎接科学春天的到来。叶剑英为了祝贺中国科技工作的重新振兴，填写了这首《忆秦娥》

作者: 公理力 时间: 2023-9-27 11:19

金豆豆发表于 2023-9-27 11:07
证据确凿不行吗？为嘛你们都喜欢推论，整得吃瓜群众一愣一愣的，不知道该信谁~~~~

有些人，你就是摆出确凿证据，他们也一样各种狡辩而不信

作者: 金豆豆 时间: 2023-9-27 11:21

绝对不主流发表于 2023-9-27 11:01
中国的科技战略是应用领域的实用主义，能偷就不仿，能仿就不买，能买就不开发，不是什么正路

中国的航天技术，修路建桥技术，包括船舶技术等，都无一例外是你说的这个来源吗？有没有确凿的证据证明~~~~~

作者: 公理力 时间: 2023-9-27 11:21

知音发表于 2023-9-27 11:16
我脑子里突然蹦出这个《祝科学大会》，还记成了郭沫若写的，上百度一搜，原来是叶剑英写的：

忆秦娥 ...

开科学大会时，郭沫若好像写过一篇“科学的春天”，是文章，还是发言稿，记不清了

作者: 绝对不主流 时间: 2023-9-27 11:25

公理力发表于 2023-9-27 11:15
你这观点放在20年前或更早，基本成立。今天，还是这种认知，就过时了。

很简单的道理，中国能够在太阳 ...

太阳能发电技术是贝尔实验室的，光伏是朗格提出的，希腊语，美日是最早建光伏发电厂的国家，而中国只是应用，留学生从日本“学”回来的技术

作者: 绝对不主流 时间: 2023-9-27 11:28

金豆豆发表于 2023-9-27 11:21
中国的航天技术，修路建桥技术，包括船舶技术等，都无一例外是你说的这个来源吗？有没有确凿的证据证明~~ ...

都只是应用技术，没有理论贡献
建国至今，中国只在马克思哲学理论上有创新（也叫修正主义），除此之外的科学理论贡献几乎为零

作者: 公理力 时间: 2023-9-27 11:31

绝对不主流发表于 2023-9-27 11:25
太阳能发电技术是贝尔实验室的，光伏是朗格提出的，希腊语，美日是最早建光伏发电厂的国家，而中国只是应 ...

国运拼的就是应用技术吗嘛，谁能用最低的成本干出品质优良的产品，谁就有市场，谁就有未来！事情就这么简单、残酷

作者: 公理力 时间: 2023-9-27 11:34

绝对不主流发表于 2023-9-27 11:28
都只是应用技术，没有理论贡献
建国至今，中国只在马克思哲学理论上有创新（也叫修正主义），除此之外的 ...

理论贡献，那是奢侈品。勒紧裤腰带赶路者，没有这么“讲究”

作者: 绝对不主流 时间: 2023-9-27 11:37

公理力发表于 2023-9-27 11:31
国运拼的就是应用技术吗嘛，谁能用最低的成本干出品质优良的产品，谁就有市场，谁就有未来！事情就这么简 ...

这种科技领域的实用主义，注定不会有什么科学意义的贡献

作者: 绝对不主流 时间: 2023-9-27 11:38

公理力发表于 2023-9-27 11:34
理论贡献，那是奢侈品。勒紧裤腰带赶路者，没有这么“讲究”

领导勒紧你的裤腰带，赶他们的先富路

作者: 金豆豆 时间: 2023-9-27 11:40

绝对不主流发表于 2023-9-27 11:28
都只是应用技术，没有理论贡献
建国至今，中国只在马克思哲学理论上有创新（也叫修正主义），除此之外的 ...

理论贡献是什么意思？是自己没有系统的理论，都是借用、套用，甚至是盗用他人的技术呢，还是自己有了技术没有形成系统理论，不能提供给他国参考？

作者: 绝对不主流 时间: 2023-9-27 11:45

金豆豆发表于 2023-9-27 11:40
理论贡献是什么意思？是自己没有系统的理论，都是借用、套用，甚至是盗用他人的技术呢，还是自己有了技术 ...

发现光电效应，这叫理论贡献
发现在硅中参入一定杂质能达到发电的作用，这叫材料领域的理论贡献
我们只是把别人的各种贡献应用起来，干了些施工的活

作者: 公理力 时间: 2023-9-27 11:47

绝对不主流发表于 2023-9-27 11:37
这种科技领域的实用主义，注定不会有什么科学意义的贡献

日本战后迅速发展起来，到80年代末90年代初，甚至让美国人坐不住了，“广场协议”就是例证。
说说，日本人靠得是应用技术？还是理论贡献？

作者: 公理力 时间: 2023-9-27 11:48

绝对不主流发表于 2023-9-27 11:38
领导勒紧你的裤腰带，赶他们的先富路

扯这些就无聊了

作者: 金豆豆 时间: 2023-9-27 11:48

绝对不主流发表于 2023-9-27 11:45
发现光电效应，这叫理论贡献
发现在硅中参入一定杂质能达到发电的作用，这叫材料领域的理论贡献
我们只是 ...

挺好的啊。没有谁规定说，不能应用别人的理论吧？何况理论还需要实践进行验证呢，或许久而久之，发现理论的谬误也指不定，侧重实用性没那么讳莫如深吧？牛顿还说，他是站在巨人的肩头呢~~~~

作者: 绝对不主流 时间: 2023-9-27 11:50

公理力发表于 2023-9-27 11:47
日本战后迅速发展起来，到80年代末90年代初，甚至让美国人坐不住了，“广场协议”就是例证。
说说，日本 ...

日本在科技领域是全世界前三的位置，应该是第二

作者: 绝对不主流 时间: 2023-9-27 11:50

公理力发表于 2023-9-27 11:48
扯这些就无聊了

好好好，人艰不拆

作者: 绝对不主流 时间: 2023-9-27 11:52

金豆豆发表于 2023-9-27 11:48
挺好的啊。没有谁规定说，不能应用别人的理论吧？何况理论还需要实践进行验证呢，或许久而久之，发现理论 ...

牛顿站在巨人肩膀上继续从事理论研究，并没去当包工头

作者: 知音 时间: 2023-9-27 11:54

弄个蓝色高亮，避免吵架

作者: 知音 时间: 2023-9-27 11:54

绝对不主流发表于 2023-9-27 11:52
牛顿站在巨人肩膀上继续从事理论研究，并没去当包工头

不同历史时期有不同的历史使命

作者: 绝对不主流 时间: 2023-9-27 11:58

知音发表于 2023-9-27 11:54
不同历史时期有不同的历史使命

当个包工头就别指着高楼大厦说那是自己的科技成就

作者: 公理力 时间: 2023-9-27 12:01

绝对不主流发表于 2023-9-27 11:50
日本在科技领域是全世界前三的位置，应该是第二

日本科技有一段时间是第二了，现在不清楚。

重点是，日本能迅速发展起来，靠得还是应用技术，而不是理论。

发展起来之后，日本理论研究也慢慢上来了，包括诺奖获得者越来越多。

而中国目前尚处于日本的前期，理论研究暂时要让位于应用技术。

作者: 公理力 时间: 2023-9-27 12:01

绝对不主流发表于 2023-9-27 11:50
好好好，人艰不拆

这就对了嘛

作者: 公理力 时间: 2023-9-27 12:02
本帖最后由公理力于 2023-9-27 12:03 编辑

知音发表于 2023-9-27 11:54
弄个蓝色高亮，避免吵架

你的意思都是属牛的？以后禁用红色吧

作者: 绝对不主流 时间: 2023-9-27 12:06

公理力发表于 2023-9-27 12:01
日本科技有一段时间是第二了，现在不清楚。

重点是，日本能迅速发展起来，靠得还是应用技术，而不是理 ...

经济发展只和市场化程度有关，制造业为主的国家经济可持续性发展才涉及科技
新西兰是发达国家，几乎没有什么工业，仅仅畜牧业旅游业就让国民很幸福，无所谓科技上有什么建树

作者: 公理力 时间: 2023-9-27 12:16

金豆豆发表于 2023-9-27 11:21
中国的航天技术，修路建桥技术，包括船舶技术等，都无一例外是你说的这个来源吗？有没有确凿的证据证明~~ ...

说起船舶技术，想起最近美国军方的一个报告中的说法：

美国的年造船能力只有10万吨/年，而中国是2320万吨/年！中国是美国的230倍。其结论是，美国军舰的建造远远没法跟中国相比。

作者: 绝对不主流 时间: 2023-9-27 12:20

公理力发表于 2023-9-27 12:16
说起船舶技术，想起最近美国军方的一个报告中的说法：

美国二战期间造船能力就是年产1850万吨了
如今只是把粗活累活扔了不干，不是没能力干

作者: 公理力 时间: 2023-9-27 12:26

绝对不主流发表于 2023-9-27 12:06
经济发展只和市场化程度有关，制造业为主的国家经济可持续性发展才涉及科技
新西兰是发达国家，几乎没有 ...

当然，国情不同，没法比，中东油国什么都不干，也富得流油——那是真的流油。如果没记错的话，阿联酋的人均GDP排名在全球前5名，远比很多发达国家高。

但中国不成，人多地少，资源很有限。这多少类似于日本。先依靠应用技术（包括基建狂魔）打天下，才是现实的。

听说比亚迪的电动汽车已经准备要跟马斯克争高下，中国汽车全球销量也已经超过日本。
这在10年前都不敢梦想，5年前恐怕也极少有人敢预测。

作者: 公理力 时间: 2023-9-27 12:28

绝对不主流发表于 2023-9-27 12:20
美国二战期间造船能力就是年产1850万吨了
如今只是把粗活累活扔了不干，不是没能力干

美国的实体工业大量外移了，川普上台后才意识到这个问题的严重性。

作者: 卖真方子的 时间: 2023-9-27 12:31
中国的科技，几乎99.999%都是应用层面的技术。

理论层面上的科学理论，中国科学技术的贡献，几乎为0.

中国的科技发展，缺乏基础研究的根基，应用层面上的东西，别人给你理论就好说，别人封锁原创理论，你什么都搞不出来。

中国的科技型企业的发展类型，几乎都是应用型企业，这也恰恰印证了我上面的说法。

作者: 绝对不主流 时间: 2023-9-27 12:39

公理力发表于 2023-9-27 12:28
美国的实体工业大量外移了，川普上台后才意识到这个问题的严重性。

中国造船业竞争对手是韩国，只是民用市场
军事造船技术最牛能力最强的还是美日英，中国只是近年拼命造而己，技术差远了
川普是个建筑承包商，这货根本不理解美国只是现在不生产铁锹，不是不能生产铁锹

作者: 公理力 时间: 2023-9-27 12:40

卖真方子的发表于 2023-9-27 12:31
中国的科技，几乎99.999%都是应用层面的技术。

理论层面上的科学理论，中国科学技术的贡献，几乎为0.

【别人给你理论就好说，别人封锁原创理论，你什么都搞不出来。】

别老说外行话行不？

理论怎么封锁？理论能申请专利？还是理论研究者不能发表论文？又或者研究者没有获得成果公认的需要？

作者: 卖真方子的 时间: 2023-9-27 12:41
各大基础学科里面，最难以被西方封锁的，就是理论数学。

但是，即便如此，前沿数学，依然是被封锁的。

美国矩阵实验室的Matlab软件，据说里面的数学成果，能拿5个菲尔茨奖。

源代码都是封锁的，没人知道。也无法通过“逆向工程”获得。

仅仅前沿数学这个最难以封锁的学科都是如此了，更何况其它更容易封锁的科学理论领域？

作者: 卖真方子的 时间: 2023-9-27 12:41

公理力发表于 2023-9-27 12:40
【别人给你理论就好说，别人封锁原创理论，你什么都搞不出来。】

别老说外行话行不？

各大基础学科里面，最难以被西方封锁的，就是理论数学。

但是，即便如此，前沿数学，依然是被封锁的。

美国矩阵实验室的Matlab软件，据说里面的数学成果，能拿5个菲尔茨奖。

源代码都是封锁的，没人知道。也无法通过“逆向工程”获得。

仅仅前沿数学这个最难以封锁的学科都是如此了，更何况其它更容易封锁的科学理论领域？

作者: 卖真方子的 时间: 2023-9-27 12:44
本帖最后由卖真方子的于 2023-9-27 12:45 编辑

公理力发表于 2023-9-27 12:40
【别人给你理论就好说，别人封锁原创理论，你什么都搞不出来。】

别老说外行话行不？

第二次世界大战末期，图灵参加了美国军方的秘密机构，从事密码的解密与加密工作。

美军的密码翻译机，图灵就贡献了相当大比例的数学成果，这也是计算机的雏形

当时来讲，图灵的数学原创成果，就是保密的，而且是绝密级。

作者: 公理力 时间: 2023-9-27 12:50

绝对不主流发表于 2023-9-27 12:39
中国造船业竞争对手是韩国，只是民用市场
军事造船技术最牛能力最强的还是美日英，中国只是近年拼命造而 ...

韩国前些年还有优势，这几年已经竞争不过中国了。

军舰涉及军事技术的部分，中国确实与美国等还有差距。包括核动力舰艇、航母等也都是例子。

至于川普的想法，也是有道理的。某个产品外移后，过些年头再想移回来，也不是容易的事。包括人才的缺失，美国本土生产成本高失去竞争力等因素，有些海外美国公司自己就不愿意回国。

作者: 绝对不主流 时间: 2023-9-27 12:56

公理力发表于 2023-9-27 12:50
韩国前些年还有优势，这几年已经竞争不过中国了。

军舰涉及军事技术的部分，中国确实与美国等还有差距 ...

战时强制通用波音之类公司生产低端军工品就是一道命令的事，哪有什么困难可言
你让华为生产3nm手机累死他也造不出来，但你让通用集团改造鱼雷艇却简单得很

作者: 公理力 时间: 2023-9-27 12:58

卖真方子的发表于 2023-9-27 12:44
第二次世界大战末期，图灵参加了美国军方的秘密机构，从事密码的解密与加密工作。

你所指的这类数学成果，基本属于应用范畴的算法类（软件编程等），与纯理论性成果不是一回事。

作者: 知音 时间: 2023-9-27 13:00

公理力发表于 2023-9-27 12:02
你的意思都是属牛的？以后禁用红色吧

心理学上说，蓝色能让人静下心来。
还有，出门聚会尽量少穿黄色，容易遭人妒忌。

作者: 卖真方子的 时间: 2023-9-27 13:02

公理力发表于 2023-9-27 12:58
你所指的这类数学成果，基本属于应用范畴的算法类（软件编程等），与纯理论性成果不是一回事。

你所指的这类数学成果，基本属于应用范畴的算法类（软件编程等），与纯理论性成果不是一回事。

——————————————————————————

我估计你对计算机发展史不太了解。

图灵是整个计算机理论框架（数学框架）的理论创造者。

冯。诺伊曼，是我们今天的计算机的架构的搭建者。

图灵与冯。诺伊曼，他们首先是天才型的数学家，理论数学家，其次才是技术的发明创造。

图灵是个天才的理论数学家，这才是他的首要身份。

作者: 卖真方子的 时间: 2023-9-27 13:02
为什么是图灵——计算理论的缘起
数学与通识
2023-05-30 05:00
贵州
引言
丘奇−图灵论题(Church−Turing Thesis)断言：图灵机是最广义的计算装置。丘奇−图灵论题有时也称图灵论题，是计算机科学的基石，它之于计算机科学，宛如公理之于几何学，牛顿定律之于物理学。计算理论的缘起就是丘奇−图灵论题的形成过程。费曼说微积分是上帝的语言。如果我们把第一次工业革命，归因于机械和能量，贴上牛顿的标签，而把当下正在经历的第四次工业革命归因于信息和计算；那么，上帝的语言该改成图灵机了。至少，英国50英镑钞票的头像刚刚从瓦特换成了图灵。

丘奇−图灵论题的根据就是所知的最广义的计算机制都是等价的，这些机制包括：广义递归函数、λ−演算、珀斯特(Post)系统、图灵机等。这些机制中的任意两个之间都可以互相模仿。这个结论有时也称为图灵定理，因为这些等价性是数学上可证明的。图灵论题是把图灵定理推广到所有可能的、潜在的机制，这个跳跃使得“定理”变成了“论题”，因为没法在现在确定的已知框架中去证明未来的不确定的潜在未知。这需要一种信念(conviction)，信念就是论题。论题既非数学定理也非物理定律，而是一种实用主义的共识。当然，如果把这种共识公理化，也有可能证明丘奇−图灵论题，这本是哥德尔(Kurt Gödel)的期望。逻辑学家德肖维茨和古列维奇近来曾做过努力，他们按照哥德尔指明的方向，试图提出一套可以被广泛接受的公理，在此之上证明丘奇−图灵论题。但是公理本身也需要某种直觉上的共识，况且，今天对公理的共识也无法消解明天潜在的非议，共识了两千多年的欧几里得公理体系也可以被掰弯。如果公理的根据还没有图灵机更加直觉上可靠的话，其上的证明也是徒劳。

有人说数学中只有定义和定理，没听说过“论题”。此言差矣。极限和连续的定义，其实就是某种“论题”，只不过我们习惯于用定义来指称它，而不说这是“柯西−维尔斯特拉斯论题”(Cauchy−Weierstrass Thesis)，我们的这种习惯恰是因为它符合我们对极限和连续的直觉。

对数学或者理论计算机科学的外行人，我们甚至可以采用一种人类学或社会学的标准：所有最聪明的人想到的机制都是等价的，那么这个论题肯定是靠谱的。为了避免过多地偏离主线，本文中，我们从此以共识作为“论题”的解释。这个共识的结论之一就是不存在比图灵机更强的计算装置。

丘奇−图灵论题是可计算性理论的基础。在计算复杂性理论里，还有“强丘奇−图灵论题”，它假设了更多：所有计算装置之间不仅可以互相模拟，而且模拟的成本是多项式的。姚期智认为丘奇−图灵论题和强丘奇−图灵论题可能更会受到物理定律的约束。很明显，强丘奇−图灵论题受到的约束更大。肖尔(Peter Shor)提出素数分解的量子算法之后，量子计算就是对强丘奇−图灵论题的明确且现实的挑战，如果素数分解问题被证明不能在多项式时间内求解，那么量子计算对强丘奇−图灵论题的挑战就成功了。若果真如此，将来某一天我们不得不修正强丘奇−图灵论题。姚期智聪明地指出，否定强丘奇−图灵论题，甚至都不一定需要量子力学，经典力学中的−体问题，可能就没法找到多项式时间的解。但即使如此，大家仍然会认可丘奇−图灵论题。

丘奇−图灵论题的主要论点是图灵机捕捉到了直觉上的计算概念，尽管它不是定理。它有如下几种表述方式：

1)所有计算装置都与图灵机等价。

2)人按照算法执行的计算和图灵机等价。

3)人的智能和图灵机的能力等价。

这几种表述代表了不同的哲学观点，一个比一个强。1)虽不是定理，但目前我们知道的所有计算装置都和图灵机等价，例如哥德尔−厄布朗(Gödel−Herbrand)广义递归函数，珀斯特(Emil Post)的各种产生式系统，丘奇(Alonzo Church)的λ−演算，乔姆斯基(Noam Chomsky) 0 型文法等。第一种表述目前是几乎所有理论计算机科学家的共识。第二种和第一种表述有很强的关联，丘奇、珀斯特和图灵的初衷都是为了能够找到一个机械装置可以完整地刻画人施行计算的过程。如果认为算法就是机械过程的话，头两种表述是等价的。哥德尔认可前两种表述，但对第三种表述不买账。认可第三种表述就意味着认可“人是机器”，这是人工智能的终极哲学问题。对丘奇−图灵论题的态度决定了如何应答这个问题。

目前没有证据表明存在着某种自然过程可以展现比图灵机更强的能力，但即使某一天真的发现了这种自然存在(就像有些人期望的那样：可能会有某种生物过程超越图灵机)，也不影响图灵机是最强的机械可计算装置。哥德尔就认为可能存在不可机械计算的心理过程，但他也毫不含糊地认可图灵机是最强、最广义的机械计算装置。哥德尔在1946年为他1931年不完全定理文章写的后记中说：是否存在不等价于任何算法的非机械的过程，与“形式系统”或者“机械过程”的定义的充足性没啥关系。

图灵与图灵机
图灵在剑桥读书时的兴趣是数论和量子力学，但为什么会想到图灵机呢？按照图灵唯一的学生和恋人罗宾•甘地(Robin Gandy)1954年在《自然》杂志上为图灵写的讣告里的说法：图灵本科毕业后在剑桥国王学院做研究员(Fellow)的第一年曾对计算黎曼 zeta 函数的零点感兴趣，由此想到要造一台机器。事实上，图灵怀疑黎曼猜想不成立，于是他一直试图找一个反例。图灵机实际是图灵研究黎曼猜想的副产品。

图灵到美国留学回到英国不久就被军方征召做加密工作。他关于黎曼 zeta 函数零点的计算方法的文章拖到1943年才在《伦敦数学会会刊》上发表。但图灵最早设计的计算黎曼 zeta 函数的机器是一个可以进行离散近似的模拟装置。这与甘地所说不知是否一回事。二战结束后，图灵在曼彻斯特大学时，又短暂恢复了他对数论的兴趣，他1949-1950年间写了两个程序在英国最早的计算机曼彻斯特 Mark−I 上运行，一个力图找出更大的梅森素数，图灵和合作者验证了当时已知的梅森素数，但没有找到新的；另一个计算黎曼 zeta 函数的零点。其实图灵是想找黎曼猜想的反例，自然无果。图灵的计算结果在他去世前一年才在《伦敦数学会会刊》上发表，现在所有计算黎曼 zeta 函数零点的算法都是由图灵的原始算法衍生出来的，于是有人称图灵是计算数论的开拓者。图灵和哥德尔的初衷不一样，哥德尔的起点和终点都是逻辑，而图灵的起点是数论，终点是计算。

马克斯•纽曼(Max Newman)是英国当时的领袖级数学家，主攻拓扑，他1928年参加了在意大利博洛尼亚召开的国际数学家大会，现场听到身体欠佳的希尔伯特讲到判定问题。两年后判定问题就被哥德尔负面地解决了，颇令希尔伯特不爽。哥德尔的结果激发了纽曼对逻辑的兴趣。他1935年春季学期为剑桥高年级学生开讲“数学基础”，图灵也去听讲。图灵和纽曼深入讨论，理解了希尔伯特期望的是某种机械过程。

图灵利用图灵机否定了可判定性。1936年丘奇在创办《符号逻辑杂志》(JSL)首刊上登了自己关于可判定性问题的两页短文。纽曼收到丘奇寄来的 JSL 首刊时，已经看过图灵的初稿，他马上把丘奇的结果告诉图灵，并给丘奇写信告知自己的学生图灵也在研究同一问题并取得进展，推荐图灵给丘奇做学生。图灵知道丘奇的结果，略有失望和焦急，他在给母亲的信中提到纽曼认为虽然他的结果和丘奇类似，但方法不同也可发表。事实，图灵稍晚发表文章，从某种意义上帮助了他，让他有机会完善结果。图灵研究了丘奇的λ−演算，很快证明了图灵机和λ−演算是等价的，把证明过程增补到原文作为附录。恰是这个附录增加了所有人的信心。纽曼利用自己在伦敦数学会的影响力，帮助图灵把论文投给该会的会刊，这就是那篇无论怎样赞誉都不过分的经典。

有意思的是在图灵从普林斯顿得到博士学位回到英国后，他接替纽曼“数学基础”课，而同一学期，维特根斯坦开讲数学哲学，可课程名又恰“数学基础”，这才有了图灵和维特根斯坦1939年在剑桥的遭遇。

按照数学家、图灵传记作家霍奇斯(Adrew Hodges)的说法，图灵想构造一个可计算的实数集合，这样可以建立整数到实数的一个映射，从而可以创建一套构造主义的实函数理论。图灵1936年文章的打印稿后来被甘地收藏，打印稿肯定不是图灵亲操打字机，但上面的公式是图灵亲手写的。打印稿的背面，还有一篇图灵手写的笔记，探讨正规数(normal numbers)。所谓正规数就是所有数位都是均匀分布的数。图灵在国王学院的朋友钱珀瑙(David Champernowne)证明了0.12345678910111213…在十进制下是均匀分布的。图灵1933年就得知钱珀瑙的工作，一直和钱珀瑙较劲，想进一步给出计算正规数的算法。霍奇斯认真研读了这篇从未发表的手记，其中图灵提到了机械过程(mechanical process)和构造性枚举(constructive enumeration)，无疑图灵的目的是给出可计算性的机械定义。但笔记中存在错误，图灵后来没有再在正规数上花时间。图灵1932年还写过一篇手稿 Nature of Spirit，其中讨论自由意志和物理确定主义(physical determinism)。图灵  和这两篇手稿的关系密不可分。

最初，“计算”用的词是 calculation，可计算性就是 calculability。因为早期，computer 专指做计算工作的人，通常是指女性。随着1960年代计算机更加普及，大家才开始更多地说 computation，而 calculator 也专指“计算器”。早期关于递归论和计算理论的教科书的演变也可说明递归论逐步演变成可计算性理论的过程。最早的递归函数的专著大概是匈牙利女数学家罗莎培特的《递归函数论》，出版于1951年，1954年由逻辑学家莫绍揆翻译为中文，1958年由科学出版社出版(有意思的是“图灵”被莫先生译为“杜令”)。丘奇的早期学生克里尼(Stephen Kleene)的重要著作《元数学导论》也是由莫先生译为中文的，该书也是以递归函数作为核心。而丘奇后来的学生罗杰斯(Hartley Rogers)常年在麻省理工任教，他1967年的《递归函数论和能行可计算性》(Theory of Recursive Functions and Effective Computability)则以图灵机和图灵机的各种衍生作为讨论基础，更容易懂。同年，明斯基也出了本更加深入浅出的计算理论教科书 Computation: Finite and Infinite Machines，看书名就知道这是以机器为出发点的。罗杰斯和明斯基的几位早期学生毕业时，恰逢美国大学纷纷成立计算机系，他们去计算机系教计算理论的要比去数学系教逻辑的多。随着这些人后来都成为领军人物，这几本教科书的呈现风格也帮助塑造了学科的体系。罗杰斯这本书的影响尤其大。克里尼1967年出版的更初等的教科书《数理逻辑》(Mathematical Logic)也改用图灵机了。

数理逻辑四大论：集合论、模型论、证明论和递归论。其中，递归论逐步演变成了相对独立的可计算性理论。如果从递归论角度考虑，大家更倾向说“丘奇论题”，而从可计算性角度考虑，更倾向说“图灵论题”。因为递归论和可计算性理论是同一个起因，前者源于哥德尔，后者起于图灵。现在计算理论和计算复杂性的教科书叙述方式都是以图灵机为中心，基本不提递归函数。主要原因首先是图灵机和计算密切相关，又好懂，学习递归函数需要更高的门槛。图灵只在早期几篇文章中提到递归函数与图灵机等价，然后就以图灵机为主讨论。图灵没有主动去宣传图灵机，也没有从严肃的数学角度把可计算性的概念推广。否则，也许计算理论作为一门独立深刻的学问可能会更早出现。霍奇斯很遗憾图灵在世时没有写一本关于计算理论与实践(The Theory and Practice of Computing)的书。

图灵关于丘奇−图灵论题的想法也是在不断变化的。一般认为到1950年他写“计算机与智能”时已经默认了人机等价的思路。彭罗斯认为图灵已经假设人脑的任何动作可以规约到(还原到，reducible to)图灵机的动作，而彭罗斯当然不认可这一点，他认为人脑是量子计算机。

为什么不是丘奇？
1930−1931年间，哥德尔在研究递归函数的同时，丘奇正在研究λ−可定义函数。说起来有意思，丘奇最早的论文中是想写，但他的打字员不会打上面的小帽子，便在前面打了个大写的希腊字母 lambda Λ，后来演变成小写的λ。丘奇的本意是定义一个无名函数，结果倒是无意中给这个定义起了个名字：λ−演算，所谓无名到有名。

丘奇的学生克里尼在1933年证明了一大类数论函数都是λ可定义的。丘奇认为这是很强的证据：λ−可定义函数就是“能行可计算性”(effectively calculable)。这就是丘奇论题的根源。丘奇1934年3月在普林斯顿告知哥德尔他的论题，但哥德尔不买账(thoroughly unsatisfactory)。

哥德尔知道原始递归函数并不包括所有的“能行可计算函数”。希尔伯特的助手阿克曼1928年就提出了双递归的概念，即阿克曼函数，这不是原始递归的。哥德尔1934年在普林斯顿高等研究院做了几次关于不完全性定理的讲座，听众中有丘奇和他的两位学生克里尼和罗瑟。哥德尔的讲座由克里尼和罗瑟根据听课笔记整理成35页的小册子，名为 On Undecidable Propositions of Formal Mathematical Systems。受到厄布朗(Jacques Herbrand)的启发，哥德尔在讲座中使用了后来被他称为“广义递归函数”(general recursive function，也译为“一般递归函数”)的定义，哥德尔在文章中说：递归函数(最)重要的性质是给定变量的值的集合，就可以通过一个有限的过程计算出函数值来。这处哥德尔标注有个脚注“…This cannot be proved, since the notion of finite computation is not defined, but it serves as a heuristic principle.”哥德尔1964年又写了一个后记，强调了图灵1936/1937解答了他在脚注中提到的问题。

丘奇就数论中不可解问题在1935年4月19日在美国数学会有个十分钟的演讲，演讲内容的两页纸摘要登在1935年的美国数学会会刊上，这里丘奇没有用λ−演算，而是小心翼翼地说：其他“能行可计算性的定义”要么等价于“通用递归函数”，要么更弱。这是丘奇论题的最早的正式说法。此时丘奇还不敢肯定λ−演算事实上也等价于递归函数。

丘奇的学生克里尼1935年7月1日给美国数学会提交的摘要中提到他证明了λ−演算与递归函数的等价性。待丘奇的全文1936年发表于《美国数学杂志》时，丘奇当然已经知道λ−演算等价于递归函数。于是他非常有信心地论辩：两种机制的等价性确认了它们广义地刻画了能行可计算性。丘奇最早意识到丘奇论题时，是作为定义提出来的，他1936的长文中明确写道“The purpose of the present paper is to propose a definition of effective calculability.”此时丘奇的唯一证据就是λ−演算。

尽管丘奇使用了哥德尔的广义递归函数，但哥德尔还是不认可丘奇论题。图灵的学生甘地以及逻辑学家希格(Wilfried Sieg)在回顾这段历史时讲到，丘奇并没有证明每个演算的原子步骤(atomicstep)是递归的，这是丘奇文章的一个缺陷。哥德尔的智慧当然一眼就看穿了。图灵在1936年的文章中也持有类似的说法，尽管他没有直接说“定义”，但他指出所谓可计算就是图灵机可计算(all computable numbers are ‘computable’)。苏联数学家柯尔莫哥洛夫也对逻辑有深刻研究，他为罗莎培特的《递归函数论》的俄译本写的序里也提到“可构造性的要求可以简单地理解为‘可计算性’ ”。

当更多的机制都被证明和λ−演算等价后，自然会认为这捕捉了一类概念而不是一个单一的想法。这个肯定是比定义更加具有关联性的概念，于是有了论题的说法。

作为丘奇的学生，克里尼也承认丘奇的λ−演算并不令人信服，哥德尔自己都不认可自己的递归函数，而丘奇用λ−演算和哥德尔的广义递归函数套近乎的做法，并不能打动哥德尔。只有“图灵的可计算性概念，令人心服口服”。

丘奇最早是把丘奇论题当作定义来用的。是克里尼在1943年的论文里首次使用“论题”(Thesis)。克里尼在1952年出版的《元数学引论》(Introduction to Metamathematics)中更加正式地提出丘奇论题和图灵论题，这本书影响很大。于是论题比定义更加广泛地使用。其实丘奇−图灵论题的一个哲学推论是智能可以还原为图灵机，如果把丘奇−图灵论题当作定义来用，肯定会引发无谓的哲学争论，而这些争论在图灵1950年的论文中，已经预见到了，所以那篇文章的很大一部分就是作为对这些已经预见到的争议的回答。

数学家和逻辑学家多采用递归函数，他们称那个分支为递归论；而后起的计算机科学家或者计算理论家更多采用图灵机，他们称可计算理论。而丘奇的λ−演算则无人问津。甚至他自己的学生克里尼在讲课和写书时也鲜有提及。倒是后来人工智能的先驱麦卡锡(John Mc Carthy)在设计 Lisp 语言时用到了 Lambda，导致现代编程语言中的几乎所有重要机制都源于λ−演算，例如 function/procedure, variable binding, parameter passing, scoping 等。麦卡锡尽管也出自丘奇所在的普林斯顿数学系，但他并非丘奇的门生。

无论如何，图灵赢得了最多的荣誉(credit)。Google 把扫描过的书做了词频统计，做到 Ngram Viewer 中，我们在其中查 Church−Turing Thesis 和Turing Thesis，作为比对，可以看出越来越多的人使用Turing Thesis。

为什么不是哥德尔？
哥德尔1931年著名的不完全性定理文章中用到了“递归函数”的说法，这个提法后来被更精确地称为“原始递归函数”(primitive recursive function)，以示与后来“广义递归函数”(general recursive function，也译为“一般递归函数”)的区别。厄布朗1931年4月7日给哥德尔写信，启发了哥德尔想到广义递归函数。7月25日哥德尔回复了厄布朗，两天后，厄布朗因登山事故去世，年仅23岁。哥德尔1934年3月在普林斯顿的演讲最早公开提出广义递归函数。此时又恰逢丘奇想到丘奇论题。

哥德尔不完全性定理和丘奇论题的关系有两个方面。首先，正如克里尼指出的，如果哥德尔不完全性定理不成立，丘奇1936年的论文也不成立。反之，哥德尔不完全性定理可由丘奇的结果推出来。其次，哥德尔用到的递归函数，启发了丘奇想到丘奇论题。

如果非要说也有哥德尔论题的话，那这个论题可以表达如下：所有机器可计算的函数可以用最广义的递归来定义。哥德尔虽然没有想出令自己满意的计算装置，但他是那个一锤定音的人。随着他名声的提升，大家越发认可他的话。像丘奇、图灵甚至冯•诺依曼都认为他的看法不容置疑，更不要说晚辈的王浩、克雷塞尔(Georg Kreisel)、克里尼和罗瑟了。

哥德尔在1930年代就认识到图灵机可以作为机械可计算性的定义：“That this really is the correct definition of mechanical computability was established beyond any doubt by Turing.”哥德尔认可图灵机捕捉到了“人作为计算机”(human computer)的直觉，并且把这个功劳都归功于图灵。之后在他不多的公开发声(文章或演讲)中多次力挺图灵，并且措辞几乎相同。哥德尔1946年为“普林斯顿大学200年”写的文章中的一段话是最多被提到的：“one has for the first time succeeded in giving an absolute definition of an interesting epistemological notion, i. e., one not depending on the formalism chosen.”  哥德尔此处所说的“绝对”，是指图灵机不是相对的概念，它不需要依靠别的机制，它是最基本的装置。

关于图灵机和哥德尔自己的一阶逻辑的不完全性的结果，哥德尔1939年在圣母大学的演讲里，利用莱布尼茨的“计算机”(Calculemus)把它们巧妙地关联起来：“假设机器有一个曲柄，每当你转动曲柄一周，机器会写下谓词演算的一个重言式，如果你足够频繁地转动曲柄，它就会写下所有存在的重言式……。所以就谓词演算公式的推导而言，这台机器真的会完全取代思维。这将是一个字面意义上的思维机器。对于命题演算，你可以做得更多。你可以建造一台打字机形式的机器，这样如果你输入命题演算的公式，机器就会响铃[如果公式是重言式]，如果不是，就不会响铃。你可以对一元谓词演算做同样的事情……如果是谓词逻辑，你做不出来这样的机器。所以这里已经可以证明莱布尼茨“计算机”程序不能被实现，也就是说，对于判定一个公式是否是重言式这么简单的问题，人脑也绝不会被机器所取。”这里，由此可看出哥德尔一方面为图灵机所信服，另一方面他认为人脑能做图灵机不能做的事情，更具体地说是对谓词逻辑的判定问题。这一点我宁愿相信哥德尔1939年并没有想得很清楚，因为谓词逻辑不可判定这事，恐怕人脑也没辙。人脑和机器的差别，我们能如此天真地搞明白？

哥德尔在1951年的 Gibbs 讲座中，再次突出了图灵的贡献。他1968年给克雷塞尔的信中，强调：“But I was completely convinced only by Turing's paper.”哥德尔为丘奇−图灵论题提供了信用担保。但他本人又和丘奇和图灵的思路不完全一致。虽然哥德尔认可图灵的“机械过程”，但他不认为心理活动可以归约为机械过程。哥德尔认为图灵犯了“哲学错误”。哥德尔在1943年的普林斯顿演讲中提及可定义性概念“会涉及研究数学的人的心理学有关的数学之外的因素”。图灵机恰恰在这方面向前走了一大步。

1965年戴维斯在编辑重要文集 Undecidable 时，曾给哥德尔去信请教他对丘奇−图灵论题的看法，哥德尔在1965年2月15日给戴维斯的回信中明确地表明哥德尔1934的脚注并不构成丘奇论题，只是说明“有限计算过程”等价于递归过程。哥德尔认为人在计算时的状态是有限的，而人的整个发展经历的状态可能是无限的。

为什么不是珀斯特？
珀斯特在几位计算理论的先驱里最年长，名气却最小。但他是个先知，一个悲剧性人物。他是马丁•戴维斯(Martin Davis)在被称为“穷人的哈佛”的纽约城市学院(CCNY)读本科时的老师，戴维斯最终到普林斯顿随丘奇读了博士。珀斯特1921年在哥伦比亚取得博士学位后在普林斯顿做过一年博士后，那时丘奇在普林斯顿读本科。戴维斯和珀斯特都是犹太人，他们都感到普林斯顿那个年代对犹太人的不友好。戴维斯对珀斯特极为尊重，倒反而较少提到他的博士导师丘奇。

珀斯特迟到的名声很大程度上是因为戴维斯的推动。戴维斯编辑的文集 Undecidable，是可计算理论和理论计算机科学的重要早期文献的汇编，其中最值得看的是戴维斯为这些重要论文写的评注。这本文集被戴维斯题献给珀斯特。珀斯特一生都受心理疾病的困扰。他1921年的博士论文证明了《数学原理》中的命题逻辑的完全性和一致性，同时还对维特根斯坦和皮尔士的真值表做了梳理。这部分工作发表于《美国数学杂志》。珀斯特把句法推导的概念推广，得出了“产生式系统”(production system)，tag 系统是“产生式系统”的进一步简化。

最早在逻辑学之外利用产生式系统的是语言学家乔姆斯基，他从与他同年的戴维斯处了解到珀斯特的工作。乔姆斯基那篇现代语言学的开山之作“语言描述的三个模型” 中引用了数学家罗森布鲁姆(Paul C. Rosenbloom)的教科书《数理逻辑原理》(The Elements of Mathematical Logic)，其中正式地讲述了产生式系统。乔姆斯基这篇文章对计算机科学也有深刻影响。编程语言 Algol 中引入的 BNF (Backus Normal Form，巴克斯−诺尔范式)是计算机科学的重要工具，BNF 就受到了珀斯特产生式系统的启发。

王浩、寇克(John Cocke，因为 RISC 架构获图灵奖)和明斯基在1961-1963年间分别证明了2−tag 系统可以模拟图灵机。他们的工作让更多的数学家和逻辑学家重新审视珀斯特早期的工作。

1921年对珀斯特极其重要，也是在这一年他证明了罗素−怀特海《数学原理》的不完全性，这部分更重要的工作却没有发表。差不多此时，他开始受到心理疾病的困扰。1938年10月28日珀斯特见到了哥德尔，心中五味杂陈，第二天心情平静后给哥德尔写了个明信片，自嘲且苦涩地说：“如果我要是哥德尔的话，我在1921年就已经证明了哥德尔定理。”哥德尔的回复很客气，但哥德尔没有为他呼吁。珀斯特不甘心，许多年后，他把1921年的成果写成长文，题为“Absolutely unsolvable problems and relatively undecidable propositions−an account of an anticipation”，1941年投给《美国数学杂志》，但被拒稿了。1942年3月2日，杂志主编赫尔曼•外尔(Hermann Weyl)给珀斯特写了封语气同情但态度坚决的信，说“……但是，我们不能把时钟倒拨，《美国数学杂志》不是发表历史回顾的地方……” 。该文后来被收录在马丁•戴维斯1994年为珀斯特编辑的文集中。

他1936年和图灵同时且独立地提出了计算装置的数学描述：有限组合过程，他期盼有限组合过程可以被证明和哥德尔递归函数是等价的。他1936年的文章一共只有四页，第一页就明确给出了定义。珀斯特的盒子(box)就是图灵机纸带上的一个格子，worker 就是图灵机的有限自动机的head。其他操作几乎和图灵机一模一样，因为和图灵机太像了，后人也称之为珀斯特−图灵机器。注意，珀斯特的所谓 direction 不是方向，而是指令(instruction)。和图灵机略有不同的地方是，图灵机使用“内部状态”(internal conﬁguration)，而珀斯特直接用了指令。这也使得珀斯特机器更像当代的计算机。这启发了明斯基对计算理论的兴趣。王浩机其实就是对珀斯特机的某种改造。尽管戴维斯一直在为珀斯特发声，力图提升珀斯特的历史地位。但珀斯特1936年的文章确实不如图灵同年的文章详实、严谨。珀斯特并没有给出严格的证明，而图灵证明了图灵机等价于λ−演算。

值得指出，珀斯特反对把“论题”当作“定义”。如果把它当作定义，就会停止人们对这个问题的“不断探索”。正如 Davis 指出的，珀斯特不喜欢还原到“定义”或“公理”，更倾向还原到“自然定律”(natural law)。他认为丘奇等人的工作揭示了“智人数学化能力的局限”，而不只是机器的局限。

1921年，珀斯特错失了不完全性定理，而1936年他再次错失了“珀斯特论题”。珀斯特要么文章发表晚，要么文章没有提供足够的细节。图灵占尽天时地利人和。天时，图灵在发表文章前看到了丘奇的结果，他随后加了个附录，证明了图灵机和λ−演算的等价，而λ−演算和哥德尔递归函数的等价性已经被丘奇和克里尼证明，于是图灵机成为递归函数的替代品；地利，纽曼在剑桥给了图灵接触丘奇工作的机会；人和，哥德尔认可图灵机。

超计算：超越丘奇−图灵论题
丘奇−图灵论题的一个自然结果就是不可能存在比图灵机更强的计算装置。那么假设存在一种装置超越图灵机，会出现什么结果呢？新西兰逻辑学家杰克•寇普兰(Jack Copeland)利用“超计算”(hypercomputation)来指称在可计算性上超越丘奇−图灵论题的装置。注意，这和“超级计算”(super-computing)不同，超级计算是量变，而超计算是质变。有的人会用不同的术语指称“超计算”，例如彭罗斯就用“非算法”(non−algorithmic) ，还有人用“超图灵”(Trans−Turing或者 Super-Turing)。其实图灵本人就曾提出过 oracle (译为“神谕”或“天启”)的思想：一个图灵机可以问 oracle 任何问题。当 oracle 的能力超过图灵机时，这个图灵机就有了超计算的能力。oracle 的存在有理论的方便性，但具备超计算能力的 oracle 还都不存在物理实现的可能性。

一个最常被提及的超计算模型是实数计算模型 BSS ，BSS 分别是三位数学家名字的首字母(Lenore Blum，Michael Shub 和 Steve Smale)。BSS 的主要用途是为数值计算中的算法分析提供理论基础。BSS 模型的一个很大假设是，任意精度的实数四则运算可在单位时间内完成，这在数值分析中是有用而又方便的假设，但目前尚不知道如何在物理上实现这个。其实即使在数值分析之外，我们经常做类似的假设，例如，在排序算法分析中，任意精度的数(可能是实数)之间的比较是单位时间的。

BSS 和图灵机的本质区别可溯源到二十世纪三十年代初期。那时哥德尔证明了整数的一阶逻辑是不可判定的。但几乎在同时，塔尔斯基证明了实数的一阶理论(几何和代数)则是可判定的。我们可以说图灵机和 BSS 分别是哥德尔定理和塔尔斯基定理的计算体现。有些复杂性的性质，BSS 也和图灵机不同。比如线性规划在图灵机上被证明是多项式时间的，但在 BSS 上，复杂度是啥，目前不知道。如果在 BSS 上可以找到线性规划的多项式时间的话，在图灵机上就可以找到强多项式时间算法。这个问题被斯梅尔称为最重要的计算机科学的理论问题。

二十世纪八十年代初就有人证明三层以上的神经网络可以逼近任意连续函数。八十年代末期，史蒂夫•贾德(Steve Judd)在他的博士论文里证明了三层以上的神经网络学习问题在图灵机上是 NP 完全的。作者本人则证明了在 BSS 模型上，类似的神经网络学习问题等价于线性规划问题。目前各种神经网络学习算法都是工程，鲜有科学，神经网络算法多是些经验算法外加调参数，从业人员也多数没有计算理论的训练。在各种学习算法里，很少看到目前关于什么算法适合什么问题的理论指导。目前来看，BSS 模型没法物理实现，在某些情况下，可作为模拟计算看待。BSS 至少为简化带实数的算法分析提供了工具。

结语
物理学家费曼曾说人分两类，一类是懂了足够多的数学从而能够理解自然，还有一类则不是。这基本是所有物理科学家的共识，也就是说物理学为其他科学奠定基础，而自己的基础则是数学。逻辑学家曾经有过一个一厢情愿的想法，即逻辑为数学奠定了基础，但这个想法数学家们并不买账。王浩曾经对此失望并不解。那时，数学家普遍认为逻辑学家构造出来的问题太人为，和他们正在工作的问题关系不大。当珀斯特以及后来的苏联数学家们，如马尔可夫(Andrey Markov Jr.)  开始建立数学中具体问题和逻辑的关系时，大多数逻辑学家的注意力已经从数学转移，他们找到了新的服务对象：计算机科学。丘奇−图灵论题，作为逻辑学家的贡献，确实为计算机科学奠定了基础，并一直在直接或间接地推动计算机科学及其衍生学科(例如人工智能)的发展。这算是对逻辑学家们的安慰吧。

新古典经济学假设“完美理性”(perfect rationality)，后来又有司马贺的“边界理性”(bounded rationality)。拉塞尔(Stuart Russell)和诺维格(Peter Norvig)的人工智能教科书  套用了经济学和心理学的说法来给智能体(agent)做定义，“计算理性”(calculative rationality)对应“完美理性”，“有界优化” (bounded optimality)对应“边界理性”。于是经济学里的“理性人”，就变成了人工智能里的智能体。从计算理论的角度考虑，一个智能体就是图灵机，“计算理性”的边界就是可计算性，而“有界优化”的边界就是计算复杂性。

计算理论是新时代的通识。理论计算机科学家阿伦森(Scott Aaronson)苦口婆心地劝哲学家应该学一些计算理论。其实，在中学和大学中像教数学和物理一样，教计算理论的入门课，也未尝不可。逻辑、数学、物理为所有其他学问奠定了扎实的基础，计算理论为我们思考几乎所有问题划定了边界，有些人在边界里面做工程，还有些人试探边界是否有弹性。例如，“机器=人”，同意的一派和反对的一派之间的争辩会激励学问的进步。

恰恰因为丘奇−图灵论题，使得计算机科学比电气工程更加接近数学和物理学，也正因为同样的原因，使得计算机科学既不同于数学，也不同于物理学。图灵机在数学与物理，唯心与唯物之间建立了某种比以往任何时候都更令人踏实的桥梁。这也是为什么大家为图灵的贡献和故事所感动，即使是最冷酷的数学家。

作者: 公理力 时间: 2023-9-27 13:03

绝对不主流发表于 2023-9-27 12:56
战时强制通用波音之类公司生产低端军工品就是一道命令的事，哪有什么困难可言
你让华为生产3nm手机累死他 ...

那还是美国本土企业，当然方便。但让海外企业回国，就会面临很多具体问题。

而中国完整的工业制造体系，还是一种可见的优势，尽管某些领域与发达国家还有差距。

作者: 绝对不主流 时间: 2023-9-27 13:07
本帖最后由绝对不主流于 2023-9-27 13:10 编辑

公理力发表于 2023-9-27 13:03
那还是美国本土企业，当然方便。但让海外企业回国，就会面临很多具体问题。

而中国完整的工业制造体系 ...

生产哪需要回什么国啊，你这农耕思想咋这么重
美军在全球范围建了军事基地，如今菲律宾又允许美军驻扎，东南亚都成了他们的势力范围（越战没实现的战略部署，如今实现了），想生产啥就生产啥，甚至可以把组装车间放亚洲

作者: 公理力 时间: 2023-9-27 13:09

卖真方子的发表于 2023-9-27 12:41
各大基础学科里面，最难以被西方封锁的，就是理论数学。

但是，即便如此，前沿数学，依然是被封锁的。

所以啊，纯理论类的成果与应用类成果（包括软件算法类）还是不同。前者不会被封锁。

中国也在大力搞AI，算法类的应用技术也是重点

作者: 卖真方子的 时间: 2023-9-27 13:10

公理力发表于 2023-9-27 13:09
所以啊，纯理论类的成果与应用类成果（包括软件算法类）还是不同。前者不会被封锁。

中国也在大力搞AI ...

图灵在第二次世界大战末期，他的数学成果，被泄密给德国纳粹了？

作者: 公理力 时间: 2023-9-27 13:13

绝对不主流发表于 2023-9-27 13:07
生产哪需要回什么国啊，你这农耕思想咋这么重
美军在全球范围建了军事基地，如今菲律宾又允许美军驻扎， ...

你这类想法，还是建立在战争时期，美国仍能控制世界的基础上！

而这种前提下，连对美国的全面战争都不会爆发。

作者: 绝对不主流 时间: 2023-9-27 13:16

公理力发表于 2023-9-27 13:13
你这类想法，还是建立在战争时期，美国仍能控制世界的基础上！

而这种前提下，连对美国的全面战争都不 ...

能应付战争紧急情况，就不用和平时期破马张飞
你有伞不用天天拎着出门

作者: 公理力 时间: 2023-9-27 13:16

卖真方子的发表于 2023-9-27 13:10
图灵在第二次世界大战末期，他的数学成果，被泄密给德国纳粹了？

我前面说了，那还是应用类的，才有封锁保密的需要，那也是中国致力于发展的。

作者: 卖真方子的 时间: 2023-9-27 13:19

公理力发表于 2023-9-27 13:16
我前面说了，那还是应用类的，才有封锁保密的需要，那也是中国致力于发展的。

图灵对计算机科学的贡献，是“应用类”的？

真是佩服公副教授的发言勇气。

丘奇−图灵论题(Church−Turing Thesis)断言：图灵机是最广义的计算装置。丘奇−图灵论题有时也称图灵论题，是计算机科学的基石，它之于计算机科学，宛如公理之于几何学，牛顿定律之于物理学。计算理论的缘起就是丘奇−图灵论题的形成过程。费曼说微积分是上帝的语言。如果我们把第一次工业革命，归因于机械和能量，贴上牛顿的标签，而把当下正在经历的第四次工业革命归因于信息和计算；那么，上帝的语言该改成图灵机了。至少，英国50英镑钞票的头像刚刚从瓦特换成了图灵。

作者: 公理力 时间: 2023-9-27 13:19

绝对不主流发表于 2023-9-27 13:16
能应付战争紧急情况，就不用和平时期破马张飞
你有伞不用天天拎着出门

你认为美国会愿意把航母、核动力舰艇这类关键技术放在海外吗？

作者: 公理力 时间: 2023-9-27 13:26

卖真方子的发表于 2023-9-27 13:19
图灵对计算机科学的贡献，是“应用类”的？

真是佩服公副教授的发言勇气。

我不是搞数学研究的，没兴趣搞那么具体的了解。

问题很简单，如果那是一种值得保密和封锁的数学成果，那就意味着具有直接应用价值。也就可以看成应用类成果。中国当然不会忽视。

假如那是纯理论性成果，没有直接应用价值，又有什么理由去保密、封锁呢？

作者: 卖真方子的 时间: 2023-9-27 13:32

公理力发表于 2023-9-27 13:26
我不是搞数学研究的，没兴趣搞那么具体的了解。

问题很简单，如果那是一种值得保密和封锁的数学成果， ...

我不是搞数学研究的，没兴趣搞那么具体的了解。

问题很简单，如果那是一种值得保密和封锁的数学成果，那就意味着具有直接应用价值。也就可以看成应用类成果。中国当然不会忽视。

假如那是纯理论性成果，没有直接应用价值，又有什么理由去保密、封锁呢？

——————————————————————————

理论数学的成果=马上可开发的军事技术的理论基础+未来可开发的军事技术的理论基础。

图灵事实上已经在第二次世界大战末期，用他的被保密的数学成果，为美国军方开发出了密码破译机，并且破译了德国纳粹的最高级电报密码。

我不知道公副教授，在争论些什么？

作者: 公理力 时间: 2023-9-27 13:34
本帖最后由公理力于 2023-9-27 13:50 编辑

卖真方子的发表于 2023-9-27 13:02
为什么是图灵——计算理论的缘起
数学与通识
2023-05-30 05:00

这里粘贴的特定主题的内容太长了！即使你单独发，恐怕也不会有人读下来。

全文放在这里，没有任何正面意义，反而影响大家正常看帖、回帖。请你编辑掉，可用简介取代。

作者: 公理力 时间: 2023-9-27 13:36

卖真方子的发表于 2023-9-27 13:32
我不是搞数学研究的，没兴趣搞那么具体的了解。

问题很简单，如果那是一种值得保密和封锁的数学成果， ...

我上面说的两种情况，你认为该成果属于那种呢？

作者: 公理力 时间: 2023-9-27 13:41

知音发表于 2023-9-27 13:00
心理学上说，蓝色能让人静下心来。
还有，出门聚会尽量少穿黄色，容易遭人妒忌。

哦，如果没记错的话，黄色系好像有助于食欲吧？

作者: 绝对不主流 时间: 2023-9-27 13:43

公理力发表于 2023-9-27 13:19
你认为美国会愿意把航母、核动力舰艇这类关键技术放在海外吗？

技术是分密级的，航母上的冰箱显示器电磁炉在哪生产都行，而舰载机可以在日本生产，早有协议，而航母上的双波段相控阵雷达瑞典SAAB生产的，就是那个绅宝汽车厂家，也叫萨博

作者: 绝对不主流 时间: 2023-9-27 13:50
宫里立教授，你知道的实在有限，就别把自己的所见冠上“真相”的名头了

作者: 公理力 时间: 2023-9-27 20:18

绝对不主流发表于 2023-9-27 13:50
宫里立教授，你知道的实在有限，就别把自己的所见冠上“真相”的名头了

呵呵，我主帖就说得明白，任何人不认公某眼中的真相都可以。

但是，就你不主流这类认知而言，何止是远离真相，你们总体上长期声言的东东，不幸的是，与章家敦之流没有实质区别！

如果说你们是章家敦的徒子徒孙，算冤枉的话，至少你们是下意识的章家敦的同类。{:4_134:}

作者: 绝对不主流 时间: 2023-9-27 20:24

公理力发表于 2023-9-27 20:18
呵呵，我主帖就说得明白，任何人不认公某眼中的真相都可以。

但是，就你不主流这类认知而言，何止是远 ...

说话严谨一点，知道你自己无知，就别大咧咧称你所知为真相

作者: 公理力 时间: 2023-9-27 20:30

绝对不主流发表于 2023-9-27 13:43
技术是分密级的，航母上的冰箱显示器电磁炉在哪生产都行，而舰载机可以在日本生产，早有协议，而航母上的 ...

我问你的只是关键技术，你提其它，浪费时间。

至于你提到的某个产品在美国以外生产问题，并非都是美国的布局，而是美国自家生产不占优势，或者本来就是他国的技术优势，典型的例子如荷兰的光刻机。

作者: 公理力 时间: 2023-9-27 20:31

绝对不主流发表于 2023-9-27 20:24
说话严谨一点，知道你自己无知，就别大咧咧称你所知为真相

哈哈~，至少比你严谨了一个数量级，就包括这里的“真相”问题 {:4_134:}

作者: 绝对不主流 时间: 2023-9-27 20:38

公理力发表于 2023-9-27 20:31
哈哈~，至少比你严谨了一个数量级，就包括这里的“真相”问题

对了，你马上就要成为中国驻美国的第一任特首，等俘获美国航母后你就可以上任
到那时候你可别一天到晚像现在这样嘚儿呵的

作者: 公理力 时间: 2023-9-27 20:40

卖真方子的发表于 2023-9-27 13:32
我不是搞数学研究的，没兴趣搞那么具体的了解。

问题很简单，如果那是一种值得保密和封锁的数学成果， ...

早就提醒你，46楼贴那种超长的东西，明显影响他人看帖、回帖，好好给你说，建议你换成简介，你咋还置若罔闻了呢？
这种事儿，本来就该自律，无需提醒，是有修养者在论坛上起码规矩和礼貌。

你这算咋回事？非要请版主出面吗？

作者: 公理力 时间: 2023-9-27 20:49

绝对不主流发表于 2023-9-27 20:38
对了，你马上就要成为中国驻美国的第一任特首，等俘获美国航母后你就可以上任
到那时候你可别一天到晚像 ...

不止是一味唱衰与真相不沾边，盲目乐观也与公某这种罕见的真知灼见不是一回事

作者: 卖真方子的 时间: 2023-9-27 20:54

公理力发表于 2023-9-27 20:40
早就提醒你，46楼贴那种超长的东西，明显影响他人看帖、回帖，好好给你说，建议你换成简介，你咋还置若罔 ...

你这算咋回事？非要请版主出面吗？

————————————————————

你这算是”认怂“，要请帮手吗？

”坛宠“？

哈哈

作者: 公理力 时间: 2023-9-27 21:08

卖真方子的发表于 2023-9-27 20:54
你这算咋回事？非要请版主出面吗？

————————————————————

你这是典型的给脸不要脸，还耍上无赖了？

你在他人主帖后贴那种超长的东西，这是缺乏起码的修养和礼貌！

你一把岁数的人了，这点简单的道理都不懂？

还他么有脸提“认怂”？你有半点自知之明吗？你就一开口就自相矛盾，主帖标题都是语病的主儿，哪次赏你个主帖，没让你狼狈不堪？

作者: 河海森林 时间: 2023-9-27 21:16
突飞猛进

作者: 公理力 时间: 2023-9-27 21:27

河海森林发表于 2023-9-27 21:16
突飞猛进

中国一些领域的发展速度，用这个词，一点都不夸张

欢迎光临北斗六星网 (http://bdlxbbs.top/)