爾諾等很多聞名數(shù)學(xué)家都受他開(kāi)導(dǎo)或以他的研究為出發(fā)點(diǎn)之一 ，最新隊(duì)得到一系列主要結(jié)果 。世紀(jì)年月前期 ，最新隊(duì)吳文俊開(kāi)創(chuàng)了極新的數(shù)學(xué)機(jī)械化范疇 ，他提出的用計(jì)較機(jī)證實(shí)幾何定理的吳要領(lǐng)被以為是主動(dòng)推理范疇的前驅(qū)性事情 。由于這項(xiàng)事情，他得到了年的邵逸夫數(shù)學(xué)獎(jiǎng) ，評(píng)獎(jiǎng)委員會(huì)寫到經(jīng)由過(guò)程引入艱深的數(shù)學(xué)思惟 ，吳斥地了一種全新的要領(lǐng)

夜海子村