胡世華（1912年1月28日—1998年4月11日），男，漢族，出生于上海市，籍貫浙江吳興，中國(guó)共產(chǎn)黨黨員，中國(guó)民主同盟盟員，數(shù)理邏輯學(xué)家，計(jì)算機(jī)科學(xué)家，中國(guó)科學(xué)院院士。
胡世華1936年本科畢業(yè)于北京大學(xué)哲學(xué)系和數(shù)學(xué)系。1936年起，先后在維也納大學(xué)、德國(guó)敏斯特威廉大學(xué)學(xué)習(xí)，獲得博士學(xué)位。曾擔(dān)任廣東中山大學(xué)數(shù)學(xué)天文系副教授，中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員，中國(guó)科學(xué)院軟件研究所研究員等職務(wù)。1980年當(dāng)選為中國(guó)科學(xué)院學(xué)部委員（院士）。1998年4月11日因病逝世，終年86歲。
胡世華是中國(guó)開(kāi)展數(shù)理邏輯研究的代表人物之一。出版了《電子計(jì)算機(jī)和一些有關(guān)的理論問(wèn)題》《數(shù)理邏輯基礎(chǔ)》等著作，其中《數(shù)理邏輯基礎(chǔ)》獲國(guó)家教委高等學(xué)校優(yōu)秀教材二等獎(jiǎng)。
人物生平
早期與學(xué)業(yè)經(jīng)歷
胡世華1912年1月28日出生于上海市，籍貫浙江吳興，又名胡子華。1927年畢業(yè)于上海市南洋模范中學(xué)。1929年到1932年間，胡世華在天津南開(kāi)大學(xué)讀預(yù)科兩年和本科一年，對(duì)數(shù)學(xué)很感興趣。1932年轉(zhuǎn)入北京大學(xué)，本來(lái)想讀數(shù)學(xué)系，但由于父親不贊成，改入哲學(xué)系學(xué)習(xí)。1935年畢業(yè)于北京大學(xué)，以后在該校研究數(shù)學(xué)。1936年3月胡世華與夏好仁結(jié)婚。1936年胡世華與夏好仁前往歐洲。1936年到1940年間，先后在維也納大學(xué)，德國(guó)西威廉敏思特大學(xué)以及法國(guó)和瑞士學(xué)習(xí)，研究數(shù)理邏輯和數(shù)學(xué)基礎(chǔ)。在西威廉敏思特大學(xué)就讀期間，他完成了博士學(xué)位論文“偽布爾代數(shù)及拓?fù)浠A(chǔ)”。1939年獲得博士學(xué)位。
工作經(jīng)歷
胡世華在20世紀(jì)30年代建立起了拓?fù)淇臻g“非完整點(diǎn)”的概念和理論。20世紀(jì)40年代到20世紀(jì)50年代期間建立了一種系統(tǒng)方法，可以將較少值具有函數(shù)完全性的邏輯嵌入較多值邏輯中，并開(kāi)始發(fā)表了他的數(shù)理邏輯研究成果。1941年回到中國(guó)。1941年到1943年期間擔(dān)任廣東中山大學(xué)數(shù)學(xué)天文系副教授。1943年2月到1946年4月期間擔(dān)任重慶中央大學(xué)哲學(xué)系數(shù)理邏輯、數(shù)學(xué)基礎(chǔ)教授。1943年在《學(xué)術(shù)季刊》文哲號(hào)一卷三期里，胡世華發(fā)表了《論人造的語(yǔ)言》，在這篇文章中他介紹了人工語(yǔ)言的特點(diǎn)、作用，并向國(guó)內(nèi)介紹了符號(hào)邏輯。1946年4月起開(kāi)始擔(dān)任北京大學(xué)哲學(xué)系數(shù)理邏輯、數(shù)學(xué)基礎(chǔ)教授。1949年參加中國(guó)民主同盟。
胡世華1950年起擔(dān)任中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員，同時(shí)兼任中國(guó)科學(xué)院數(shù)理邏輯研究室主任。1954年加入了中國(guó)共產(chǎn)黨。自1956年起，胡世華參與歷屆國(guó)家科學(xué)規(guī)劃的制定工作，胡世華在中國(guó)科學(xué)史上第一個(gè)學(xué)科規(guī)劃中用艾倫·麥席森·圖靈破譯德軍密碼的案例，闡述了數(shù)理邏輯對(duì)計(jì)算機(jī)產(chǎn)生的作用。1958年到1963年期間兼任中國(guó)科學(xué)技術(shù)大學(xué)應(yīng)用數(shù)學(xué)系工程邏輯教研室主任職務(wù)；同年還創(chuàng)辦了數(shù)理邏輯訓(xùn)練班，該訓(xùn)練班中國(guó)各地高校教師參與進(jìn)來(lái)，讓數(shù)理邏輯在中國(guó)的高等院校中打下了基礎(chǔ)。20世紀(jì)50年代末期，胡世華的工作轉(zhuǎn)變?yōu)榱?a href="/hebeideji/9115036251137219877.html">遞歸函數(shù)理論方面的研究。
20世紀(jì)60年代初，胡世華在國(guó)際上建立了字（有窮基自由半群）上的遞歸函數(shù)與遞歸算法理論。1963年起開(kāi)始擔(dān)任中科院計(jì)算技術(shù)研究所研究員、第九室主任。“文化大革命”期間，胡世華被扣上“資產(chǎn)階級(jí)反動(dòng)學(xué)術(shù)權(quán)威”的帽子。
20世紀(jì)70年代開(kāi)始，胡世華對(duì)算法語(yǔ)言的描述問(wèn)題進(jìn)行了較為深入的研究。1979年起擔(dān)任北京計(jì)算機(jī)學(xué)院院長(zhǎng)、名譽(yù)院長(zhǎng)。20世紀(jì)80年代到20世紀(jì)90年代期間，胡世華在遞歸算法的基礎(chǔ)上，研究了可計(jì)算函數(shù)在證明論中的應(yīng)用。1980年起擔(dān)任計(jì)算機(jī)科學(xué)組組長(zhǎng)。同年當(dāng)選為中國(guó)科學(xué)院學(xué)部委員（院士）。1985年起擔(dān)任中國(guó)科學(xué)院軟件研究所研究員。
人物逝世
1998年4月11日胡世華因病醫(yī)治無(wú)效在北京逝世，終年86歲。
主要成果
胡世華在20世紀(jì)30年代建立了拓?fù)淇臻g中“非完整點(diǎn)”的概念和理論。在20世紀(jì)40年代到50年代，他提出了一種系統(tǒng)方法，將較少值具有函數(shù)完全性的邏輯嵌入到較多值邏輯中。20世紀(jì)60年代初，他在國(guó)際上首次建立了字（有窮基自由半群）上的遞歸函數(shù)和遞歸算法理論。70年代，他深入研究了算法語(yǔ)言的描述問(wèn)題。20世紀(jì)80年代到90年代，他在遞歸算法的基礎(chǔ)上進(jìn)行了可計(jì)算函數(shù)在證明論中的應(yīng)用研究。
數(shù)理邏輯
胡世華在數(shù)理邏輯方面進(jìn)行了較為重要的研究，他在博士學(xué)位論文《偽布爾代數(shù)及拓?fù)浠A(chǔ)》中建立了拓?fù)淇臻g中“非完整的點(diǎn)”的概念和理論；在《論人造的語(yǔ)言》中介紹了人工語(yǔ)言的特點(diǎn)和作用，并向中國(guó)國(guó)內(nèi)介紹了符號(hào)邏輯。在《再現(xiàn)算術(shù)新系統(tǒng)及其邏輯常詞》文章里建立了新的遞歸算術(shù)系統(tǒng)ＲＡ。并為《中國(guó)大百科全書(shū)·數(shù)學(xué)》撰寫(xiě)了“數(shù)理邏輯”和“數(shù)學(xué)基礎(chǔ)”條目。
多值邏輯
在多值邏輯方面，胡世華在《一個(gè)Ｎｏ-值命題演算的構(gòu)造》一文里，構(gòu)造了一個(gè)Ｎｏ-值命題演算的語(yǔ)言規(guī)則，并且把建立的系統(tǒng)記為Ｎ。同時(shí)給出了Ｎ的若干基本的語(yǔ)法定理；在《Ｎｏ-值命題演算的有窮值的具有函數(shù)完全性的子系統(tǒng)》一文中，給出可以把任何一個(gè)完全的具有函數(shù)的完全性的有窮值命題，演算嵌入到一個(gè)Ｎｏ-值命題演算中去成為其子系統(tǒng)的方法。在《m-valued subsystem of(m十n)-valued propositional cal-culus》里，胡世華對(duì)任何(m十n)-值的命題演算系統(tǒng)，構(gòu)造出一個(gè)完全的m-值子系統(tǒng)。在《四值命題演算與四色問(wèn)題》一文里，他和陳強(qiáng)業(yè)指出四值命題演算與四色問(wèn)題的聯(lián)系，從而把四色問(wèn)題還原到四值命題的問(wèn)題。[A.普賴爾（Prior）的書(shū)《Formal Logic》之中就曾引用胡世華的多值邏輯結(jié)果。
經(jīng)典謂詞演算
胡世華是一位在經(jīng)典謂詞演算領(lǐng)域有重要貢獻(xiàn)的學(xué)者。他關(guān)注于自然推理的研究，并于1964年在《數(shù)學(xué)進(jìn)展》雜志上發(fā)表了題為《古典謂詞演算》的論文。在這篇論文中，他構(gòu)建了一個(gè)謂詞演算系統(tǒng)，并利用該系統(tǒng)描述了形式數(shù)學(xué)系統(tǒng)中的相關(guān)原始數(shù)學(xué)定理。基于這篇文章，胡世華與陸鐘萬(wàn)合作編寫(xiě)了《數(shù)理邏輯基礎(chǔ)》（上、下冊(cè)），該教材榮獲國(guó)家教委高等學(xué)校優(yōu)秀教材二等獎(jiǎng)。
遞歸結(jié)構(gòu)
胡世華提出了關(guān)于遞歸結(jié)構(gòu)的概念、理論和方法的完整體系，提出了遞歸結(jié)構(gòu)的概念及其基本理論，證明了各種不同秩的遞歸結(jié)構(gòu)可以互相嵌入，這是原始遞歸函數(shù)理論的一種有意義的推廣。在“遞歸結(jié)構(gòu)理論的形式系統(tǒng)和語(yǔ)句的可判定性—可解決性理論Ⅱ”中，胡世華提出了遞歸結(jié)構(gòu)的形式系統(tǒng)，并定義了關(guān)于語(yǔ)句φ在Φ中的可判定性概念，然后結(jié)合模型論方法給出各種用以檢驗(yàn)φ在Φ中可判定性的充分必要條件，特別是與Φ中的可計(jì)算性聯(lián)系起來(lái)，得到更便于應(yīng)用的計(jì)算方法。作為這一理論的初步應(yīng)用，胡世華在“一些數(shù)學(xué)問(wèn)題的可解決性—可解決性理論Ⅲ”中通過(guò)計(jì)算，討論了一些數(shù)論命題的可判定性。
遞歸函數(shù)、遞歸算法論
在遞歸函數(shù)、遞歸算法論方面，胡世華有一系列的論著。在20世紀(jì)50年代末，由于計(jì)算機(jī)的發(fā)展，他考慮將自然數(shù)的可計(jì)算函數(shù)移植于公式（即字），從而建立了公式（即字）上遞歸函數(shù)的概念和理論。這方面的代表作有“遞歸算法—遞歸算法論Ⅰ ”、“核函數(shù)遞歸算法論Ⅱ"（與陸鐘萬(wàn)合著）、“遞歸函數(shù)的范式—遞歸算法論Ⅲ”和“多種類(lèi)遞歸算法—遞歸算法論Ⅳ”。在國(guó)外的文獻(xiàn)評(píng)論中，胡世華被認(rèn)為是這方面工作的最早開(kāi)創(chuàng)者。
對(duì)中國(guó)計(jì)算機(jī)科學(xué)技術(shù)發(fā)展的貢獻(xiàn)
20世紀(jì)50年代胡世華就倡導(dǎo)數(shù)理邏輯和計(jì)算機(jī)的結(jié)合，胡世華多次在報(bào)紙雜志上宣傳數(shù)理邏輯和電子計(jì)算機(jī)的關(guān)系，其代表性的文章是他于1957年在《哲學(xué)研究》上發(fā)表的《數(shù)理邏輯的基本特征與科學(xué)意義》，闡述了數(shù)理邏輯中能行性的研究和電子計(jì)算機(jī)發(fā)展的密切關(guān)系。
主要論文與著作
主要論文
胡世華在《數(shù)學(xué)進(jìn)展》《數(shù)學(xué)學(xué)報(bào)》等期刊發(fā)表論文多篇，以下為部分論文。
出版著作
胡世華先后出版了《電子計(jì)算機(jī)和一些有關(guān)的理論問(wèn)題》《數(shù)理邏輯基礎(chǔ)》等著作。
社會(huì)職務(wù)
榮譽(yù)與獲獎(jiǎng)
個(gè)人榮譽(yù)
科研獲獎(jiǎng)
人才培養(yǎng)
胡世華曾在廣東中山大學(xué)數(shù)學(xué)天文系、重慶中央大學(xué)哲學(xué)系、北京大學(xué)哲學(xué)系任教授。代表性學(xué)生有廣西師范大學(xué)教授王駒，中國(guó)科學(xué)院院士、發(fā)展中國(guó)家科學(xué)院院士院士周巢塵，中國(guó)科學(xué)院院士、中國(guó)科學(xué)院軟件研究所研究員董韞美。
影響與后世紀(jì)念
胡世華先生誕辰100周年紀(jì)念活動(dòng)
胡世華先生誕辰100周年紀(jì)念活動(dòng)于2012年4月23日在中國(guó)科學(xué)院軟件研究所舉辦。
《胡世華文集》
《胡世華文集》由科學(xué)出版社出版，文集收錄了胡世華院士的主要著作，內(nèi)容主要有邏輯演算、遞歸函數(shù)論和科學(xué)哲學(xué)三個(gè)領(lǐng)域，介紹了胡世華研究工作的具體情況。
人物評(píng)價(jià)
中國(guó)科學(xué)院軟件研究所所長(zhǎng)李明樹(shù)表示：“胡世華對(duì)中國(guó)數(shù)理邏輯、計(jì)算機(jī)科學(xué)、科學(xué)哲學(xué)和數(shù)學(xué)史等學(xué)科做出了獨(dú)特貢獻(xiàn)，胡世華執(zhí)著科學(xué)、獻(xiàn)身科學(xué)的精神，溫厚、執(zhí)著、寬容的珍貴品德是軟件所和中國(guó)數(shù)理邏輯、計(jì)算機(jī)科學(xué)領(lǐng)域永遠(yuǎn)的精神財(cái)富。”
科普中國(guó)網(wǎng)表示：“他（胡世華）目光長(zhǎng)遠(yuǎn)，推動(dòng)數(shù)理邏輯和計(jì)算機(jī)技術(shù)相結(jié)合，自此打開(kāi)了我國(guó)計(jì)算機(jī)的夢(mèng)想之門(mén)，為我國(guó)計(jì)算機(jī)技術(shù)的發(fā)展做出了顯著貢獻(xiàn)。”
《中國(guó)科學(xué)報(bào)》表示：“胡世華先生為科學(xué)獻(xiàn)身到底的精神，實(shí)在令人欽佩。而雄心未盡、壯志難酬，思之亦使人愴然。”
家族成員
參考資料 >
胡世華(1912-):國(guó)立中央大學(xué)哲學(xué)系教授(1943-1946) 1980年當(dāng)選中國(guó)科學(xué)院學(xué)部委員.東南大學(xué)校友總會(huì).2023-03-25
胡世華.國(guó)家圖書(shū)館.2023-03-25
胡世華院士逝世.光明網(wǎng).2023-03-25
學(xué)部簡(jiǎn)介.中國(guó)科學(xué)院學(xué)部.2023-04-21
胡世華——中國(guó)數(shù)理邏輯研究的代表人物之一.北京大學(xué).2023-03-25
【南開(kāi)學(xué)子】中國(guó)科學(xué)院院士、數(shù)理邏輯學(xué)家胡世華.南開(kāi)大學(xué)新聞網(wǎng).2023-03-25
胡世華.東南大學(xué)120周年校慶.2023-03-25
紀(jì)念胡世華誕辰百年:半個(gè)世紀(jì)前的計(jì)算機(jī)夢(mèng)想.科學(xué)網(wǎng).2023-03-25
追憶胡世華.科學(xué)網(wǎng).2023-03-25
胡世華.中國(guó)科學(xué)院.2023-07-20
光明網(wǎng) 胡世華:中國(guó)數(shù)學(xué)邏輯奠基人.中國(guó)科學(xué)技術(shù)大學(xué)新聞網(wǎng).2023-03-25
【南開(kāi)學(xué)子】中國(guó)科學(xué)院院士、數(shù)理邏輯學(xué)家胡世華.南開(kāi)大學(xué)新聞網(wǎng).2023-07-20
胡世華.中國(guó)知網(wǎng).2023-03-25
軟件所舉行胡世華先生誕辰100周年紀(jì)念活動(dòng).中國(guó)科學(xué)院.2023-03-25
院士專家.計(jì)算機(jī)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室.2023-03-25
《胡世華文集》出版.中國(guó)科學(xué)院.2023-03-25
胡世華:中國(guó)“圖靈”.科普中國(guó)網(wǎng).2023-03-25