【正文】 曾主持一討論班，討論維持根斯坦的《對(duì)數(shù)學(xué)基礎(chǔ)的看法》．牛津大學(xué)哲學(xué)家中的領(lǐng)頭人物大多數(shù)參加了這個(gè)討論班．19611967年回到哈佛任數(shù)理邏輯與應(yīng)用數(shù)學(xué)教授．l967年以后在洛克菲勒大學(xué)任數(shù)學(xué)教授，并主持該校的邏輯研究室．l9751976年曾到普林斯頓高級(jí)研究所訪問和工作． 　　 l953年起，王浩開始計(jì)算機(jī)理論與機(jī)器證明的研究．因?yàn)橐环矫嫠翡J地感覺到被認(rèn)為過分講究形式的精確，十分繁瑣而無任何實(shí)際用處的數(shù)理邏輯可以在計(jì)算機(jī)領(lǐng)域發(fā)揮極好的作用；另一方面由于新中國(guó)的成立，他想多學(xué)點(diǎn)有用的東西以便將來回來報(bào)效祖國(guó)．為此他曾兼任巴勒斯公司的研究工程師(1953l954年)、貝爾電話實(shí)驗(yàn)室技術(shù)專家(19591960年)、IBM研究中心客座科學(xué)家(1973l974年)等一系列職務(wù)． 　　 1972年以后，王浩數(shù)次回國(guó)．1973年他寫了《訪問中國(guó)的沉思》，被報(bào)紙與雜志廣泛刊載．1985年兼任北京大學(xué)教授；1986年兼任清華大學(xué)教授． 　　王浩曾發(fā)表100多篇論文．主要著作有：《數(shù)理邏輯概論》(ASurveyofMathematicalLogic，l962)，其中收集了他在l947年至1959年期間寫的關(guān)于數(shù)學(xué)基礎(chǔ)、形式公理系統(tǒng)、計(jì)算機(jī)理論和數(shù)學(xué)定理機(jī)械化證明的一些研究論文和其它文章．《從數(shù)學(xué)到哲學(xué)》(FromMathematicstoPhlcosophy，1974)，作者試圖用實(shí)事求是論(Substantialfactualism)的觀點(diǎn)闡述對(duì)一系列哲學(xué)問題，特別是數(shù)學(xué)哲學(xué)問題的看法，并對(duì)當(dāng)今在西方世界影響甚大的分析哲學(xué)進(jìn)行批判，書中還包括大邏輯學(xué)家哥德爾一些未發(fā)表的哲學(xué)觀點(diǎn)，極有研究?jī)r(jià)值．《數(shù)理邏輯通俗講話》，有中英文兩種版本，這是根據(jù)作者在1977年在中國(guó)科學(xué)院作的6次關(guān)于數(shù)理邏輯的廣泛而通俗的講演整理而成的．《超越分析哲學(xué)公平對(duì)待我們具有的知識(shí)》(BeyondAnalyticPhilosophyDoingJusticetoWhatweKnow，l986)，作者對(duì)分析哲學(xué)的代表人物羅素、維特根斯坦、卡納普和奎因等人的思想觀點(diǎn)作了詳細(xì)介紹，并給予鎮(zhèn)密的分析和有力的批判，主要論據(jù)是他們的哲學(xué)無法為人類現(xiàn)有的知識(shí)，特別是數(shù)學(xué)知識(shí)，提供基礎(chǔ)．由于作者非常熟悉這四人的工作，甚至與其中一些人有直接交往，所以他的批判十分深刻．牛津大學(xué)的彼特?斯特蘇森爵士(SirP．Strawson)評(píng)論到：哲學(xué)家們對(duì)于王浩此書的主要的、深厚的興趣在于，它記錄了一位極富才智、卓越和敏銳的哲學(xué)家對(duì)所謂39。分析39?；?9。英一美39。哲學(xué)在本世紀(jì)經(jīng)歷的發(fā)展過程的看法．王的書是對(duì)現(xiàn)代哲學(xué)史和元哲學(xué)的豐富、迷人的貢獻(xiàn)．　　王浩是美國(guó)藝術(shù)與科學(xué)學(xué)院院士，英國(guó)科學(xué)院外藉院士和符號(hào)邏輯學(xué)協(xié)會(huì)會(huì)員．1983年在美國(guó)丹佛召開的，由人工智能國(guó)際聯(lián)合會(huì)會(huì)議(LnternationalJointConfernceonArtificialinteIIigence)和美國(guó)數(shù)學(xué)會(huì)共同主辦的，自動(dòng)定理證明(AutomatedTheoremProving)特別年會(huì)上，王浩被授予首屆里程碑獎(jiǎng)(MilestonePrize)，以表彰他在數(shù)學(xué)定理機(jī)械證明研究領(lǐng)域中所作的開創(chuàng)性貢獻(xiàn)．提名時(shí)列舉的主要貢獻(xiàn)有：強(qiáng)調(diào)發(fā)展應(yīng)用邏輯新分支推理分析(inferentialanalysis)，其對(duì)于數(shù)理邏輯的依賴關(guān)系類似于數(shù)值分析(numericalanalysis)對(duì)于數(shù)學(xué)分析的依賴關(guān)系；堅(jiān)持謂詞演算和埃爾布朗(Herbrand)與根岑(Gentzen)形式化的基本作用；設(shè)計(jì)了證明程序，有效地證明了羅素與懷特海(Whitehead)的《數(shù)學(xué)原理》中帶集式的謂詞演算部分的350多條定理；第一個(gè)強(qiáng)調(diào)在埃爾布朗序列(Herbrandexpansion)中預(yù)先消去無用項(xiàng)的算法的重要性；提出一些深思熟慮的謂詞演算定理，可用作挑戰(zhàn)性問題來幫助判斷新的定理證明程序的效能． 　　華人數(shù)學(xué)家——侯振挺　 【侯氏定理】數(shù)學(xué)家侯振挺關(guān)于馬爾可夫過程的研究成果被國(guó)際上命名為“侯氏定理”。 　　侯振挺，我國(guó)著名數(shù)學(xué)家,全國(guó)勞動(dòng)模范。河南省新密人,1936年3月生。1960年唐山鐵道學(xué)院畢業(yè)后,分配到長(zhǎng)沙鐵道學(xué)院執(zhí)教。1978年加入中國(guó)共產(chǎn)黨。他是第五、六、七、八屆全國(guó)人大代表,全國(guó)勞動(dòng)模范。曾任長(zhǎng)沙鐵道學(xué)院教授、博士生導(dǎo)師、副院長(zhǎng)、科研所所長(zhǎng)、湖南省科協(xié)名譽(yù)主席?！　∷L(zhǎng)期從事概率論特別是馬爾可夫過程的研究,在齊次可列馬爾可夫過程構(gòu)造論中創(chuàng)造了世界領(lǐng)先水平的成果,在可逆馬爾可夫過程元窮粒子系統(tǒng)領(lǐng)域作了開創(chuàng)性的工作。馬爾可夫過程,是俄國(guó)數(shù)學(xué)家馬爾可夫1907年提出的一種數(shù)學(xué)模型。它概括了自然界一系列隨機(jī)現(xiàn)象,既屬于數(shù)學(xué)基礎(chǔ)理論范疇,又在自然科學(xué)、技術(shù)科學(xué)和社會(huì)科學(xué)中有廣泛的應(yīng)用價(jià)值。馬爾可夫過程成為概率論中十分重要的理論分支。他經(jīng)過10多年的潛心鉆研,1974年在《中國(guó)科學(xué)》上發(fā)表論文《Q過程唯一性準(zhǔn)則》,就馬爾可夫過程論中具有重要理論價(jià)值的中心研究課題,創(chuàng)造了令國(guó)內(nèi)外數(shù)學(xué)界矚目的科研成果。英國(guó)數(shù)學(xué)家、劍橋大學(xué)統(tǒng)計(jì)數(shù)學(xué)研究所所長(zhǎng)惠特爾教授致函中國(guó)科學(xué)院院長(zhǎng)提出:“長(zhǎng)沙鐵道學(xué)院的侯振挺,在所謂‘Q過程的存在問題39。中,建立了唯一性準(zhǔn)則。鑒于這一非凡的工作,本基金會(huì)決定授予他一項(xiàng)戴維遜獎(jiǎng)?！薄爸钡竭@位天才的年輕人發(fā)表他的論文以前,所有努力都失敗了。他的杰出論文引起了廣泛的注意,這是因?yàn)樗拇鸢妇哂型暾院妥罱K性?！币虼?1978年的英國(guó)皇家學(xué)會(huì)戴維遜獎(jiǎng),頒發(fā)給這位中國(guó)普通教師,他成為中國(guó)第一位獲此殊榮的數(shù)學(xué)家。同年,還獲得全國(guó)科學(xué)大會(huì)獎(jiǎng)。他的研究成果被國(guó)際數(shù)學(xué)界稱為“侯氏定理”。 　　 “侯氏定理的問世,使他成為國(guó)際數(shù)學(xué)星空中的一顆耀眼新星。沒有欣喜,而是深深感到中國(guó)數(shù)學(xué)科研要趕超世界先進(jìn)水平,必須造就一支獻(xiàn)身于數(shù)學(xué)科學(xué)的高水平的學(xué)術(shù)隊(duì)伍。1981年,國(guó)家首批博士點(diǎn)公布,他作為學(xué)科帶頭人領(lǐng)銜長(zhǎng)沙鐵道學(xué)院概率論與數(shù)理統(tǒng)計(jì)博士點(diǎn)。他以新觀念和新思維,慧眼識(shí)人,不拘一格廣泛搜羅人才,青年工人李慰萱被擢拔為副教授、教授。10多年來,他已培養(yǎng)了多位博士生導(dǎo)師、上十位教授。由10多位博士、40多位碩士組成了較高起點(diǎn)、與國(guó)際數(shù)學(xué)研究接軌、分層次配置的“侯氏梯隊(duì)”。他們的最新科研成果是《馬爾可夫過程的Q一一矩陣問題》,這本50萬字著作問世后,立即引起國(guó)內(nèi)外數(shù)學(xué)界特別是概率論領(lǐng)域的關(guān)注和好評(píng)。多位中國(guó)科學(xué)院院士認(rèn)為,這是“迄今世界上唯一一本關(guān)于令一一矩陣問題的專著”。英國(guó)皇家學(xué)會(huì)前主席為該書英文版作序。該書1995年被評(píng)為全國(guó)優(yōu)秀科技圖書。馬爾可夫過程研究在90年代以后進(jìn)入了新的發(fā)展階段,例如馬氏決策過程就是當(dāng)代數(shù)學(xué)熱門課題之一。他帶領(lǐng)博士生對(duì)連續(xù)參數(shù)Q過程唯一的情況給出了最優(yōu)決策存在性的證明,取得了第一個(gè)可喜的成果?！　膭?chuàng)造“侯氏定理”到形成“侯氏梯隊(duì)”的20年時(shí)間里,他在馬爾可夫過程及相關(guān)領(lǐng)域內(nèi),對(duì)馬氏過程、半馬氏過程、逐段確定的馬氏過程等分支進(jìn)行分析概括,取得了一系列深刻而豐富的科研成果。已發(fā)表學(xué)術(shù)論文80多篇,出版專著6本,并完成湖南省能源模型、決策系統(tǒng)軟件開發(fā)、消費(fèi)市場(chǎng)趨向分析與需求預(yù)測(cè)等科技攻關(guān)項(xiàng)目,取得了顯著的社會(huì)效益和經(jīng)濟(jì)效益。還獲得1982年國(guó)家自然科學(xué)三等獎(jiǎng)、1987年國(guó)家教委科技進(jìn)步二等獎(jiǎng)等20余項(xiàng)國(guó)內(nèi)外獎(jiǎng)勵(lì),1999年8月22日,馬氏過程與受控馬氏鏈國(guó)際學(xué)術(shù)會(huì)議在長(zhǎng)沙召開,國(guó)際數(shù)學(xué)概率論專家聚會(huì)長(zhǎng)沙鐵道學(xué)院,他致開幕詞,還介紹了他和他的弟子們的一批最新成果?！　」ぷ鹘?jīng)歷　　 2000至今教授中南大學(xué)數(shù)學(xué)學(xué)院概率統(tǒng)計(jì)所　　 19601978助教長(zhǎng)沙鐵道學(xué)院　　 1996至今名譽(yù)主席湖南省科學(xué)技術(shù)協(xié)會(huì)　　 19861996主席湖南省科學(xué)技術(shù)協(xié)會(huì)　　 19842000副院長(zhǎng)長(zhǎng)沙鐵道學(xué)院　　 1984至今所長(zhǎng)中南大學(xué)數(shù)學(xué)學(xué)院概率統(tǒng)計(jì)所　　主要學(xué)術(shù)兼職　　 1990至今主編《數(shù)學(xué)理論與應(yīng)用》(《湖南數(shù)學(xué)年刊》) 　　 1988至今理事長(zhǎng)湖南省數(shù)學(xué)會(huì)　　 19791985編委ZeitschriftfurWahrscheinlichkeitstheorie　　教育背景　　 19551960唐山鐵道學(xué)院（現(xiàn)西南交通大學(xué)）數(shù)力系大學(xué)畢業(yè)科研獎(jiǎng)勵(lì)　　 2002綜合性科技獎(jiǎng)勵(lì)第三屆湖南光召科技獎(jiǎng)　　 2001馬爾可夫骨架過程混雜系統(tǒng)模型湖南省科技進(jìn)步獎(jiǎng)一等獎(jiǎng)　　 1998專著：《馬爾可夫過程的Q矩陣問題》湖南省科技進(jìn)步獎(jiǎng)一等獎(jiǎng)　　 1988馬爾可夫過程及其相關(guān)論題國(guó)家教委科技進(jìn)步二等獎(jiǎng)　　 1982馬爾可夫過程的唯一性，構(gòu)造與性質(zhì)國(guó)家自然科學(xué)三等獎(jiǎng)　　 1978齊次可列馬爾可夫過程全國(guó)科學(xué)大會(huì)獎(jiǎng)　　 1978齊次可列馬爾可夫過程Q過程唯一性準(zhǔn)則（侯氏定理）全國(guó)鐵路科技大會(huì)獎(jiǎng)　　 1978齊次可列馬爾可夫過程的可逆性全國(guó)鐵路科技大會(huì)獎(jiǎng)　　 1978齊次可列馬爾可夫過程的理論湖南省科學(xué)大會(huì)獎(jiǎng)　　 1978Q過程的唯一性準(zhǔn)則Davidson獎(jiǎng)，英國(guó)皇家學(xué)會(huì)　　華人數(shù)學(xué)家——景乃桓　 【景氏算子】數(shù)學(xué)家景乃桓在對(duì)稱函數(shù)方面的研究成果被國(guó)際上命名為“景氏算子”。 　　景乃桓男，1962年1月生于湖北省武漢市,研究方向：代數(shù)學(xué)和數(shù)學(xué)物理（量子群和無限維李代數(shù)，表示論，代數(shù)組合，量子計(jì)算），1982年獲湖北大學(xué)理學(xué)學(xué)士，1985年獲武漢大學(xué)理學(xué)碩士。1989年獲美國(guó)耶魯大學(xué)博士學(xué)位。先后在普林斯頓高等研究院，密執(zhí)安大學(xué)，堪薩斯大學(xué)和北卡州立大學(xué)等地工作或任教，于2001年晉升為正教授。2001年任湖北省“楚天學(xué)者”特聘教授。2006年始任華南理工大學(xué)特聘教授?！　?200405年獲德國(guó)洪堡學(xué)者，2004年獲美國(guó)富爾布萊特學(xué)者。先后在下列數(shù)學(xué)中心訪問研究：京都數(shù)理研究所，美國(guó)伯克利數(shù)學(xué)研究所，德國(guó)馬克斯普朗克研究所等?！　　窘虒W(xué)和研究生培養(yǎng)】　　主講“微積分”，“線性代數(shù)”，“近世代數(shù)”，“數(shù)論和近世代數(shù)”，“組合論”，“李代數(shù)及其表示論”，“KacMoody代數(shù)”，“量子群”，“頂點(diǎn)算子代數(shù)”，“對(duì)稱群表示”，“量子計(jì)算”等課程?！　　究蒲薪?jīng)歷】　　多次主持由美國(guó)國(guó)家自然科學(xué)基金會(huì)等機(jī)構(gòu)支助的科研項(xiàng)目。主持1995年10月美國(guó)數(shù)學(xué)會(huì)關(guān)于“KacMoody代數(shù)和有關(guān)課題”的分會(huì)。1998，2001，2006年在美國(guó)主持召開“國(guó)際仿射代數(shù)和量子群會(huì)議”，CBMSNSF“代數(shù)組合論會(huì)議”和CBMSNSF“束代數(shù)及其應(yīng)用”國(guó)際會(huì)議?！　≡趪?guó)際數(shù)學(xué)刊物上發(fā)表50多篇論文，編輯著作兩部，絕大多數(shù)為SCI索引。所發(fā)論文雜志有：39。，.，.，.,.，.，.，,.，,?！　≈饕獜氖聼o限維李代數(shù)，量子群和表示論方面的研究工作。1988年和Frenkel合作首次構(gòu)造仿射量子代數(shù)的頂點(diǎn)表示，之后完全構(gòu)造繞型仿射量子代數(shù)的頂點(diǎn)表示。引入頂點(diǎn)算子方法研究SchurQ，HallLittlewood等對(duì)稱多項(xiàng)式函數(shù)，推動(dòng)了無限維李代數(shù)和代數(shù)組合論的交叉研究。，運(yùn)用此方法給出圈群以及中心擴(kuò)張群的特征標(biāo)表。，運(yùn)用矩陣方法研究量子密度矩陣的可分問題?！　∪A人數(shù)學(xué)家——袁亞湘　 【袁氏引理】數(shù)學(xué)家袁亞湘在非線性規(guī)劃方面的研究成果被國(guó)際上命名為“袁氏引理”。 　　袁亞湘，男，1960年1月出生于中國(guó)湖南資興。十八歲考上湘潭大學(xué),四年后考上中國(guó)科學(xué)院計(jì)算中心研究生,師從馮康教授。1982年11月起在劍橋大學(xué)應(yīng)用數(shù)學(xué)與理論物理系攻讀博士,。1986年獲博士學(xué)位。1985年10月至1988年9月在劍橋大學(xué)菲茨威廉姆學(xué)院工作(Rutherfordresearchfellow),1988年回到中國(guó)在中國(guó)科學(xué)院計(jì)算中心工作。現(xiàn)任中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院副院長(zhǎng)?！　≡瑏喯嬖诔€性優(yōu)化的算法及其理論方面，取得了一系列的重要成果。他在信賴域法的收斂性分析方面所做的工作是開創(chuàng)性的，特別是對(duì)于非光滑優(yōu)化信賴域方法的研究得出了一系列重要的收斂性定理，給出了超線性收斂的充分必要條件。他因此在1984年獲英國(guó)劍橋大學(xué)數(shù)學(xué)學(xué)業(yè)部研究生論文競(jìng)賽唯一的一等獎(jiǎng)，以及1985年在英國(guó)倫敦獲首屆青年國(guó)際數(shù)值分析獎(jiǎng)二等獎(jiǎng)。他在擬牛頓方法的理論研究方面貢獻(xiàn)很大，他和美國(guó)科學(xué)家合作證明了一類擬牛頓方法的全局收斂性，這是非線性規(guī)劃算法理論在80年代最重要的成果之一。他還首創(chuàng)性地提出了用信賴域方法和傳統(tǒng)的線搜索方法的結(jié)合來構(gòu)造新的計(jì)算方法，開創(chuàng)了利用非二次模型信息構(gòu)造二次模型子問題的方法，提出了非擬牛頓方法。國(guó)外同行稱袁亞湘在信賴域方法領(lǐng)域取得的成就是基石性的成果，他的貢獻(xiàn)對(duì)最優(yōu)化領(lǐng)域是至關(guān)重要的。