第·阶段：史前期 http://robolab.sjtu.edu.cn 冬数理逻辑 ■爱尔兰数学家布尔(Geor ge B001e,1815-1864)发明了布尔 代数，将逻辑学由哲学变成了数 学。将符号语言与运算结合，可 表示任何事物，为逻辑推理建立 了严密的形式语言。 15 RIR.SJTU数理逻辑  爱尔兰数学家布尔（George Boole,1815-1864）发明了布尔 代数，将逻辑学由哲学变成了数 学。将符号语言与运算结合，可 表示任何事物，为逻辑推理建立 了严密的形式语言。 15 http://robolab.sjtu.edu.cn RIR.SJTU 第1阶段：史前期