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