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