|
人类智能的基础是“形象思维”,就算是猫🐱,也可以进行形象思维(我曾经亲眼目睹一只流浪猫埋伏在一个老鼠🐭洞口,猜测在猫🐱的大脑中,早已预演过老鼠🐭出洞后的形象过程)。
人类的逻辑思维,实际是建立在自己形象思维基础上的,例如,人类需要借助“点,线,角”等几何图像辅助进行平面几何问题的逻辑推理;在吴文俊教授发展的计算机证明平面几何问题系统,所谓数学机械化系统中,根本就不需要电脑有任何平面几何图形信息,只需要有抽象的平面几何公理表达,就可以在电脑系统中展开平面几何的系统性逻辑推理。
怎样赋予电脑系统以形象思维能力——应该是让电脑系统真正能够像人一样思维的基础。
让电脑系统可以像猫🐱一样,预演老鼠🐭出洞的情景,人工智能就真正上路了。
爱因斯坦在创造狭义相对论、广义相对论的过程中,都是形象思维领先于逻辑思维(数学推导)的。
有了维恩图的帮助,人们才能更好明确基本的数理逻辑关系;在维恩图面世之前,我猜测:人们实际上也是靠内心中的维恩图这样的形象思维关系,建立基本的数理逻辑关系概念的。
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2025-6-6 02:27
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社