汉语是联合国官方正式使用的 6 种同等有效语言之一。请不要歧视汉语！

Chinese is one of the six equally effective official languages of the United Nations.

Not to discriminate against Chinese, please!

[道德经，自然运算，恸哭] “道可道非常道”与“自然运算”的计算机整机理论模型

术语 terminology / terminologies

老子： Laozi, Master Lao, Old Master

道德经： Daodejing, Tao-te Ching, Classic of the Way of Power

自然运算： natural operation

图灵机： Turing machine

丘奇-图灵假设，丘奇-图灵论题： Church-Turing thesis

老子画像，求作者？

https://news.cgtn.com/news/7851544e7749444d3051444f33496a4e32496a4e31457a6333566d54/img/7a6f28341640468eacabf95c6f4c1f09/7a6f28341640468eacabf95c6f4c1f09.jpg

   根据有关部门的要求，正在学习陈怡教授（东南大学）的视频课《《道德经》的思想精髓与价值》。

一、《道德经》的第一句话，就把我看哭了！

   道，可道，非常道（言不尽意）；

   名，可名，非常名（名不副实）。

新浪悠嘻猴（泪奔）.gif

视频学习过程中的一些截图：     

（1）

（2）

（3）

（4）

   “道”，表示“本源”。

   傻居然选择了“规律”。这是“弱化”了道的含义。罪过，罪过！

   原本傻是知道【“道”，表示“本源”】的，现在居然忘了。一看正确答案，又想起来了。唉！

二、“章节测验”做错的根源是什么？

   我几十年前都知道的“正确答案”，为什么现在却选错了？

   是不是“抽象逻辑思维”对我的伤害？把“本源”简化为“规律”？

   假如是这样的话，一定要突破“丘奇-图灵假设，丘奇-图灵论题： Church-Turing thesis”的局限性。

   多年之前，我就怀疑“丘奇-图灵假设，丘奇-图灵论题： Church-Turing thesis”作为文化背景误导了“P 对 NP”的研究：

https://idea.cas.cn/viewdoc.action?docid=1275

2011-08-30 23:51，“P对NP”难题研究的形转换新思路

丘奇-图灵论题（Church-Turing Thesis），可能误导了 “P vs NP”的研究。一些陆续思考的要点如下：

（1）证明的实质：

逻辑方法（特别是演绎推理）的局限性，在古希腊时期就认识到了。如芝诺饽论。

但是，随着西方近代科学的发展，主流数学界又似乎忘了。

所以才有：

① 希尔伯特的形式化方案（约在1917 ~ 1927年），

② 哥德尔1931年的不完全性定理，出现后才是多么的惊人，

③ 居然忽视了“证明”（目前仍然依靠逻辑来进行）的相对性。

（2）丘奇-图灵论题，是“希尔伯特的形式化方案”的一个具体应用，依然信奉“万物平等”这个片面性的信念。

（3）当在实践中“P vs NP”被观察到时，有关的“证明”没有找到“不平等”的具体工具，所以一直证明不出来。如“对角线法”的理解与使用可能不当。直接诱因可能是对 ZFC 的理解。

（4）哥德尔、柴廷的定理，实质上是反对“丘奇-图灵论题”的。其实柴廷定理已经说得再清楚不过了。

（5）孔子的“工欲善其事必先利其器”，

老子的“故以身观身，以家观家，以乡观乡，以邦观邦，以天下观天下。吾何以知天下然哉？以此。”

当然还有古希腊的“芝诺饽论”等，

直接启发了我的“完全证明”。

以上思考，敬请您的批评指正！

相关链接：

[1] Proof. A.S. Kuzichev (originator), Encyclopedia of Mathematics.

http://www.encyclopediaofmath.org/index.php?title=Proof&oldid=18441

[2] Church thesis - Encyclopedia of Mathematics

http://www.encyclopediaofmath.org/index.php?title=Church_thesis&oldid=35574

[3] Church's thesis | mathematics | Britannica.com

https://global.britannica.com/topic/Churchs-thesis

[4] Gödel incompleteness theorem. Encyclopedia of Mathematics.

http://www.encyclopediaofmath.org/index.php?title=G%C3%B6del_incompleteness_theorem&oldid=23314

[5] Gregory J. Chaitin. Information-Theoretic Computational Complexity. IEEE Transactions on Information Theory, 1974,  IT-20 (1): 10-15

[6] ZFC, Zermelo–Fraenkel set theory with the axiom of choice

ZFC. Akihiro Kanamori (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=ZFC&oldid=19298

[7] 杨正瓴，第二类计算机构想. 中国电子科学研究院学报, 2011, 6(4): 368-374.

Conception of the second class computer. Journal of China Academy of Electronics and Information Technology, 2011, 6(4): 368-374. (in Chinese)

http://mall.cnki.net/magazine/Article/KJPL201104010.htm

2016-10-02 16:59

三、“自然运算”与“道”

   “自然运算”在计算机整机方面的目的之一，是将“大自然自身就是一种运算”转化为符合人类目的的具体科技方法。

   “道”的某些具体化的表现，可以解释为一种“运算/信息过程”。

   从“道”的含义看，图灵机（Turing machine）这是对“道”的一种十分狭隘或弱化的反映。

   除了抽象逻辑思维左为，人类还具有“具体思维 concrete thinkin”能力，如形象思维、动作思维等。

   “思维与存在的同一性 identity of thinking and being”是目前自然运算的一个具体思路。

   没有时间写博文了。赶紧接着看《《道德经》的思想精髓与价值》吧！

参考资料：

[1] 2023-01-26，老子/Laozi/王博，中国大百科全书，第三版网络版[DB/OL]

https://www.zgbk.com/ecph/words?SiteID=1&ID=400155&Type=bkzyb&SubID=201731

[2] 《老子》，又称《道德真经》《道德经》《五千言》《老子五千文》，古诗文网

https://so.gushiwen.cn/guwen/book_46653FD803893E4F33D126D4A6B656E2.aspx

[3] 2022-03-23，思维/thinking/王甦，中国大百科全书，第三版网络版[DB/OL]

https://www.zgbk.com/ecph/words?SiteID=1&ID=26498&Type=bkzyb&SubID=42597

[4] 2023-06-02，思维与存在的同一性/identity of thinking and being/仲佰，中国大百科全书，第三版网络版[DB/OL]

https://www.zgbk.com/ecph/words?SiteID=1&ID=727619&Type=bkzyb&SubID=137881

[5] 2022-01-20，具体思维/concrete thinking/王甦撰、姚翔修订，中国大百科全书，第三版网络版[DB/OL]

https://www.zgbk.com/ecph/words?SiteID=1&ID=26666&Type=bkzyb

   动作思维是借助动作进行的思维活动，不是人类所独有的，高等动物特别是灵长类动物都具有。

   成人在日常工作和生活中都会应用动作思维和形象思维。例如，工程技术人员在检修和安装机器设备时，需要运用动作思维来认识机器部件之间的关系。

   因为成年人的抽象思维发展水平很高，所以他们的动作思维和形象思维也具有高度的概括性。

[6] Lenore Blum, Mike Shub, Steve Smale. On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines [J]. Bulletin (New Series)o of the American Mathematical Society, 1989, 21(1): 1-46.

DOI: 10.1109/SFCS.1988.21955

https://www.ams.org/journals/bull/1989-21-01/S0273-0979-1989-15750-9/S0273-0979-1989-15750-9.pdf

https://www.icsi.berkeley.edu/icsi/node/2227

[7] 2023-10-17，模拟计算机/analog computer/陈文光，中国大百科全书，第三版网络版[DB/OL]

https://www.zgbk.com/ecph/words?SiteID=1&ID=207401&Type=bkzyb&SubID=81428

   模拟计算机是计算机的一种实现形式，利用机械、液压、电子等连续变化的物理量来表示数据，通过模拟的方式完成计算，解决问题。

[8] Roger Sperry. Some effects of disconnecting the cerebral hemispheres [J]. Science, 1982, 217(4566): 1223-1226. 

DOI:  10.1126/science.7112125

https://www.science.org/doi/10.1126/science.7112125

   They were largely spatial and imagistic, the kind in which a single picture or mental image is worth a thousand words.

[9] Roger Sperry, 张尧官, 方能御. 分离大脑半球的一些结果[J]. 世界科学, 1982, (9): 1-4,64.

https://wwwv3.cqvip.com/doc/journal/998366574

https://kns.cnki.net/kcms2/article/abstract?v=sf24_f5fySZwCreaXsf5dNbTdu6nAQHkiIpWaYWpKkmSsLbzCn6CvJSyUuu-J8yY96Us-_0VqHIqoOxZHPrttAp8cMAZdfb9_Oh_WxOisGGpcRB6qAVMLzWXqN14gLi3bor-Zpvh3BM=&uniplatform=NZKPT&language=CHS

[10] 张尧官, 方能御. 1981年诺贝尔生理学、医学奖获得者罗杰·渥尔考特·斯佩里[J]. 世界科学, 1982, (1): 47-49.

https://wwwv3.cqvip.com/doc/journal/1002209295

https://kns.cnki.net/kcms2/article/abstract?v=sSXGFc3NEDITNVRmMvOxPjsvkQKQYbwtKdyEjHiqc1BAMlCrIAGsWe4QXYV1_DTZVW7qMGf5xoWj02BVtV1bLoR7Inte6i5YvABfeRVZXTMkkrPIzLtsl3wrqB87_raOoWOVuSoHR6Q=&uniplatform=NZKPT&language=CHS

相关链接：

[1] 2024-01-05，[笔记，请教，原创] “自然运算”信息设备的一般理论模式

https://blog.sciencenet.cn/blog-107667-1416810.html

[2] 2023-12-27，[笔记，请教，原创] “自然运算”有什么创新？

https://blog.sciencenet.cn/blog-107667-1415592.html

[3] 2023-12-29，[打听，小资料] “选择公理”与“物理符号系统假设”

https://blog.sciencenet.cn/blog-107667-1415874.html

[4] 2024-01-04，[请教，讨论] 什么是超过“图灵机”能力的更强的计算机？

https://blog.sciencenet.cn/blog-107667-1416691.html

[5] 2021-12-28，Zenas 公理：太上老君在《道德经》里的有关表述？

https://blog.sciencenet.cn/blog-107667-1318528.html

[6] 2023-07-02，[好书推荐] 王宪钧教授的《数理逻辑引论》

https://blog.sciencenet.cn/blog-107667-1393769.html

   《第三篇 数理逻辑发展简述》里的《第六章 歌德尔定理 数理逻辑发展的第三阶段》有“丘奇论题不能在数学理论里证明，不是一个数学定理。它只是说明，某些数学理论是一特定直观概念的严格的数学描述。”

   这就打破了对“丘奇论题”的迷信。在此之前，还以为“丘奇论题”是当朝天子圣旨，“违令者斩”呢！

[7] 2022-08-04，[科普小资料，复习] 人脑的左右脑功能；思维的分类；多元智力理论

https://blog.sciencenet.cn/blog-107667-1349942.html

[8] 2023-12-25，[原创有多难] 饺子汤 （关联"P对NP, P vs NP, P versus NP"的答案）

https://blog.sciencenet.cn/blog-107667-1415335.html

感谢您的指教！

感谢您指正以上任何错误！

感谢您提供更多的相关资料！