博文

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

已有 2470 次阅读 2023-12-29 22:04 |个人分类:集成电路（资料）|系统分类:科研笔记

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

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

Not to discriminate against Chinese, please!

“什么伟大谦虚，在原则性问题上，从来没有客气过。”

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

我不愿意揭露别人的短处。但是出于对真理负责，也出于对人类科技进步的考虑，隐讳不是好主意。

下面主要用于自己整理研究思路。感谢您的指教！

您的指教，将使我今后少走弯路！！

Herbert Simon (esquerda) e Allen Newell (direita) Herbert-Simon-e-Allen-Newell-1.jpg

图1 Herbert Simon (esquerda) e Allen Newell (direita)

赫伯特·西蒙（右）和艾伦·纽厄尔（左）

https://www.otimifica.com.br/wp-content/uploads/2021/11/Herbert-Simon-e-Allen-Newell-1536x864.jpg

https://otimifica.com.br/inteligencia-artificial/

艾伦·纽厄尔 Allen Newell, 1927-03-19 ~ 1992-07-19

1975年A.M.图灵奖

https://amturing.acm.org/award_winners/newell_3167755.cfm

赫伯特·西蒙（司马贺） Herbert Alexander Simon, 1916-06-15 ~ 2001-02-09

1978年诺贝尔经济学奖，1975年A.M.图灵奖

https://amturing.acm.org/award_winners/simon_1031467.cfm

https://www.nobelprize.org/prizes/economic-sciences/1978/summary/

一、“自然运算”的理论模式，似乎不能用符号有效表示出？

想看看“自然运算”对应“计算机整机”层次，有没有“统一的理论性模式”。

从斯佩里（Roger Wolcott Sperry, 1913-08-20 ~ 1994-04-17, The Nobel Prize in Physiology or Medicine 1981）的研究结果看：

https://www.nobelprize.org/prizes/medicine/1981/sperry/facts/

具体思维（concrete thinking），很难用文字、符号来充分有效的表示出。这似乎意味着：没有优美的数学公式，可以表示形象思维与动作思维。自然，也不存在“用符号和公式”表示的“自然运算”的理论模式？

网上看到了“知乎”里的“超计算（Hyper computation）模型”，很受感动！

作者列出的超计算（Hyper computation）模型有：

A. 谕示机. （Oracle Machine）

B. Blum–Shub–Smale machine.

C. 量子计算机.

D. 相对论时间效应.

E. 封闭类时曲线计算机.

F. 我们熟知的神经网络：前提是具有无限精度。

G. 无限时间图灵机.

H. 模糊图灵机.（Fuzzy Turing Machine）

I. 广义相对论中的 Malament-Hogarth 时空.

J. 芝诺机（Zeno Mchine）.

L. Active Element Machine.

M. Self-similar cellular automata.

N. 极限递归.

O. 演化计算机.

P. 波计算机.

Q. 超递归算法（Super-recursive algorithm）.

R. 量子引力计算机.

S. Coupled Turing Machines.

T. 量子模型.

U. 量子模型二.

V. Hypertask 模型.

W. 快子模型.

于是，忽然想起来全才司马贺（Herbert Alexander Simon, 1916-06-15 ~ 2001-02-09）等人的“物理符号系统假设/physical symbol system hypothesis”了。

二、数学基础《集合论》里的“选择公理 axiom of choice”

One of the axioms in set theory. It states that for any family F of non-empty sets there exists a function f such that, for any set S from F, one has f(S)∈S (f is called a choice function on F). For finite families F the axiom of choice can be deduced from the other axioms of set theory (e.g. in the system ZF).

https://encyclopediaofmath.org/wiki/Axiom_of_choice

【机器翻译】集合论中的一个公理。它指出，对于非空集的任何族F，存在一个函数f，使得对于来自F的任何集S，都有f(S) ∈S（f称为F上的选择函数）。对于有限族F，选择公理可以从集合论的其他公理中推导出来（例如在ZF系统中）。

三、心理学中的“物理符号系统假设/physical symbol system hypothesis”

物理符号系统假设/physical symbol system hypothesis：

由美国A.纽厄尔和H.A.西蒙提出。物理符号系统假设认为，计算机是一个物理符号系统，具有对符号进行操作的功能，也就是说，凡是能用符号表示的事物和状态都能由计算机进行运算。人脑内的表征、概念等及其信息加工过程也是对符号的操作，因而也可以将人脑看作一个物理符号系统。通过这种假设，原来认为是抽象的脑内的心理活动，就可以用处理物理符号的计算机系统的同样模型来加以探讨。

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

认知革命/revolution of cognition：

20世纪50～60年代，A.纽厄尔和H.A.西蒙把人类所具有的概念、观念、表征等脑的内部过程看作物理符号过程，将人脑看成是一个物理符号系统。计算机也是一个物理符号系统，其工作原理是对磁场的模式或符号进行操作。任何物理事件只要能用符号形式表示，就能用计算机模拟出来。

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

四、[请教] “选择公理”和“物理符号系统假设”有联系吗？

忽然觉得二者之间有某种“相似性”。

真的吗？

参考资料：

[1] Axiom of choice. Encyclopedia of Mathematics.

https://encyclopediaofmath.org/wiki/Axiom_of_choice

[2] ZFC. Encyclopedia of Mathematics.

https://encyclopediaofmath.org/wiki/ZFC