数学机械化的历史
吴文俊传

        所谓机械化,吴文俊说:“无非是刻板化和规格化。机械化的动作由于简单刻板,因而可以用机器来实现,又由于往往需要反复千百万次,超出了人力的可能,因而又不能不让机器来实现。”所谓数学机械化,即对一类定理提供一种统一的方    （共 2747 字）     [阅读本文] >>