|
1985年2月11日 洪加威同志，马希文同志： 上次您二位来谈，马希文同志说到巨型机发展的并行运算会对智能机有用，对我有启发，我一直在想。现在见到希文同志在《哲学研究》1985年1期上的文章，更想到1981年5期的文章，似有所得，陈述如下，请教： 我以前知道的逻辑学是单调逻辑，不管推理过程有多长，都是呈现线型的，接不上别的推理串。所以我曾把逻辑思维（即抽象思想？）称作是线型的。现在才知道有非单调逻辑，推理可以从一条线接到另一条线，有交叉，接成网了。这就不是线型的了，扩展为平面的了，“一维”变“二维”。我以前曾把形象（直感）思维称作是面型的。 这样一来，推理就形成了一个系统，只不过这个系统不是用多元代数联立方程或多元联立微分方程来表达的，而是用逻辑符号来表达的。用多元代数联立方程或多元联立微分方程表达的系统是可以表现出许多特别的功能的，这是我说的系统学（H.Haken称为“协同学”，synergeha）；那么逻辑符号表达的系统也有可能表现出单调逻辑那种线型思维所没有的功能。这就可能是智能，是直感，是创造！ 我们研究智能，这才是关键! Fuzzy reasoning不见得是真正的途径！我们要建立逻辑系统学。（这个系统的观点，在人工智能工作也已有苗头了）。 以上想法可能是胡说，请二位指教。 此致 敬礼 钱学森 1985.2.11 请参考拙作238,263页 注文：H.Haken：Hermann Haken，赫尔曼·哈肯（1927-），德国物理学家，协同学的创始人。 1985年6月6日 洪加威教授： 当您看到这封信时，中国计算机学会的一系列会议大概告一段落。我对我国计算机界在涿县会议上的表现很失望：缺乏明确的指导思想，中国的计算机事业真令人担心！ 核心是缺少有才华的理论指导：在六十年末我国电子计算机界就因看不到软件技术的作用，而失误了；今天呢？还是落在人家后面一大截而自己又不感觉到！ 所以我认为一定要抓理论，必须有理论的指导；理论指导实践，实践≠实理论！当前智能机的理论——思维科学，一定要抓上去。 这方面您做了很好的工作。但我也不太满意，因为您只讲上限，太保险。我们要找窍门。您的工作是否有点像Klee及Minty对线性规划理论出的难题，把最怪、最偏的情况作为主题了，所以说是NP的。我以前提议用网络、用协同学，也是模拟人脑，找窍门嘛！您为什么不考虑网络？（请读金观涛：《逻辑悖论和自组织系统》，《自然辩证法通讯》1985年2期，7页）。 理论一定要为实际造智能机服务。不能只为出论文。 您以为如何？ 此致 敬礼！ 钱学森 1985.6.6 注文：NP：Nonlinear Programming，译为“非线性规划”。
|
|
|
