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