1912年1月28日,生于上(shang)海市,久(jiu)居北京。胡世華(hua)的父親胡惟德曾(ceng)任北洋(yang)政府國務總理和(he)駐外國公使。
1929年(nian)-1932年(nian),胡世華進入天津(jin)南開大(da)學,讀預科(ke)兩年(nian),本科(ke)一年(nian),表現出對數學的興趣(qu)。
1932年(nian),轉學至北京大學,本來打(da)算(suan)攻讀數(shu)學系,由于(yu)父(fu)親干預(yu),改為入哲學系學習。
1935年,畢業于北京(jing)大學,隨后在(zai)該校研究(jiu)數(shu)學。在(zai)北京(jing)大學學習期間,胡世華與李(li)爾重(zhong)、杜毓(yu)澐等(deng)有進(jin)步思想(xiang)的同學結(jie)識,后兩(liang)位很早就參加了(le)革命。在(zai)他(ta)(ta)(ta)們(men)的影響下,胡世華表示了(le)要求進(jin)步的意向。但(dan)他(ta)(ta)(ta)們(men)建議他(ta)(ta)(ta)根據自己的具體(ti)情(qing)況繼續讀書求學,于是使他(ta)(ta)(ta)走(zou)上從事學術研究(jiu)的道路。
1936年(nian),胡世(shi)華偕同夏好仁赴(fu)歐洲。他先后在(zai)(zai)奧地利(li)維也納大(da)學(xue)(xue)、德國西(xi)威(wei)廉敏思特大(da)學(xue)(xue),以(yi)及在(zai)(zai)法國和(he)(he)瑞(rui)士(shi)學(xue)(xue)習(xi)和(he)(he)研究數理邏輯和(he)(he)數學(xue)(xue)基礎,其中(zhong)(zhong)主要(yao)的(de)(de)(de)是在(zai)(zai)西(xi)威(wei)廉敏思特大(da)學(xue)(xue)的(de)(de)(de)學(xue)(xue)習(xi)和(he)(he)研究中(zhong)(zhong)完(wan)成了(le)博士(shi)學(xue)(xue)位論(lun)(lun)文《偽布爾代數及拓(tuo)(tuo)撲(pu)基礎》。其中(zhong)(zhong)建立了(le)拓(tuo)(tuo)撲(pu)空間(jian)中(zhong)(zhong)“非(fei)完(wan)整(zheng)的(de)(de)(de)點(dian)(dian)”的(de)(de)(de)概念(nian)和(he)(he)理論(lun)(lun),這可以(yi)看作是60年(nian)代開始發展的(de)(de)(de)非(fei)標準分析的(de)(de)(de)空間(jian)(隨(sui)之必(bi)然有關于非(fei)標準點(dian)(dian)的(de)(de)(de)拓(tuo)(tuo)撲(pu)空間(jian))中(zhong)(zhong)“非(fei)標準點(dian)(dian)”概念(nian)和(he)(he)理論(lun)(lun)的(de)(de)(de)一種雛(chu)形。同年(nian),胡世(shi)華與夏好仁女士(shi)結婚,有子胡永平和(he)(he)胡永千。
1941年(nian)(nian),回國(guo)后,自同年(nian)(nian)8月至1943年(nian)(nian)2月,任廣東中山大(da)學(xue)數學(xue)天文系(xi)副教(jiao)授。由于反對腐(fu)敗的國(guo)民黨(dang)政府及受(shou)馬克(ke)思主義思想的影響,他同情(qing)革(ge)命,擁護(hu)(hu)中國(guo)共產黨(dang),多次(ci)掩(yan)護(hu)(hu)中國(guo)共產黨(dang)地下工(gong)作者。
1943年,胡(hu)世華發(fa)表《論人造的語言》一文(wen),仔細(xi)地(di)介紹并解釋了一階謂詞演算。
1949年(nian),參加中國(guo)民主(zhu)同盟。
1950年,調(diao)任中(zhong)國科(ke)學(xue)(xue)院數(shu)學(xue)(xue)研究(jiu)所研究(jiu)員、數(shu)理邏(luo)輯(ji)研究(jiu)室(shi)主任,直至1963年;期間(jian)兼任中(zhong)國科(ke)學(xue)(xue)技術(shu)大學(xue)(xue)應用數(shu)學(xue)(xue)系工(gong)程邏(luo)輯(ji)教研室(shi)主任;1954年參加中(zhong)國共產黨。
1956年,在中(zhong)(zhong)(zhong)國科學(xue)史上第一(yi)個學(xue)科規(gui)劃(hua)中(zhong)(zhong)(zhong),胡(hu)(hu)世華便以圖(tu)靈破(po)譯德軍密碼的案例,闡述了數理邏輯對(dui)計算(suan)機(ji)產生(sheng)的重(zhong)要作(zuo)(zuo)用,成為中(zhong)(zhong)(zhong)國第一(yi)位強調計算(suan)機(ji)研究的學(xue)者。自(zi)1956年開始(shi),胡(hu)(hu)世華還參加了歷屆全國科學(xue)規(gui)劃(hua)的制訂(ding)工(gong)作(zuo)(zuo)。
1958年(nian),胡世華(hua)創辦數理邏(luo)輯訓(xun)練班(ban),全國各地高校(xiao)(xiao)教師(shi)參(can)與其(qi)中,使數理邏(luo)輯在高等院校(xiao)(xiao)中打(da)下了基礎,西北大學原校(xiao)(xiao)長(chang)郝克剛等數學家(jia)都(dou)是當年(nian)訓(xun)練班(ban)培養出的(de)人(ren)才。
1961年7月(yue),胡世華(hua)向(xiang)當(dang)時(shi)在中(zhong)科院(yuan)計算(suan)技術(shu)研(yan)究(jiu)所工作的(de)許孔時(shi)提出,把數學所的(de)第四(si)研(yan)究(jiu)室(shi)(數理邏輯研(yan)究(jiu)室(shi))整(zheng)體調到計算(suan)技術(shu)研(yan)究(jiu)所。
1963年10月(yue),中(zhong)國電子(zi)學會(hui)(hui)計(ji)算機專業(ye)委員會(hui)(hui)舉(ju)辦了(le)第三次全國計(ji)算技術經(jing)驗交流(liu)會(hui)(hui),胡世華在(zai)大會(hui)(hui)上作了(le)綜述報告,并主持數(shu)理(li)邏輯組會(hui)(hui)議(yi)。此次會(hui)(hui)議(yi)標志著國內的(de)研究者將數(shu)理(li)邏輯與計(ji)算機科學技術結合(he)的(de)開端和努力。
1980年當選為中(zhong)國科學(xue)院學(xue)部委(wei)員(yuan)(院士(shi)),并任計算機科學(xue)組(zu)組(zu)長。
1985年,任中國科(ke)學(xue)院(yuan)(yuan)軟件研(yan)究所研(yan)究員,兼任北京計算機(ji)學(xue)院(yuan)(yuan)院(yuan)(yuan)長、名譽院(yuan)(yuan)長。
1990年(nian),胡世華在《中國科(ke)學》上發表了《遞歸結構——可(ke)(ke)解決(jue)(jue)性(xing)(xing)理(li)論I》及《遞歸結構理(li)論的形式系統(tong)和(he)語句的可(ke)(ke)判(pan)定(ding)性(xing)(xing)——可(ke)(ke)解決(jue)(jue)性(xing)(xing)理(li)論Ⅱ》。
1998年4月11日,胡世華因病醫治無效,在(zai)北京逝(shi)世,終年86歲。
胡世(shi)華(hua).論人造(zao)語言(yan).學術季刊,1943,1(3).
胡世華.再現算術新系(xi)統及其邏輯(ji)量詞.學園(yuan),1945,5.
胡世華.一個四值命(ming)題(ti)演算與四色問題(ti).中國科學,1950,1(3):273-294.
胡世華.No值命題演算的(de)有(you)窮值的(de)具有(you)函數完全性的(de)子系統.中國科學,1955,5:173-191.
胡世華.一種(zhong)遞(di)歸式(shi)的(de)原始遞(di)歸性.數學(xue)學(xue)報(bao),1956,6(1):93—104.
胡世華.數理邏(luo)輯的基本特征(zheng)與科(ke)學意(yi)義.哲學研究,1957,6:1—44.
胡世華.關于古典(dian)演繹邏輯的(de)幾個問(wen)題(ti).哲(zhe)學研究,1957,6.
胡世華,陸鐘萬.一般遞歸函數(shu)的范式.數(shu)學學報,1958,8:507-519.
胡世華.略論數理邏輯(ji)的發(fa)生發(fa)展和現狀(zhuang).科學通報,1960,6:1—8.
胡世華,黃(huang)祖良(liang).加法和(he)乘(cheng)法.數(shu)學進展,1963,6.
胡世華,楊東(dong)屏.關于原始遞(di)歸性.數學學報,1964,14(4):607—618.
胡世華.古典(dian)謂詞(ci)演算.數學(xue)進展,1964,7(4):349-396.
胡世華.多種類遞(di)歸(gui)算法(fa)遞(di)歸(gui)算法(fa)論.全國數理邏輯(ji)專業(ye)學術會議論文選集(ji),北京:國防工業(ye)出版社(she),1965,11—24.
胡(hu)世華.控制論(lun)的發展.科(ke)學(xue)通(tong)報,1965,10:862—869.
胡世華(hua).算法(fa)語言(yan)的(de)描述問題(ti).748會議論文(wen),中國(guo)科學(xue)院(yuan)計(ji)算技(ji)術研究所(suo),1973,1-48.
胡世華.如何描述(shu)程序(xu)語言.電子計(ji)算機(ji)動態,1976,9:1-29.胡世華.計(ji)算機(ji)對數(shu)學的影(ying)響(xiang).百科知(zhi)識(shi),1981(10).
胡(hu)世華,陸(lu)鐘(zhong)萬.數理邏輯基(ji)礎(上、下冊).北京:科學出版(ban)社,1981.
胡世華.信息時代的(de)數學.數學進展,1988,17:11-20.
胡世華.數理邏(luo)輯.中國大(da)(da)百(bai)(bai)科全書數學卷,北京(jing):中國大(da)(da)百(bai)(bai)科全書出版社,1988,588-593.
胡世(shi)華.數學基礎.中(zhong)國(guo)大百科(ke)全書數學卷,北京:中(zhong)國(guo)大百科(ke)全書出版社(she),1988,605-608.
胡世華.遞歸結構(gou)-可解決理論(lun).中國科學(xue),1990(11):1137—1145.
胡世華.遞歸結(jie)構理(li)論(lun)的形式系統和語(yu)言的可判定性——可解決理(li)論(lun).中國科學,1990(12):1235—1242.
科研綜述
胡世華(hua),20世紀30年(nian)(nian)(nian)代(dai)(dai)(dai)建立(li)了(le)拓(tuo)撲空間(jian)“非完(wan)整點”的概念和(he)理論(lun)。20世紀40年(nian)(nian)(nian)代(dai)(dai)(dai)至20世紀50年(nian)(nian)(nian)代(dai)(dai)(dai)建立(li)了(le)將較(jiao)少值(zhi)具有函(han)數(shu)完(wan)全性的邏(luo)輯(ji)嵌入(ru)較(jiao)多值(zhi)邏(luo)輯(ji)中的系統方法(fa)(fa)。20世紀60年(nian)(nian)(nian)代(dai)(dai)(dai)初在(zai)國際上(shang)首(shou)先(xian)建立(li)了(le)字(zi)(有窮基自由半群(qun))上(shang)的遞(di)歸函(han)數(shu)和(he)遞(di)歸算(suan)法(fa)(fa)理論(lun)。20世紀70年(nian)(nian)(nian)代(dai)(dai)(dai)對算(suan)法(fa)(fa)語言的描述問題作了(le)深入(ru)研(yan)究。20世紀80年(nian)(nian)(nian)代(dai)(dai)(dai)至20世紀90年(nian)(nian)(nian)代(dai)(dai)(dai)在(zai)遞(di)歸算(suan)法(fa)(fa)的基礎(chu)上(shang)研(yan)究了(le)可計算(suan)函(han)數(shu)在(zai)證明論(lun)中的應用。
數理邏輯方面的學術成就
胡(hu)世(shi)華是(shi)中國(guo)國(guo)內(nei)少數(shu)幾位在(zai)(zai)中國(guo)發(fa)展(zhan)數(shu)理邏(luo)(luo)輯的(de)(de)代表(biao)人物之(zhi)一(yi)(yi)。而在(zai)(zai)中國(guo)把(ba)(ba)邏(luo)(luo)輯研究(jiu)超出(chu)哲學(xue)(xue)的(de)(de)范疇并(bing)和數(shu)學(xue)(xue)聯系起(qi)(qi)來(lai)的(de)(de)工作(zuo)是(shi)由胡(hu)世(shi)華開始的(de)(de),他(ta)是(shi)這(zhe)方面的(de)(de)開創人,也是(shi)國(guo)內(nei)把(ba)(ba)邏(luo)(luo)輯和計算(suan)機結合起(qi)(qi)來(lai)進行工作(zuo)的(de)(de)倡導(dao)人。此(ci)外他(ta)還很關(guan)心數(shu)學(xue)(xue)的(de)(de)哲學(xue)(xue)問(wen)題,并(bing)在(zai)(zai)這(zhe)方面做過在(zai)(zai)國(guo)內(nei)有一(yi)(yi)定(ding)影(ying)響的(de)(de)工作(zuo)。
胡世華于(yu)(yu)(yu)20世紀30年(nian)(nian)代末(mo)在H.肖爾茲(Scholz)和(he)K.柯特(Kothe)兩教授指導下完成博(bo)士學位論文《偽布爾代數及拓(tuo)撲基礎(chu)》,其(qi)中(zhong)建立了(le)拓(tuo)撲空(kong)間(jian)中(zhong)“非完整的(de)點”的(de)概念(nian)和(he)理論,這可(ke)以看作是(shi)20世紀60年(nian)(nian)代開始發展的(de)非標準(zhun)分析的(de)空(kong)間(jian)(隨之必然有(you)關于(yu)(yu)(yu)非標準(zhun)點的(de)拓(tuo)撲空(kong)間(jian))中(zhong)“非標準(zhun)點”概念(nian)和(he)理論的(de)一種雛形。該文的(de)全文未公開發表(biao),內容(rong)的(de)詳細提要被(bei)刊(kan)于(yu)(yu)(yu)《學術季刊(kan)》。
20世紀40年(nian)代時胡(hu)世華就開始發表(biao)(biao)了他(ta)(ta)的數(shu)理邏輯研究成果。1943年(nian)(中華民(min)國三十二年(nian))在(zai)《學術(shu)季(ji)刊》文哲(zhe)號一卷三期里,胡(hu)世華發表(biao)(biao)了《論(lun)人(ren)造的語言》。在(zai)這篇(pian)文章中他(ta)(ta)介(jie)(jie)紹(shao)了人(ren)工語言的特點、作用,并向國內(nei)介(jie)(jie)紹(shao)了符號邏輯。1945年(nian)(中華民(min)國三十四年(nian))在(zai)《學原》第一卷第五期里胡(hu)世華發表(biao)(biao)了《再現算(suan)術(shu)新系統及其邏輯常詞》。在(zai)這篇(pian)文章里他(ta)(ta)建立了一個新的遞歸算(suan)術(shu)系統RA。
由20世紀40年(nian)(nian)代末到20世紀50年(nian)(nian)代初(chu),胡(hu)世華的(de)(de)研究領域主(zhu)要在(zai)(zai)多(duo)值邏輯(ji)方面(mian)。1949年(nian)(nian)他(ta)在(zai)(zai)《The Journal of Symbolic Logic》14卷(juan)3期上發(fa)表(biao)了文章《m-valued subsystem of(m+n)-valuedpro posi-ti0nal calculus》,1950年(nian)(nian)他(ta)在(zai)(zai)《中國科學(xue)》第(di)(di)(di)一卷(juan)第(di)(di)(di)二至四期發(fa)表(biao)了《一個No-值命題演算的(de)(de)構造》,1951年(nian)(nian)9月他(ta)與陳強業在(zai)(zai)《中國數(shu)(shu)學(xue)學(xue)報》第(di)(di)(di)一卷(juan)第(di)(di)(di)三(san)期上發(fa)表(biao)了《四值命題演算與四色問(wen)題》,1955年(nian)(nian)6月他(ta)在(zai)(zai)《數(shu)(shu)學(xue)學(xue)報》上發(fa)表(biao)了《No-值命題演算的(de)(de)有窮值的(de)(de)具有函數(shu)(shu)完全性(xing)的(de)(de)子系統》。
在這一系(xi)(xi)列文章(zhang)里,胡世華建立了(le)一些多值邏輯的(de)系(xi)(xi)統并(bing)考慮(lv)了(le)多值邏輯在數學其他分支中的(de)應用。
在《m-valued subsystem of(m十n)-valued propositional cal-culus》一文(wen)里他(ta)對任何(m十n)-值(zhi)的(de)(de)命題演算(suan)系(xi)統,構造出一個完(wan)全的(de)(de)m-值(zhi)子系(xi)統。
在(zai)《一個No-值(zhi)命題演算的構造》一文里,他構造了一個No-值(zhi)命題演算的語(yu)言規則,并(bing)且把建立的系統記為(wei)N。他還(huan)在(zai)文章(zhang)里給出了N的若干基本的語(yu)法定理。
在《四(si)(si)值命題(ti)(ti)演算(suan)與四(si)(si)色(se)(se)問題(ti)(ti)》一文里,他和陳強業指出(chu)四(si)(si)值命題(ti)(ti)演算(suan)與四(si)(si)色(se)(se)問題(ti)(ti)的(de)聯系,從(cong)而把四(si)(si)色(se)(se)問題(ti)(ti)還(huan)原到(dao)四(si)(si)值命題(ti)(ti)的(de)問題(ti)(ti)。
在(zai)《No-值命題演(yan)(yan)算(suan)的(de)(de)有窮值的(de)(de)具有函(han)數完全(quan)性(xing)的(de)(de)子系統(tong)》一(yi)文(wen)中,他給(gei)出了一(yi)種(zhong)方法,這種(zhong)方法可以把任(ren)何一(yi)個(ge)完全(quan)的(de)(de)具有函(han)數的(de)(de)完全(quan)性(xing)的(de)(de)有窮值命題演(yan)(yan)算(suan)嵌入到一(yi)個(ge)No-值命題演(yan)(yan)算(suan)中去成為其子系統(tong)。A.普賴(lai)爾(Prior)的(de)(de)書《Formal Logic》之中就曾引用胡世華的(de)(de)多值邏輯結果。
20世(shi)(shi)紀(ji)50年(nian)代末期胡世(shi)(shi)華的(de)工(gong)作(zuo)有了(le)(le)一個重(zhong)要的(de)轉變,即他(ta)(ta)由(you)對No-值(zhi)邏(luo)輯(ji)的(de)研(yan)究(jiu)轉為遞歸(gui)函數理(li)論的(de)研(yan)究(jiu)。也(ye)就(jiu)是在(zai)這個時(shi)期,胡世(shi)(shi)華在(zai)中(zhong)(zhong)國(guo)科(ke)學(xue)院數學(xue)研(yan)究(jiu)所里(li)建立了(le)(le)數理(li)邏(luo)輯(ji)研(yan)究(jiu)組(zu)。他(ta)(ta)由(you)中(zhong)(zhong)國(guo)人民大學(xue)調來(lai)了(le)(le)唐稚松、陸鐘萬二(er)位同志,并且(qie)把(ba)1955年(nian)由(you)數學(xue)系(xi)畢業的(de)黃祖良(liang)、楊東(dong)屏也(ye)吸收進(jin)來(lai)建立了(le)(le)數理(li)邏(luo)輯(ji)小組(zu)。從此數理(li)邏(luo)輯(ji)分支在(zai)中(zhong)(zhong)國(guo)科(ke)學(xue)院里(li)得到了(le)(le)發展。
遞歸函數及遞歸論方面的研究
在(zai)談到(dao)他(ta)(ta)在(zai)遞歸(gui)函數(shu)理(li)論的(de)工(gong)作之前我們(men)先介(jie)紹一(yi)下他(ta)(ta)在(zai)經(jing)典(dian)謂(wei)(wei)詞演(yan)算(suan)方(fang)面的(de)工(gong)作。在(zai)經(jing)典(dian)謂(wei)(wei)詞演(yan)算(suan)方(fang)面他(ta)(ta)著重考慮了(le)自然推理(li)的(de)研究(jiu)。他(ta)(ta)在(zai)1964年《數(shu)學(xue)進(jin)展》上發表(biao)的(de)《古典(dian)謂(wei)(wei)詞演(yan)算(suan)》一(yi)文(wen)中(zhong),構造了(le)謂(wei)(wei)詞演(yan)算(suan)系統(tong),證明了(le)有關原數(shu)學(xue)定理(li)并(bing)用(yong)它們(men)描述形式數(shu)學(xue)系統(tong)。
在遞歸函數理論方面胡世華有重要貢獻。50年代后半期,他本人(有時候和他的助手、學生合作)對遞歸函數理論做了深入的研究。例如他和黃祖良在《數學進展》發表的《加法和乘法》一文中利用函數sum(x,y,z),prod(x,y,z)及泛函
H0x=0f(x)=f(0),Hy’x=0f(x)=β(y,Hyx=0f(a(x))),它的(de)一般形式可表示為(wei)F0x=0a(x)=a(0),Fy’x=0a(x)=β(y,Fyx=0a(a1(x)),…,Fyx=0a(ak(x))).要解決的(de)問題是(shi)(shi)Fyε=0a(x)是(shi)(shi)否原始遞(di)歸于(yu)(yu)β,r,r1,…,rk?這個問題是(shi)(shi)1954年12月南(nan)京大(da)學莫紹揆教授向他提出(chu)的(de)。在上(shang)述文(wen)章中胡世(shi)華證(zheng)明了問題有肯定的(de)解,即Fyx=0a(x)原始遞(di)歸于(yu)(yu)β,a,a1,…,ak。
這項研(yan)究表明了(le)雖然當時國(guo)內只(zhi)有中國(guo)科學(xue)(xue)院(yuan)數學(xue)(xue)研(yan)究所和(he)南(nan)京大學(xue)(xue)兩個單位(wei)在研(yan)究遞歸(gui)函(han)數理(li)論,但是他們(men)之(zhi)間有很好的(de)學(xue)(xue)術交流(liu),他和(he)莫紹揆相互切(qie)磋相互幫助的(de)關系一直正常發展(zhan)下來(lai),為(wei)遞歸(gui)論在中國(guo)的(de)發展(zhan)創(chuang)造了(le)有利條件(jian)。
胡世(shi)華的這項工(gong)(gong)作(zuo)在(zai)國(guo)際上受(shou)到了重視(shi)。著名遞(di)歸函數(shu)理論專家R.彼得(Peter)就繼續他的工(gong)(gong)作(zuo)并(bing)把他的結果加以推廣。
到(dao)了(le)(le)1960年(nian),隨著電子計(ji)算(suan)(suan)機的(de)(de)(de)發(fa)展(zhan),世界(jie)上若(ruo)干國家的(de)(de)(de)科學家注意到(dao)了(le)(le)應(ying)該有一種(zhong)直接在字上定(ding)義的(de)(de)(de)可計(ji)算(suan)(suan)函(han)(han)數(shu)(shu),以利于對符號(hao)串(chuan)加(jia)以處理。差不(bu)多與胡世華同時,美國的(de)(de)(de)麥卡錫(Mc-Carthy),南斯(si)拉夫的(de)(de)(de)武克(ke)維奇(qi)(Vuckvic)都進行了(le)(le)這項研究(jiu)工作。胡世華在1969年(nian)發(fa)表了(le)(le)3篇(pian)文(wen)章(zhang)(zhang)(zhang),總(zong)標題為(wei)《遞(di)歸(gui)算(suan)(suan)法論》。第(di)(di)一篇(pian)也稱為(wei)《遞(di)歸(gui)算(suan)(suan)法》。在這篇(pian)文(wen)章(zhang)(zhang)(zhang)里他(ta)介紹了(le)(le)一種(zhong)字上定(ding)義的(de)(de)(de)可計(ji)算(suan)(suan)函(han)(han)數(shu)(shu)。第(di)(di)二篇(pian)稱為(wei)《核(he)函(han)(han)數(shu)(shu)》,是他(ta)和陸鐘萬合作發(fa)表的(de)(de)(de),是3篇(pian)中(zhong)(zhong)最精采的(de)(de)(de)部分。在這篇(pian)文(wen)章(zhang)(zhang)(zhang)中(zhong)(zhong),他(ta)們(men)用一種(zhong)非常(chang)簡(jian)練的(de)(de)(de)方式(shi)定(ding)義了(le)(le)一種(zhong)構造(zao)上很(hen)簡(jian)單(dan)但(dan)功能很(hen)強的(de)(de)(de)核(he)函(han)(han)數(shu)(shu)類。這篇(pian)文(wen)章(zhang)(zhang)(zhang)的(de)(de)(de)處理方式(shi)受到(dao)同行的(de)(de)(de)稱贊(zan)。第(di)(di)三(san)篇(pian)稱為(wei)《遞(di)歸(gui)函(han)(han)數(shu)(shu)的(de)(de)(de)范式(shi)》,在文(wen)章(zhang)(zhang)(zhang)中(zhong)(zhong),他(ta)給出了(le)(le)字上遞(di)歸(gui)函(han)(han)數(shu)(shu)用核(he)函(han)(han)數(shu)(shu)表示的(de)(de)(de)范式(shi)。
胡(hu)世華(hua)原(yuan)打(da)算(suan)考(kao)慮遞歸算(suan)法在(zai)計算(suan)機程(cheng)序設計語言(yan)中的(de)(de)(de)應(ying)用(yong),可是(shi)由于當(dang)時的(de)(de)(de)政治條件(jian)造成的(de)(de)(de)原(yuan)因中斷了這種研究,因此(ci)遞歸算(suan)法的(de)(de)(de)工作(zuo)不(bu)如(ru)麥卡錫的(de)(de)(de)工作(zuo)那(nei)么完(wan)整,未(wei)包含任何在(zai)軟件(jian)上的(de)(de)(de)應(ying)用(yong)。
早在(zai)(zai)1990年(nian)胡(hu)世(shi)華就(jiu)在(zai)(zai)遞(di)歸(gui)算(suan)法的(de)基(ji)礎上(shang)考慮了字上(shang)可(ke)(ke)計算(suan)函(han)數在(zai)(zai)證明論(lun)(lun)中(zhong)的(de)應用,他(ta)在(zai)(zai)1990年(nian)《中(zhong)國科學》上(shang)發表了《遞(di)歸(gui)結(jie)構(gou)(gou)——可(ke)(ke)解(jie)決(jue)性(xing)理(li)論(lun)(lun)I》及(ji)《遞(di)歸(gui)結(jie)構(gou)(gou)理(li)論(lun)(lun)的(de)形式系(xi)統和語(yu)句的(de)可(ke)(ke)判定(ding)性(xing)——可(ke)(ke)解(jie)決(jue)性(xing)理(li)論(lun)(lun)Ⅱ》。在(zai)(zai)第(di)一篇(pian)文章中(zhong)他(ta)提(ti)出(chu)(chu)了一類代數結(jie)構(gou)(gou)稱之為(wei)遞(di)歸(gui)結(jie)構(gou)(gou),在(zai)(zai)第(di)二篇(pian)文章中(zhong)他(ta)建(jian)立了遞(di)歸(gui)結(jie)構(gou)(gou)的(de)形式系(xi)統并給出(chu)(chu)判定(ding)其語(yu)句的(de)可(ke)(ke)判定(ding)性(xing)充要條件。后來胡(hu)先生(sheng)又寫出(chu)(chu)了第(di)三篇(pian)文章《可(ke)(ke)解(jie)決(jue)性(xing)理(li)論(lun)(lun)Ⅲ》,他(ta)在(zai)(zai)文中(zhong)給出(chu)(chu)了一個稱為(wei)條件的(de)判別(bie)條件。他(ta)證明了目(mu)前數論(lun)(lun)中(zhong)許(xu)多未解(jie)決(jue)問(wen)題是可(ke)(ke)判定(ding)的(de),即(ji)要么可(ke)(ke)證要么可(ke)(ke)駁。
在胡世(shi)華的(de)帶動下,中國科學院軟件研究所的(de)遞歸函數及(ji)遞歸論的(de)研究有了很(hen)好的(de)發展。其(qi)后(hou)來人如楊(yang)東屏、眭躍飛、蔣志根(gen)、李昂(ang)生、張慶龍(long)等都曾做(zuo)出了一(yi)些(xie)較好的(de)工作。
對中國計算機科學技術發展的貢獻
在20世紀50年(nian)代胡世華(hua)就倡(chang)導數理邏(luo)輯和計算(suan)機的(de)結合。今天數理邏(luo)輯和計算(suan)機的(de)密切聯系是大家都承認的(de)事,但是在當時胡世華(hua)是經(jing)過很(hen)大努力,并克服種(zhong)種(zhong)困難來說明這點的(de)。
胡世(shi)華(hua)多次在報(bao)紙(zhi)雜志上(shang)(shang)宣傳數理(li)邏輯和電子(zi)計(ji)(ji)算(suan)(suan)機的(de)關(guan)系,其代(dai)表性的(de)文(wen)章(zhang)是他(ta)于1957年在《哲學研究(jiu)》上(shang)(shang)發表的(de)《數理(li)邏輯的(de)基(ji)本(ben)特征(zheng)與科學意義》。在這(zhe)篇文(wen)章(zhang)里胡世(shi)華(hua)回顧了(le)通(tong)用(yong)電子(zi)計(ji)(ji)算(suan)(suan)機的(de)歷史,指出正是J.馮·諾依曼(von Neumann)受(shou)了(le)A.M.圖(tu)靈(Turing)定義的(de)通(tong)用(yong)圖(tu)靈機的(de)啟示而設(she)計(ji)(ji)了(le)第一(yi)架通(tong)用(yong)電子(zi)計(ji)(ji)算(suan)(suan)機EDVAC.也講了(le)圖(tu)靈本(ben)人領導了(le)計(ji)(ji)算(suan)(suan)機ACE的(de)設(she)計(ji)(ji)。由此胡世(shi)華(hua)闡(chan)述了(le)數理(li)邏輯中(zhong)能(neng)行性的(de)研究(jiu)和電子(zi)計(ji)(ji)算(suan)(suan)機發展的(de)密切關(guan)系。胡世(shi)華(hua)還參加了(le)中(zhong)國(guo)電子(zi)計(ji)(ji)算(suan)(suan)機發展規劃小組(zu),并(bing)和小組(zu)其他(ta)人一(yi)起去(qu)蘇聯征(zheng)求了(le)他(ta)們的(de)意見。
胡(hu)世(shi)華撰寫了(le)有關數(shu)(shu)理(li)(li)邏(luo)(luo)輯(ji)(ji)的(de)(de)專著和(he)(he)許(xu)多闡(chan)明數(shu)(shu)理(li)(li)邏(luo)(luo)輯(ji)(ji)和(he)(he)數(shu)(shu)學(xue)基(ji)(ji)(ji)礎的(de)(de)特(te)征(zheng)和(he)(he)意(yi)義的(de)(de)論(lun)(lun)文,例(li)如(ru)《數(shu)(shu)理(li)(li)邏(luo)(luo)輯(ji)(ji)基(ji)(ji)(ji)礎》(與陸鐘萬合著)、《數(shu)(shu)理(li)(li)邏(luo)(luo)輯(ji)(ji)的(de)(de)基(ji)(ji)(ji)本特(te)征(zheng)和(he)(he)科(ke)(ke)學(xue)意(yi)義》、《略論(lun)(lun)數(shu)(shu)理(li)(li)邏(luo)(luo)輯(ji)(ji)的(de)(de)發(fa)(fa)(fa)生、發(fa)(fa)(fa)展(zhan)和(he)(he)現狀》、《數(shu)(shu)理(li)(li)邏(luo)(luo)輯(ji)(ji)》和(he)(he)《數(shu)(shu)學(xue)基(ji)(ji)(ji)礎》。1958年,在(zai)胡(hu)世(shi)華倡導下科(ke)(ke)學(xue)院(yuan)數(shu)(shu)學(xue)研(yan)究所(suo)辦起了(le)數(shu)(shu)理(li)(li)邏(luo)(luo)輯(ji)(ji)訓(xun)(xun)練班。參加者在(zai)班里不但學(xue)習了(le)數(shu)(shu)理(li)(li)邏(luo)(luo)輯(ji)(ji)知識,也學(xue)了(le)大量計(ji)算(suan)(suan)機(ji)知識。胡(hu)世(shi)華的(de)(de)許(xu)多助(zhu)手(shou)和(he)(he)學(xue)生都參加了(le)具(ju)體的(de)(de)計(ji)算(suan)(suan)機(ji)邏(luo)(luo)輯(ji)(ji)設計(ji)和(he)(he)編制程序(xu)工(gong)作(zuo),其中不少人都轉去搞計(ji)算(suan)(suan)機(ji)科(ke)(ke)學(xue)理(li)(li)論(lun)(lun)和(he)(he)技術(shu)工(gong)作(zuo),訓(xun)(xun)練班中的(de)(de)許(xu)多人也在(zai)各高等(deng)學(xue)校計(ji)算(suan)(suan)機(ji)系發(fa)(fa)(fa)揮了(le)作(zuo)用。
中(zhong)(zhong)國科學(xue)(xue)院軟件研(yan)究所的自然科學(xue)(xue)獎(jiang)一(yi)等(deng)獎(jiang)獲(huo)(huo)得者(zhe)唐稚松,二等(deng)獎(jiang)獲(huo)(huo)得者(zhe)周巢塵,三等(deng)獎(jiang)獲(huo)(huo)得者(zhe)陶仁驥都(dou)曾是(shi)胡世華的助(zhu)手或學(xue)(xue)生,他們在計算(suan)機的理(li)論和技術中(zhong)(zhong)都(dou)做出了重要貢獻。當(dang)年的訓練班(ban)里不少人也都(dou)是(shi)目(mu)前計算(suan)機界的重要人物,如西北大學(xue)(xue)的郝(hao)克剛等(deng)人。
胡(hu)世(shi)華對數(shu)學(xue)哲學(xue)也有貢獻,他寫過一些(xie)有影響(xiang)的(de)文(wen)章,包括介(jie)紹數(shu)理(li)邏輯的(de)基本特征以及(ji)和其他學(xue)科的(de)關(guan)系,數(shu)學(xue)有關(guan)基礎問題的(de)看(kan)法等文(wen)章。
胡世(shi)華(hua)對中(zhong)國數理邏(luo)輯、計算機(ji)科學(xue)、科學(xue)哲(zhe)學(xue)和(he)數學(xue)史等(deng)學(xue)科做出了獨特(te)貢獻(xian),胡世(shi)華(hua)執(zhi)(zhi)著科學(xue)、獻(xian)身科學(xue)的精神(shen),溫厚、執(zhi)(zhi)著、寬容的珍貴品德是(shi)軟件所和(he)中(zhong)國數理邏(luo)輯、計算機(ji)科學(xue)領域永(yong)遠(yuan)的精神(shen)財富。(中(zhong)科院軟件所所長李明樹評)
對學(xue)(xue)者、特別(bie)是(shi)作基(ji)礎(chu)研究的(de)學(xue)(xue)者而言,最了不(bu)起的(de)成(cheng)就莫過于胡(hu)世(shi)華敏銳(rui)與超(chao)前的(de)預見(jian)性。20世(shi)紀50年代(dai),胡(hu)世(shi)華就預見(jian)到每秒運算百(bai)萬次、甚至千萬次的(de)計算機一(yi)定能被制造出(chu)來,這種觀點在當時(shi)那個年代(dai)是(shi)十(shi)分(fen)超(chao)前的(de),歷(li)史(shi)的(de)發展驗證了胡(hu)先(xian)生了不(bu)起的(de)預見(jian)。(中科院軟(ruan)件(jian)所(suo)首任所(suo)長許(xu)孔(kong)時(shi)評(ping))
胡世華(hua)從事(shi)數理(li)邏輯(ji)研(yan)究,注重(zhong)理(li)論創新,大力(li)提(ti)倡應用(yong)數理(li)邏輯(ji)研(yan)究計(ji)算(suan)機科學,表(biao)現出他深刻的科學思想和卓越(yue)的學術(shu)遠見(jian)。(中(zhong)科院軟件所評)