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

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

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

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

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

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

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

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

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

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