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