數(shù)學(xué)機(jī)械化的歷史
吳文俊傳

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