数学机械化的历史

所属栏目:吴文俊传

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


推荐内容


人物

更多