计算机辅助思维

出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第158页（1355字）

计算机在特定条件下可以模拟人的某些思维活动，代替人的部分脑力劳动，我们把计算机的这一功能称作计算机辅助思维。

如计算、推理、图象识别、信息处理、过程控制等。随着计算机技术的进展，它的功能又有所增加，出现了专家系统、机器翻译、定理证明、问题求解、模式识别、语言理解等。

对计算机辅助思维的研究，可以一直追溯到17世纪的莱布尼茨。莱布尼茨是数理逻辑的创始人，是他最早提出用数学符号来表示概念和判断，并提出用计算机代替思维。就是把逻辑推理变成数学演算，设想制造“推理计算机”。可见，计算机从一开始就同思维有着密不可分的关系。

最能集中代表计算机辅助思维的人工智能(计算机模似人脑的功能)的研究，至今已有30多年的历史。

1954年，谢泼德和拉比瑙首先制成了光学自动图象识别器。

1956年，人工智能的创始人之一美国的着名学者西蒙等人，首创能够证明数学定理的逻辑理论机。1959年，美籍华人数理逻辑学家王浩用计算机花了9分钟的时间，就证明了罗素和怀特海的数学巨着《数学原理》中的几百条定理。1963年，西蒙在计算机上一次证明了《数学原理》第二章中全部的52个定理。1976年，美国数学家阿佩尔等人用计算机证明了百年难题“四色猜想”。

1979年，美国卡基——梅农大学的蓝利BACDN系统重新发现了欧姆定律、刻卜勒第三定律等十几个老定律。1980年，我国的吴文俊教授用微机得出了两个几何学新定理。刘尊全和秦朝斌用计算机推导出一个微分方程的新公式。

近些年来人们对专家系统的研究，使人们看到了人工智能的光辉前景。80年代，日本提出了研制第五代计算机的计划，到90年代初将研制出样机，实现计算机的人工智能化。所以，第五代计算机又可以看作是第一代智能机。

智能机的出现将是一次新的技术革命。这种新型的计算机，不仅能以已有知识为基础进行学习和推理，而且还能直接输入和处理自然语言、声音、文字和图象等各种信息。从这一意义上讲，新一代计算机本质上是知识处理机。

研究计算机辅助思维有重要的哲学意义：

(1)创造性思维可用计算机模拟

(2)计算机辅助思维可以使人的认识从定性过渡到定量。任何事物都是质和量的统一，没有定量分析，对事物就不可能有精确的认识，也就不可能有严密地思考和决策。恩格斯早就指出：数学是“辩证的辅助工具和表现方式”。

人们只有借助计算机，才能迅速准确地处理各种数据，才能用数学的方法来刻划和描述事物的性质和规律，使精确的思考和决策建立在精密的定量分析上，实现认识从定性向定量的过渡。

(3)它可以使人类思维的逻辑推理发展到自动化的新阶段。人类的思维是按逻辑的格来进行判断推理的。如果利用计算机根据事先编制的逻辑程序来进行计算、判断、推理，不仅速度快且准确性高，无主观随意性。无疑，这对人类的认识形式是一次革新，有着重要的理论意义和实践意义。