胡世華 - 生平概況

胡世華，又名胡子華，祖籍浙江吳興，1912年1月28日生于上海市，久居北京。

胡世華的父親胡惟德曾任北洋政府國務(wù)總理和駐外國公使。他希望教育他的兒子亦走從政的道路。但胡世華對這種希望是極不滿意的，它反而起到了使他在思想上背離他父親的作用。

1929—1932年間，胡世華進(jìn)入天津南開大學(xué)，讀預(yù)科兩年，本科一年，表現(xiàn)出對數(shù)學(xué)的興趣。1932年轉(zhuǎn)學(xué)至北京大學(xué)，本來想讀數(shù)學(xué)系，但由于他父親不贊成，改為入哲學(xué)系學(xué)習(xí)。1935年畢業(yè)于北京大學(xué)，以后在該校研究數(shù)學(xué)。

在北京大學(xué)學(xué)習(xí)期間，胡世華與李爾重、杜毓?jié)返扔羞M(jìn)步思想的同學(xué)結(jié)識，后兩位很早就參加了革命。在他們的影響下，胡世華表示了要求進(jìn)步的意向。但他們建議他根據(jù)自己的具體情況繼續(xù)讀書求學(xué)，于是使他走上從事學(xué)術(shù)研究的道路。

1936年3月，胡世華與夏好仁女士結(jié)婚，有子胡永平和胡永千。

1936年胡世華偕同夏好仁赴歐洲。1936—1940年間，他先后在奧地利維也納大學(xué)、德國西威廉敏思特大學(xué)，以及在法國和瑞士學(xué)習(xí)和研究數(shù)理邏輯和數(shù)學(xué)基礎(chǔ)，其中主要的是在西威廉敏思特大學(xué)的學(xué)習(xí)和研究中完成了博士學(xué)位論文《偽布爾代數(shù)及拓?fù)浠�礎(chǔ)》。

1941年回國后，自同年8月至1943年2月，胡世華任廣東中山大學(xué)數(shù)學(xué)天文系副教授；1943年2月至1946年4月任重慶中央大學(xué)哲學(xué)系數(shù)理邏輯、數(shù)學(xué)基礎(chǔ)教授；1946年4月至1962年任北京大學(xué)哲學(xué)系數(shù)理邏輯、數(shù)學(xué)基礎(chǔ)教授；1950年起調(diào)任中國科學(xué)院數(shù)學(xué)研究所研究員、數(shù)理邏輯研究室主任，直至1963年；1958年至1963年又兼任中國科學(xué)技術(shù)大學(xué)應(yīng)用數(shù)學(xué)系工程邏輯教研室主任；1963年至1985年任中國科學(xué)院計(jì)算技術(shù)研究所研究員、第九研究室主任；1985年起任中國科學(xué)院軟件研究所研究員。1979年起兼任北京計(jì)算機(jī)學(xué)院院長、名譽(yù)院長。

自1956年起，胡世華參加了歷屆全國科學(xué)規(guī)劃的制訂工作。

胡世華參加了中國數(shù)學(xué)會、中國計(jì)算機(jī)學(xué)會、中國電子學(xué)會、中國邏輯學(xué)會和中國自然辯證法研究會，任理事或委員；曾任《中國科學(xué)》 、 《科學(xué)通報(bào)》 、 《數(shù)學(xué)學(xué)報(bào)》和《理論計(jì)算機(jī)科學(xué)》 （歐洲理論計(jì)算機(jī)科學(xué)協(xié)會的機(jī)關(guān)刊物）的編委以及《中國大百科全書》數(shù)學(xué)卷和哲學(xué)卷的編委。

自1980年起，胡世華任中國科學(xué)院院士，并任計(jì)算機(jī)科學(xué)組組長。

胡世華于1949年參加中國民主同盟，1954年參加中國共產(chǎn)黨。

胡世華 - 學(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)有一定影響的工作。

胡世華于30年代末在肖爾茲和柯特兩教授指導(dǎo)下完成博士學(xué)位論文《偽布爾代數(shù)及拓?fù)浠�礎(chǔ)》，其中建立了拓?fù)淇臻g中“非完整的點(diǎn)”的概念和理論，這可以看作是60年代開始發(fā)展的非標(biāo)準(zhǔn)分析的空間（隨之必然有關(guān)于非標(biāo)準(zhǔn)點(diǎn)的拓?fù)淇臻g）中“非標(biāo)準(zhǔn)點(diǎn)”概念和理論的一種雛形。該文的全文未公開發(fā)表，內(nèi)容的詳細(xì)提要被刊于《學(xué)術(shù)季刊》。

本世紀(jì)40年代時(shí)胡世華就開始發(fā)表了他的數(shù)理邏輯研究成果。1943年在《學(xué)術(shù)季刊》文哲號一卷三期里，胡世華發(fā)表了《論人造的語言》 。在這篇文章中他介紹了人工語言的特點(diǎn)、作用，并向國內(nèi)介紹了符號邏輯。1945年在《學(xué)原》第一卷第五期里胡世華發(fā)表了《再現(xiàn)算術(shù)新系統(tǒng)及其邏輯常詞》。在這篇文章里他建立了一個(gè)新的遞歸算術(shù)系統(tǒng)ＲＡ。

由40年代末到50年代初，胡世華的研究領(lǐng)域主要在多值邏輯方面。1950年他在《中國科學(xué)》第一卷第二至四期發(fā)表了《一個(gè)No－值命題演算的構(gòu)造》，1951年9月他與陳強(qiáng)業(yè)在《中國數(shù)學(xué)學(xué)報(bào)》第一卷第三期上發(fā)表了《四值命題演算與四色問題》，1955年6月他在《數(shù)學(xué)學(xué)報(bào)》上發(fā)表了《No－值命題演算的有窮值的具有函數(shù)完全性的子系統(tǒng)》。

在這一系列文章里，胡世華建立了一些多值邏輯的系統(tǒng)并考慮了多值邏輯在數(shù)學(xué)其他分支中的應(yīng)用。

在他對任何（ｍ十ｎ）－值的命題演算系統(tǒng)，構(gòu)造出一個(gè)完全的ｍ－值子系統(tǒng)。

在《一個(gè)No－值命題演算的構(gòu)造》一文里，他構(gòu)造了一個(gè)Ｎｏ－值命題演算的語言規(guī)則，并且把建立的系統(tǒng)記為N。他還在文章里給出了Ｎ的若干基本的語法定理。

在《四值命題演算與四色問題》一文里，他和陳強(qiáng)業(yè)指出四值命題演算與四色問題的聯(lián)系，從而把四色問題還原到四值命題的問題。

在《No－值命題演算的有窮值的具有函數(shù)完全性的子系統(tǒng)》一文中，他給出了一種方法，這種方法可以把任何一個(gè)完全的具有函數(shù)的完全性的有窮值命題演算嵌入到一個(gè)No－值命題演算中去成為其子系統(tǒng)。

胡世華的這些工作受到了國際上的注意，例如普賴爾的書中就引用了胡世華的多值邏輯結(jié)果。

50年代末期胡世華的工作有了一個(gè)重要的轉(zhuǎn)變，即他由對Ｎｏ－值邏輯的研究轉(zhuǎn)為遞歸函數(shù)理論的研究。也就是在這個(gè)時(shí)期，胡世華在中國科學(xué)院數(shù)學(xué)研究所里建立了數(shù)理邏輯研究組。他由中國人民大學(xué)調(diào)來了唐稚松、陸鐘萬二位同志，并且把1955年由數(shù)學(xué)系畢業(yè)的黃祖良、楊東屏也吸收進(jìn)來建立了數(shù)理邏輯小組。從此數(shù)理邏輯分支在中國科學(xué)院里得到了發(fā)展。

在談到他在遞歸函數(shù)理論的工作之前我們先介紹一下他在經(jīng)典謂詞演算方面的工作。在經(jīng)典謂詞演算方面他著重考慮了自然推理的研究。他在1964年《數(shù)學(xué)進(jìn)展》上發(fā)表的《古典謂詞演算》一文中，構(gòu)造了謂詞演算系統(tǒng)，證明了有關(guān)原數(shù)學(xué)定理并用它們描述形式數(shù)學(xué)系統(tǒng)。在這篇文章的基礎(chǔ)上，胡世華又和陸鐘萬合作寫出了《數(shù)理邏輯基礎(chǔ)》（上、下冊），并獲得了國家教委高等學(xué)校優(yōu)秀教材二等獎(jiǎng)。

在遞歸函數(shù)理論方面胡世華有重要貢獻(xiàn)。50年代后半期，他本人（有時(shí)候和他的助手、學(xué)生合作）對遞歸函數(shù)理論做了深入的研究。例如他和黃祖良在《數(shù)學(xué)進(jìn)展》發(fā)表的《加法和乘法》一文中利用函數(shù)sum（ｘ，ｙ，ｚ），prod（ｘ，ｙ，ｚ）及泛函<ｘ〉，<�撸�〉深入地研究了算術(shù)謂詞的表示函數(shù)。他和楊東屏在《數(shù)學(xué)學(xué)報(bào)》發(fā)表的《關(guān)于原始遞歸性》一文中研究了原始遞歸算子在可計(jì)算函數(shù)類的作用。這方面第一個(gè)受到國際上重視的文章是他在《數(shù)學(xué)學(xué)報(bào)》發(fā)表的《一種遞歸式的原始遞歸性》一文。他在這篇文章中考慮了各種內(nèi)容很豐富的泛函：

Ｈ0ｘ＝0ｆ（ｘ）＝ｆ（0），Ｈｙ’ｘ＝0ｆ（ｘ）＝β（ｙ，Ｈｙｘ＝0ｆ（ａ（ｘ））），它的一般形式可表示為Ｆ0ｘ＝0ａ（ｘ）＝ａ（0），Ｆｙ’ｘ＝0ａ（ｘ）＝β（ｙ，Ｆｙｘ＝0ａ（ａ1（ｘ）），…，Ｆｙｘ＝0ａ（ａｋ（ｘ）））．要解決的問題是Ｆｙε＝0ａ（ｘ）是否原始遞歸于β，ｒ，ｒ1，…，ｒｋ？這個(gè)問題是1954年12月南京大學(xué)莫紹揆教授向他提出的。在上述文章中胡世華證明了問題有肯定的解，即Ｆｙｘ＝0ａ（ｘ）原始遞歸于β，ａ，ａ1，…，ａｋ。

這項(xiàng)研究表明了雖然當(dāng)時(shí)國內(nèi)只有中國科學(xué)院數(shù)學(xué)研究所和南京大學(xué)兩個(gè)單位在研究遞歸函數(shù)理論，但是他們之間有很好的學(xué)術(shù)交流，他和莫紹揆相互切磋相互幫助的關(guān)系一直正常發(fā)展下來，為遞歸論在中國的發(fā)展創(chuàng)造了有利條件。

胡世華的這項(xiàng)工作在國際上受到了重視。著名遞歸函數(shù)理論專家彼得就繼續(xù)他的工作并把他的結(jié)果加以推廣。

到了1960年，隨著電子計(jì)算機(jī)的發(fā)展，世界上若干國家的科學(xué)家注意到了應(yīng)該有一種直接在字上定義的可計(jì)算函數(shù)，以利于對符號串加以處理。差不多與胡世華同時(shí)，美國的麥卡錫，南斯拉夫的武克維奇都進(jìn)行了這項(xiàng)研究工作。胡世華在1969年發(fā)表了3篇文章，總標(biāo)題為《遞歸算法論》 。第一篇也稱為《遞歸算法》。在這篇文章里他介紹了一種字上定義的可計(jì)算函數(shù)。第二篇稱為《核函數(shù)》 ，是他和陸鐘萬合作發(fā)表的，是3篇中最精采的部分。在這篇文章中，他們用一種非常簡練的方式定義了一種構(gòu)造上很簡單但功能很強(qiáng)的核函數(shù)類。這篇文章的處理方式受到同行的稱贊。第三篇稱為《遞歸函數(shù)的范式》，在文章中，他給出了字上遞歸函數(shù)用核函數(shù)表示的范式。

遞歸算法是國際上較早出現(xiàn)的直接定義字上可計(jì)算函數(shù)。胡世華原打算隨即考慮它在計(jì)算機(jī)程序設(shè)計(jì)語言中的應(yīng)用，可是由于當(dāng)時(shí)的政治條件造成的原因中斷了這種研究，因此遞歸算法的工作不如麥卡錫的工作那么完整，未包含任何在軟件上的應(yīng)用。

胡世華雖已耄耋之年仍耕耘不已。早在1990年胡世華就在遞歸算法的基礎(chǔ)上考慮了字上可計(jì)算函數(shù)在證明論中的應(yīng)用，他在1990年《中國科學(xué)》上發(fā)表了《遞歸結(jié)構(gòu)——可解決性理論Ｉ》及《遞歸結(jié)構(gòu)理論的形式系統(tǒng)和語句的可判定性——可解決性理論Ⅱ》。在第一篇文章中他提出了一類代數(shù)結(jié)構(gòu)稱之為遞歸結(jié)構(gòu)，在第二篇文章中他建立了遞歸結(jié)構(gòu)的形式系統(tǒng)并給出判定其語句的可判定性充要條件。后來胡先生又寫出了第三篇文章《可解決性理論Ⅲ》，他在文中給出了一個(gè)稱為條件的判別條件。他證明了目前數(shù)論中許多未解決問題是可判定的，即要么可證要么可駁。

在胡世華的帶動(dòng)下，中國科學(xué)院軟件研究所的遞歸函數(shù)及遞歸論的研究有了很好的發(fā)展。其后來人如楊東屏、眭躍飛、蔣志根、李昂生、張慶龍等都曾做出了一些較好的工作。

胡世華 - 科學(xué)技術(shù)貢獻(xiàn)

在50年代胡世華就倡導(dǎo)數(shù)理邏輯和計(jì)算機(jī)的結(jié)合。今天數(shù)理邏輯和計(jì)算機(jī)的密切聯(lián)系是大家都承認(rèn)的事，但是在當(dāng)時(shí)胡世華是經(jīng)過很大努力，并克服種種困難來說明這點(diǎn)的。首先，我們回憶一下中華人民共和國成立以來數(shù)理邏輯在中國的命運(yùn)。

中華人民共和國成立后由于蘇聯(lián)批判數(shù)理邏輯，中國哲學(xué)界也跟著批判過數(shù)理邏輯。1956年春節(jié)毛澤東主席在宴請科學(xué)家時(shí)向金岳霖先生講，數(shù)理邏輯重要，應(yīng)該搞；還建議他寫書介紹數(shù)理邏輯并表示書出來后他愿意看。毛主席的話給了中國的數(shù)理邏輯工作者極大的鼓舞。但是由于毛主席的話未正式發(fā)表，所以仍然時(shí)常有人批判數(shù)理邏輯，甚至到“文化大革命”時(shí)在上海、北京的雜志上都有批判數(shù)理邏輯的文章。因此肯定數(shù)理邏輯，說明它和電子計(jì)算機(jī)有密切關(guān)系，在當(dāng)時(shí)是比較難為大家所接受的。

胡世華多次在報(bào)紙雜志上宣傳數(shù)理邏輯和電子計(jì)算機(jī)的關(guān)系，其代表性的文章是他于1957年在《哲學(xué)研究》上發(fā)表的《數(shù)理邏輯的基本特征與科學(xué)意義》。在這篇文章里胡先生回顧了通用電子計(jì)算機(jī)的歷史，指出正是馮?諾依曼受了圖靈定義的通用圖靈機(jī)的啟示而設(shè)計(jì)了第一架通用電子計(jì)算機(jī)．也講了圖靈本人領(lǐng)導(dǎo)了計(jì)算機(jī)的設(shè)計(jì)。由此胡世華闡述了數(shù)理邏輯中能行性的研究和電子計(jì)算機(jī)發(fā)展的密切關(guān)系。

胡世華還參加了中國電子計(jì)算機(jī)發(fā)展規(guī)劃小組，并和小組其他人一起去蘇聯(lián)征求了他們的意見。但是蘇聯(lián)某些院士不同意他的意見，他們認(rèn)為數(shù)理邏輯對計(jì)算機(jī)的發(fā)展起不了作用。這在當(dāng)時(shí)對他會產(chǎn)生一些壓力。但是科學(xué)院當(dāng)時(shí)的副院長張勁夫同志支持他的看法，他向胡世華說，你可以堅(jiān)持自己的看法來制訂規(guī)劃。

胡世華 - 培養(yǎng)人才

胡世華還撰寫了有關(guān)數(shù)理邏輯的專著和許多闡明數(shù)理邏輯和數(shù)學(xué)基礎(chǔ)的特征和意義的論文，例如《數(shù)理邏輯基礎(chǔ)》 （與陸鐘萬合著）、 《數(shù)理邏輯的基本特征和科學(xué)意義》 、 《略論數(shù)理邏輯的發(fā)生、發(fā)展和現(xiàn)狀》 、 《數(shù)理邏輯》和《數(shù)學(xué)基礎(chǔ)》 。1958年，在胡世華倡導(dǎo)下科學(xué)院數(shù)學(xué)研究所辦起了數(shù)理邏輯訓(xùn)練班。參加者在班里不但學(xué)習(xí)了數(shù)理邏輯知識，也學(xué)了大量計(jì)算機(jī)知識。胡世華的許多助手和學(xué)生都參加了具體的計(jì)算機(jī)邏輯設(shè)計(jì)和編制程序工作，其中不少人都轉(zhuǎn)去搞計(jì)算機(jī)科學(xué)理論和技術(shù)工作，訓(xùn)練班中的許多人也在各高等學(xué)校計(jì)算機(jī)系發(fā)揮了作用。

中國科學(xué)院軟件研究所的自然科學(xué)獎(jiǎng)一等獎(jiǎng)獲得者唐稚松，二等獎(jiǎng)獲得者周巢塵，三等獎(jiǎng)獲得者陶仁驥都曾是胡世華的助手或?qū)W生，他們在計(jì)算機(jī)的理論和技術(shù)中都做出了重要貢獻(xiàn)。當(dāng)年的訓(xùn)練班里不少人也都是目前計(jì)算機(jī)界的重要人物，如西北大學(xué)的郝克剛等人。

胡世華對數(shù)學(xué)哲學(xué)也有貢獻(xiàn)，他寫過一些有影響的文章，包括介紹數(shù)理邏輯的基本特征以及和其他學(xué)科的關(guān)系，數(shù)學(xué)有關(guān)基礎(chǔ)問題的看法等文章。

胡世華熱愛祖國，擁護(hù)中國共產(chǎn)黨。他對國家科學(xué)技術(shù)和教育事業(yè)的發(fā)展十分關(guān)注。他重視基礎(chǔ)研究，重視理論聯(lián)系實(shí)際。在研究工作中，他嚴(yán)肅認(rèn)真，一絲不茍，刻苦鉆研，數(shù)十年如一日。在培養(yǎng)人才的工作中，他對青年既嚴(yán)格要求，又關(guān)心愛護(hù)。他自身節(jié)儉，生活樸素，待人誠懇，和藹謙遜。他的朋友、同事和學(xué)生，都很敬重他的品德、學(xué)識和奉獻(xiàn)精神。

胡世華 - 人物簡歷

1912年1月28日　生于上海市。
1929—1932年　就讀于天津南開大學(xué)。
1932—1935年　就讀于北京大學(xué)哲學(xué)系。
1936—1940年　就讀于奧地利維也納大學(xué)，德國西威廉敏思特大學(xué)數(shù)學(xué)系，獲哲學(xué)博士學(xué)位。
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年—　兼任北京計(jì)算機(jī)學(xué)院院長、名譽(yù)院長。
1980年—　任中國科學(xué)院院士。
1985年—　任中國科學(xué)院軟件研究所研究員。

胡世華 - 主要論著

1　胡世華．論人造語言．學(xué)術(shù)季刊，1943，1（3）．
2　胡世華．再現(xiàn)算術(shù)新系統(tǒng)及其邏輯量詞．學(xué)園，1945，5．
4　胡世華．一個(gè)四值命題演算與四色問題．中國科學(xué)，1950，1（3）：273－294．　　
5　胡世華．No值命題演算的有窮值的具有函數(shù)完全性的子系統(tǒng)．中國科學(xué)，1955，5：173－191．
6　胡世華．一種遞歸式的原始遞歸性．?dāng)?shù)學(xué)學(xué)報(bào)，1956，6（1）：93—104．
7　胡世華．?dāng)?shù)理邏輯的基本特征與科學(xué)意義．哲學(xué)研究，1957，6：1—44．
8　胡世華．關(guān)于古典演繹邏輯的幾個(gè)問題．哲學(xué)研究，1957，6．
9　胡世華，陸鐘萬．一般遞歸函數(shù)的范式．?dāng)?shù)學(xué)學(xué)報(bào)，1958，8：507－519．
13　胡世華．略論數(shù)理邏輯的發(fā)生發(fā)展和現(xiàn)狀．科學(xué)通報(bào)，1960，6：1—8．
14　胡世華，黃祖良．加法和乘法．?dāng)?shù)學(xué)進(jìn)展，1963，6．
15　胡世華，楊東屏．關(guān)于原始遞歸性．?dāng)?shù)學(xué)學(xué)報(bào)，1964，14（4）：607—618．
16　胡世華．古典謂詞演算．?dāng)?shù)學(xué)進(jìn)展，1964，7（4）：349－396．
17　胡世華．多種類遞歸算法遞歸算法論．全國數(shù)理邏輯專業(yè)學(xué)術(shù)會議論文選集，北京：國防工業(yè)出版社，1965，11—24．
18　胡世華．控制論的發(fā)展．科學(xué)通報(bào)，1965，10：862—869．
19　胡世華．算法語言的描述問題．748會議論文，中國科學(xué)院計(jì)算技術(shù)研究所，1973，1－48．
20　胡世華．如何描述程序語言．電子計(jì)算機(jī)動(dòng)態(tài)，1976，9：1－29．
21　胡世華．計(jì)算機(jī)對數(shù)學(xué)的影響．百科知識，1981（10）．
22　胡世華，陸鐘萬．?dāng)?shù)理邏輯基礎(chǔ)（上、下冊）．北京：科學(xué)出版社，1981．
23　胡世華．信息時(shí)代的數(shù)學(xué)．?dāng)?shù)學(xué)進(jìn)展，1988，17：11－20．
24　胡世華．?dāng)?shù)理邏輯．中國大百科全書數(shù)學(xué)卷，北京：中國大百科全書出版社，1988，588－593．
25　胡世華．?dāng)?shù)學(xué)基礎(chǔ)．中國大百科全書數(shù)學(xué)卷，北京：中國大百科全書出版社，1988，605－608．
26　胡世華．遞歸結(jié)構(gòu)－可解決理論．中國科學(xué)，1990（11）：1137—1145．
27　胡世華．遞歸結(jié)構(gòu)理論的形式系統(tǒng)和語言的可判定性——可解決理論．中國科學(xué)，1990（12）：1235—1242．