數(shù)學機械化的歷史

所謂機械化,吳文俊說:“無非是刻板化和規(guī)格化。機械化的動作由于簡單刻板,因而可以用機器來實現(xiàn),又由于往往需要反復千百萬次,超出了人力的可能,因而又不能不讓機器來實現(xiàn)?！彼^數(shù)學機械化,即對一類定理提供一種統(tǒng)一的方 ......（本文共 2747 字 ）     [閱讀本文] >>