数学课题求解中人机相互作用的方法论问题

几百年来,技术拓广了人的物理能力,现在又在扩大人的逻辑和数学“本领”。现代的电子计算机,“学会了”象做算术题那样进行分析运算,即能使用数学符号来简化代数公式,求微分,算出初等函数的不定积分,求解微分方程,证明定理。而这就提出了一系列需要辩证而唯物地加以理解的认识论问题。其中包括如何组织人机之间的对话问题。美国作者中流传一种见解,认为人和电子计算机之间有四种相互作用的形式:没有电子计算机的人(千百年来就曾经是这样),使用电子计算机的人,“没有人的”计算机和“反对人的计算机”。