基本資料
中文名：胡世華
國籍：中國
民族：漢族
出生地：浙江吳興
出生日期：1912年1月28日
逝世日期：1998年4月11日
畢業(yè)院校：天津南開大學(xué)
主要成就：20世紀(jì)30年代建立了拓?fù)淇臻g“非完整點(diǎn)”的概念和理論。
代表作品：《一種遞歸式的原始遞歸性》
人物生平
胡世華，1912年1月28日（中華民國元年）生于上海市，久居北京。胡世華的父親胡惟德曾任北洋政府國務(wù)總理和駐外國公使。
1929年（中華民國一十八年）-1932年（中華民國二十一年），胡世華進(jìn)入天津南開大學(xué)，讀預(yù)科兩年，本科一年，表現(xiàn)出對(duì)數(shù)學(xué)的興趣。
1932年（中華民國二十一年），轉(zhuǎn)學(xué)至北京大學(xué)，本來打算攻讀數(shù)學(xué)系，由于父親干預(yù)，改為入哲學(xué)系學(xué)習(xí)。
1935年（中華民國二十四年）畢業(yè)于北京大學(xué)，隨后在該校研究數(shù)學(xué)。在北京大學(xué)學(xué)習(xí)期間，胡世華與李爾重、杜毓?jié)返扔羞M(jìn)步思想的同學(xué)結(jié)識(shí)，后兩位很早就參加了革命。在他們的影響下，胡世華表示了要求進(jìn)步的意向。但他們建議他根據(jù)自己的具體情況繼續(xù)讀書求學(xué)，于是使他走上從事學(xué)術(shù)研究的道路。
1936年（中華民國二十五年），胡世華偕同夏好仁赴歐洲。他先后在奧地利維也納大學(xué)、德國西威廉敏思特大學(xué)，以及在法國和瑞士學(xué)習(xí)和研究數(shù)理邏輯和數(shù)學(xué)基礎(chǔ)，其中主要的是在西威廉敏思特大
主要貢獻(xiàn)
胡世華，20世紀(jì)30年代建立了拓?fù)淇臻g“非完整點(diǎn)”的概念和理論。20世紀(jì)40年代至20世紀(jì)50年代建立了將較少值具有函數(shù)完全性的邏輯嵌入較多值邏輯中的系統(tǒng)方法。20世紀(jì)60年代初在國際上首先建立了字(有窮基自由半群)上的遞歸函數(shù)和遞歸算法理論。20世紀(jì)70年代對(duì)算法語言的描述問題作了深入研究。20世紀(jì)80年代至20世紀(jì)90年代在遞歸算法的基礎(chǔ)上研究了可計(jì)算函數(shù)在證明論中的應(yīng)用。
數(shù)理邏輯方面的學(xué)術(shù)成就
胡世華是中國國內(nèi)少數(shù)幾位在中國發(fā)展數(shù)理邏輯的代表人物之一。而在中國把邏輯研究超出哲學(xué)的范疇并和數(shù)學(xué)聯(lián)系起來的工作是由胡世華開始的，他是這方面的開創(chuàng)人，也是國內(nèi)把邏輯和計(jì)算機(jī)結(jié)合起來進(jìn)行工作的倡導(dǎo)人。此外他還很關(guān)心數(shù)學(xué)的哲學(xué)問題，并在這方面做過在國內(nèi)有一定影響的工作。
胡世華于20世紀(jì)30年代末在H.肖爾茲（Scholz）和K.柯特（Kothe）兩教授指導(dǎo)下完成博士學(xué)位論文《偽布爾代數(shù)及拓?fù)浠A(chǔ)》，其
獲獎(jiǎng)記錄
胡世華與陸鐘萬合作編寫的《數(shù)理邏輯基礎(chǔ)》（上、下冊(cè)），獲得國家教委高等學(xué)校優(yōu)秀教材二等獎(jiǎng)。
社會(huì)任職
1941年-1943年，任廣東中山大學(xué)數(shù)學(xué)天文系副教授。
1943年-1946年，任重慶中央大學(xué)哲學(xué)系數(shù)理邏輯、數(shù)學(xué)基礎(chǔ)教授。
1946年-1962年，任北京大學(xué)哲學(xué)系數(shù)理邏輯、數(shù)學(xué)基礎(chǔ)教授。
1950年-1962年，任北京大學(xué)哲學(xué)系教授，中國科學(xué)院數(shù)學(xué)研究所研究員、數(shù)理邏輯研究室主任。
1958年-1963年，兼任中國科學(xué)技術(shù)大學(xué)應(yīng)用數(shù)學(xué)系工程邏輯教研室主任。
1963年-1985年，任中國科學(xué)院計(jì)算技術(shù)研究所研究員、第九研究室主任。
1979年-1998年，兼任北京計(jì)算機(jī)學(xué)院院長(zhǎng)、名譽(yù)院長(zhǎng)。
1985年-1998年，任中國科學(xué)院軟件研究所研究員。
此外，胡世華參加了中國數(shù)學(xué)會(huì)、中國計(jì)算機(jī)學(xué)會(huì)、中國電子學(xué)會(huì)、中國邏輯學(xué)會(huì)和中國自然辯證法研究會(huì)，任理事或委員；曾任《中國科學(xué)》、《科學(xué)通報(bào)》、《數(shù)學(xué)學(xué)報(bào)》和《理論計(jì)算機(jī)科學(xué)》（歐洲理論計(jì)算機(jī)科學(xué)協(xié)會(huì)EATCS的機(jī)關(guān)刊物）的編委以及《中國大百科全書》數(shù)學(xué)卷和哲學(xué)
人物評(píng)價(jià)
胡世華對(duì)中國數(shù)理邏輯、計(jì)算機(jī)科學(xué)、科學(xué)哲學(xué)和數(shù)學(xué)史等學(xué)科做出了獨(dú)特貢獻(xiàn)，胡世華執(zhí)著科學(xué)、獻(xiàn)身科學(xué)的精神，溫厚、執(zhí)著、寬容的珍貴品德是軟件所和中國數(shù)理邏輯、計(jì)算機(jī)科學(xué)領(lǐng)域永遠(yuǎn)的精神財(cái)富。（中科院軟件所所長(zhǎng)李明樹評(píng)）
對(duì)學(xué)者、特別是作基礎(chǔ)研究的學(xué)者而言，最了不起的成就莫過于胡世華敏銳與超前的預(yù)見性。20世紀(jì)50年代，胡世華就預(yù)見到每秒運(yùn)算百萬次、甚至千萬次的計(jì)算機(jī)一定能被制造出來，這種觀點(diǎn)在當(dāng)時(shí)那個(gè)年代是十分超前的，歷史的發(fā)展驗(yàn)證了胡先生了不起的預(yù)見。（中科院軟件所首任所長(zhǎng)許孔時(shí)評(píng)）
胡世華從事數(shù)理邏輯研究，注重理論創(chuàng)新，大力提倡應(yīng)用數(shù)理邏輯研究計(jì)算機(jī)科學(xué)，表現(xiàn)出他深刻的科學(xué)思想和卓越的學(xué)術(shù)遠(yuǎn)見。（中科院軟件所評(píng)）
后世紀(jì)念
2012年04月23日，中國科學(xué)院軟件研究所舉行胡世華先生誕辰100周年紀(jì)念活動(dòng)。董韞美、周巢塵、張景中、陸汝鈐、林惠民五位院士和國內(nèi)哲學(xué)、數(shù)理邏輯、計(jì)算機(jī)科學(xué)等方面的著名學(xué)者參加了本次研討會(huì)。軟件所黨委書記李玉成表示：“激勵(lì)后輩學(xué)習(xí)胡世華的科學(xué)思想，秉持繼承與發(fā)展并重，立足于當(dāng)代科學(xué)問題，開創(chuàng)中國數(shù)學(xué)與計(jì)算機(jī)科學(xué)交叉領(lǐng)域的未來，這是追憶和緬懷胡世華先生的意義所在?！?/p>
胡世華 
