数学机械化的意义 ·脑力劳动的机械化 一提高计算效率，用计算机代替人的劳动，完成人类很难完成的计算 量 ·解一元高次方程、因式分解 ·四色定理的证明数学机械化的意义 • 脑力劳动的机械化 – 提高计算效率，用计算机代替人的劳动，完成人类很难完成的计算 量 • 解一元高次方程、因式分解 • 四色定理的证明