Toward Mechanical Mathematics的意思|示意

美 / / 英 / /

机械数学


Toward Mechanical Mathematics的网络常见释义

走向数学的机械化 特别的是,他第一次明确提出走向数学的机械化(Toward Mechanical Mathematics)。1976年,美国两位年轻的数学家在高速电子计算机上耗费1200小时的计算时间,证明了四色定理,使数学家们100年来未能解决的难题得...