1979年,吳文俊偕夫人陳丕和,與著名數(shù)學(xué)家陳景潤(rùn)赴美訪問(wèn),這是吳文俊第一次訪問(wèn)美國(guó)。訪問(wèn)歸來(lái),吳文俊的《出國(guó)訪問(wèn)報(bào)告》總結(jié)了其在美國(guó)期間的活動(dòng)成果及美國(guó)數(shù)學(xué)的發(fā)展情況。尤其是對(duì)數(shù)學(xué)機(jī)械化的發(fā)展,吳文俊進(jìn)行了深刻和...[繼續(xù)閱讀]
海量資源,盡在掌握
1979年,吳文俊偕夫人陳丕和,與著名數(shù)學(xué)家陳景潤(rùn)赴美訪問(wèn),這是吳文俊第一次訪問(wèn)美國(guó)。訪問(wèn)歸來(lái),吳文俊的《出國(guó)訪問(wèn)報(bào)告》總結(jié)了其在美國(guó)期間的活動(dòng)成果及美國(guó)數(shù)學(xué)的發(fā)展情況。尤其是對(duì)數(shù)學(xué)機(jī)械化的發(fā)展,吳文俊進(jìn)行了深刻和...[繼續(xù)閱讀]
經(jīng)過(guò)20世紀(jì)50-60年代的影響,吳文俊在數(shù)學(xué)研究的方向上有了很多個(gè)人的看法,其中重要的一點(diǎn)就是純數(shù)學(xué)的應(yīng)用問(wèn)題。吳文俊曾這樣說(shuō)道:……數(shù)學(xué)所這座與現(xiàn)實(shí)世界隔絕的純粹數(shù)學(xué)的殿堂,終究難免要受到外界狂風(fēng)暴雨的沖擊?!拔幕?..[繼續(xù)閱讀]
數(shù)學(xué)機(jī)械化的意義就是使腦力勞動(dòng)機(jī)械化。錢(qián)學(xué)森先生重要的著作《控制論》的序言里面曾介紹了維納(N.Wiener)的一些見(jiàn)解。維納是美國(guó)的一個(gè)大數(shù)學(xué)家,控制理論奠基人。錢(qián)先生是這樣說(shuō)的,維納講“第一次工業(yè)革命是人手由于及其...[繼續(xù)閱讀]
所謂機(jī)械化,吳文俊說(shuō):“無(wú)非是刻板化和規(guī)格化。機(jī)械化的動(dòng)作由于簡(jiǎn)單刻板,因而可以用機(jī)器來(lái)實(shí)現(xiàn),又由于往往需要反復(fù)千百萬(wàn)次,超出了人力的可能,因而又不能不讓機(jī)器來(lái)實(shí)現(xiàn)?!彼^數(shù)學(xué)機(jī)械化,即對(duì)一類(lèi)定理提供一種統(tǒng)一的方...[繼續(xù)閱讀]
1990年年初,北京大學(xué)教授、數(shù)學(xué)家程民德主持編寫(xiě)了一份介紹機(jī)器證明研究在國(guó)際上的巨大反響的材料,內(nèi)容包括國(guó)際著名學(xué)者對(duì)吳文俊的研究成果的贊譽(yù);國(guó)外學(xué)術(shù)期刊登載的吳文俊的論文及專(zhuān)集介紹、研究吳文俊的成果;吳方法在國(guó)...[繼續(xù)閱讀]
為了支持吳文俊的數(shù)學(xué)機(jī)械化工作,陳省身創(chuàng)辦的南開(kāi)數(shù)學(xué)所在1991年舉辦了“計(jì)算機(jī)數(shù)學(xué)年”。學(xué)術(shù)年內(nèi),組織了第一次數(shù)學(xué)機(jī)械化研討會(huì),國(guó)內(nèi)幾十位專(zhuān)家參加會(huì)議,數(shù)學(xué)機(jī)械化研究的隊(duì)伍已粗具規(guī)模。同年,吳文俊榮獲第三世界科學(xué)...[繼續(xù)閱讀]
1999年,在數(shù)學(xué)天元基金成立10周年時(shí),吳文俊暢談了中國(guó)成為數(shù)學(xué)大國(guó)的步驟:第一步是規(guī)劃,當(dāng)時(shí)已經(jīng)有了;第二步趕超日本;第三步,趕歐美。天元基金,即國(guó)家自然科學(xué)基金委員會(huì)數(shù)學(xué)天元基金,1989年在胡國(guó)定、程民德、吳文俊等數(shù)學(xué)家...[繼續(xù)閱讀]
“一切絕妙的美都顯示出奇異的均衡關(guān)系”(培根),“美是各部分之間以及各部分與整體之間固有的和諧”(海森堡),在英國(guó)哲學(xué)家培根和德國(guó)物理學(xué)家海森堡對(duì)美的定義中,美即是數(shù)學(xué)。對(duì)數(shù)學(xué)美感的體驗(yàn)和審美能力是進(jìn)行一切數(shù)學(xué)研...[繼續(xù)閱讀]
流傳著這樣一個(gè)關(guān)于數(shù)學(xué)家的笑話:某一數(shù)學(xué)家覺(jué)得自己已受夠了數(shù)學(xué),于是跑到消防隊(duì)去宣布他想當(dāng)消防員。消防隊(duì)長(zhǎng)說(shuō):“你看上去不錯(cuò),可是我得先給你做個(gè)測(cè)試。”消防隊(duì)長(zhǎng)帶數(shù)學(xué)家到消防隊(duì)后院小巷,巷子里有一個(gè)貨棧、一只消...[繼續(xù)閱讀]
1956年,吳文俊獲得國(guó)家自然科學(xué)一等獎(jiǎng),那是當(dāng)時(shí)國(guó)家的最高科技獎(jiǎng);40多年后的2000年,吳文俊再一次獲得了國(guó)家的最高科技獎(jiǎng)——國(guó)家最高科學(xué)技術(shù)獎(jiǎng)。如此長(zhǎng)的學(xué)術(shù)生命,在數(shù)學(xué)界是非常罕見(jiàn)的。吳文俊是如何保持自己如此年輕的學(xué)...[繼續(xù)閱讀]