第阶段：史前期 http://robolab.sjtu.edu.cn 冬数理逻辑 德国哲学家、数学家、物理学家 莱布尼茨(Leibnitz,1646-1716) 认为，可以建立一个普遍符号系 统，和逻辑演算，由此可以制造 一台机械装置，可以完成推理或 者理解过程。他幻想：每当哲学 家们有了分歧，不必争论不休， 只要“计算一下，谁对谁错，只 要看一下计算结果便知” 9 RIR.SJTU数理逻辑  德国哲学家、数学家、物理学家 莱布尼茨（Leibnitz,1646-1716） 认为，可以建立一个普遍符号系 统，和逻辑演算，由此可以制造 一台机械装置，可以完成推理或 者理解过程。他幻想：每当哲学 家们有了分歧，不必争论不休， 只要“计算一下，谁对谁错，只 要看一下计算结果便知” 9 http://robolab.sjtu.edu.cn RIR.SJTU 第1阶段：史前期