1979年,吳文俊偕夫人陳丕和,與著名數(shù)學(xué)家陳景潤赴美訪問,這是吳文俊第一次訪問美國。訪問歸來,吳文俊的《出國訪問報(bào)告》總結(jié)了其在美國期間的活動成果及美國數(shù)學(xué)的發(fā)展情況。尤其是對數(shù)學(xué)機(jī)械化的發(fā)展,吳文俊進(jìn)行了深刻和...[繼續(xù)閱讀]

    經(jīng)過20世紀(jì)50-60年代的影響,吳文俊在數(shù)學(xué)研究的方向上有了很多個人的看法,其中重要的一點(diǎn)就是純數(shù)學(xué)的應(yīng)用問題。吳文俊曾這樣說道:……數(shù)學(xué)所這座與現(xiàn)實(shí)世界隔絕的純粹數(shù)學(xué)的殿堂,終究難免要受到外界狂風(fēng)暴雨的沖擊?！拔幕?..[繼續(xù)閱讀]

    數(shù)學(xué)機(jī)械化的意義就是使腦力勞動機(jī)械化。錢學(xué)森先生重要的著作《控制論》的序言里面曾介紹了維納(N.Wiener)的一些見解。維納是美國的一個大數(shù)學(xué)家,控制理論奠基人。錢先生是這樣說的,維納講“第一次工業(yè)革命是人手由于及其...[繼續(xù)閱讀]

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

    1990年年初,北京大學(xué)教授、數(shù)學(xué)家程民德主持編寫了一份介紹機(jī)器證明研究在國際上的巨大反響的材料,內(nèi)容包括國際著名學(xué)者對吳文俊的研究成果的贊譽(yù);國外學(xué)術(shù)期刊登載的吳文俊的論文及專集介紹、研究吳文俊的成果;吳方法在國...[繼續(xù)閱讀]

    為了支持吳文俊的數(shù)學(xué)機(jī)械化工作,陳省身創(chuàng)辦的南開數(shù)學(xué)所在1991年舉辦了“計(jì)算機(jī)數(shù)學(xué)年”。學(xué)術(shù)年內(nèi),組織了第一次數(shù)學(xué)機(jī)械化研討會,國內(nèi)幾十位專家參加會議,數(shù)學(xué)機(jī)械化研究的隊(duì)伍已粗具規(guī)模。同年,吳文俊榮獲第三世界科學(xué)...[繼續(xù)閱讀]

    1999年,在數(shù)學(xué)天元基金成立10周年時,吳文俊暢談了中國成為數(shù)學(xué)大國的步驟:第一步是規(guī)劃,當(dāng)時已經(jīng)有了;第二步趕超日本;第三步,趕歐美。天元基金,即國家自然科學(xué)基金委員會數(shù)學(xué)天元基金,1989年在胡國定、程民德、吳文俊等數(shù)學(xué)家...[繼續(xù)閱讀]

    “一切絕妙的美都顯示出奇異的均衡關(guān)系”(培根),“美是各部分之間以及各部分與整體之間固有的和諧”(海森堡),在英國哲學(xué)家培根和德國物理學(xué)家海森堡對美的定義中,美即是數(shù)學(xué)。對數(shù)學(xué)美感的體驗(yàn)和審美能力是進(jìn)行一切數(shù)學(xué)研...[繼續(xù)閱讀]

    流傳著這樣一個關(guān)于數(shù)學(xué)家的笑話:某一數(shù)學(xué)家覺得自己已受夠了數(shù)學(xué),于是跑到消防隊(duì)去宣布他想當(dāng)消防員。消防隊(duì)長說:“你看上去不錯,可是我得先給你做個測試?！毕狸?duì)長帶數(shù)學(xué)家到消防隊(duì)后院小巷,巷子里有一個貨棧、一只消...[繼續(xù)閱讀]

    1956年,吳文俊獲得國家自然科學(xué)一等獎,那是當(dāng)時國家的最高科技獎;40多年后的2000年,吳文俊再一次獲得了國家的最高科技獎——國家最高科學(xué)技術(shù)獎。如此長的學(xué)術(shù)生命,在數(shù)學(xué)界是非常罕見的。吳文俊是如何保持自己如此年輕的學(xué)...[繼續(xù)閱讀]