胡世华，又名胡子华，祖籍浙江吴兴，１９１２年１月２８日生于上海市，久居北京。

　　胡世华的父亲胡惟德曾任北洋政府国务总理和驻外国公使。他希望教育他的儿子亦走从政的道路。但胡世华对这种希望是极不满意的，它反而起到了使他在思想上背离他父亲的作用。

　　１９２９—１９３２年间，胡世华进入天津南开大学，读预科两年，本科一年，表现出对数学的兴趣。１９３２年转学至北京大学，本来想读数学系，但由于他父亲不赞成，改为入哲学系学习。１９３５年毕业于北京大学，以后在该校研究数学。

　　在北京大学学习期间，胡世华与李尔重、杜毓澐等有进步思想的同学结识，后两位很早就参加了革命。在他们的影响下，胡世华表示了要求进步的意向。但他们建议他根据自己的具体情况继续读书求学，于是使他走上从事学术研究的道路。

　　１９３６年３月，胡世华与夏好仁女士结婚，有子胡永平和胡永千。

　　１９３６年胡世华偕同夏好仁赴欧洲。１９３６—１９４０年间，他先后在奥地利维也纳大学、德国西威廉敏思特大学，以及在法国和瑞士学习和研究数理逻辑和数学基础，其中主要的是在西威廉敏思特大学的学习和研究中完成了博士学位论文《伪布尔代数及拓扑基础》。

　　１９４１年回国后，自同年８月至１９４３年２月，胡世华任广东中山大学数学天文系副教授；１９４３年２月至１９４６年４月任重庆中央大学哲学系数理逻辑、数学基础教授；１９４６年４月至１９６２年任北京大学哲学系数理逻辑、数学基础教授；１９５０年起调任中国科学院数学研究所研究员、数理逻辑研究室主任，直至１９６３年；１９５８年至１９６３年又兼任中国科学技术大学应用数学系工程逻辑教研室主任；１９６３年至１９８５年任中国科学院计算技术研究所研究员、第九研究室主任；１９８５年起任中国科学院软件研究所研究员。１９７９年起兼任北京计算机学院院长、名誉院长。

　　自１９５６年起，胡世华参加了历届全国科学规划的制订工作。

　　胡世华参加了中国数学会、中国计算机学会、中国电子学会、中国逻辑学会和中国自然辩证法研究会，任理事或委员；曾任《中国科学》、《科学通报》、《数学学报》和《理论计算机科学》（欧洲理论计算机科学协会ＥＡＴＣＳ的机关刊物）的编委以及《中国大百科全书》数学卷和哲学卷的编委。

　　自１９８０年起，胡世华任中国科学院院士，并任计算机科学组组长。

　　胡世华于１９４９年参加中国民主同盟，１９５４年参加中国共产党。

数理逻辑方面的学术成就

　　胡世华是我国国内少数几位在中国发展数理逻辑的代表人物之一。而在中国把逻辑研究超出哲学的范畴并和数学联系起来的工作是由胡世华先生开始的，他是这方面的开创人，也是国内把逻辑和计算机结合起来进行工作的倡导人。此外他还很关心数学的哲学问题，并在这方面做过在国内有一定影响的工作。

　　胡世华于３０年代末在Ｈ．肖尔兹（Ｓｃｈｏｌｚ）和Ｋ．柯特（Ｋｏｔｈｅ）两教授指导下完成博士学位论文《伪布尔代数及拓扑基础》，其中建立了拓扑空间中“非完整的点”的概念和理论，这可以看作是６０年代开始发展的非标准分析的空间（随之必然有关于非标准点的拓扑空间）中“非标准点”概念和理论的一种雏形。该文的全文未公开发表，内容的详细提要被刊于《学术季刊》。

　　本世纪４０年代时胡世华就开始发表了他的数理逻辑研究成果。１９４３年在《学术季刊》文哲号一卷三期里，胡世华发表了《论人造的语言》。在这篇文章中他介绍了人工语言的特点、作用，并向国内介绍了符号逻辑。１９４５年在《学原》第一卷第五期里胡世华发表了《再现算术新系统及其逻辑常词》。在这篇文章里他建立了一个新的递归算术系统ＲＡ。

　　由４０年代末到５０年代初，胡世华的研究领域主要在多值逻辑方面。１９４９年他在《Ｔｈｅ Ｊｏｕｒｎａｌ　ｏｆ　Ｓｙｍｂｏｌｉｃ　Ｌｏｇｉｃ》１４卷３期上发表了文章《ｍ－ｖａｌｕｅｄ　ｓｕｂｓｙｓｔｅｍ　ｏｆ（ｍ＋ｎ）－ｖａｌｕｅｄｐｒｏ　ｐｏｓｉ－ｔｉ０ｎａｌ　ｃａｌｃｕｌｕｓ》，１９５０年他在《中国科学》第一卷第二至四期发表了《一个Ｎｏ－值命题演算的构造》，１９５１年９月他与陈强业在《中国数学学报》第一卷第三期上发表了《四值命题演算与四色问题》，１９５５年６月他在《数学学报》上发表了《Ｎｏ－值命题演算的有穷值的具有函数完全性的子系统》。

　　在这一系列文章里，胡世华建立了一些多值逻辑的系统并考虑了多值逻辑在数学其他分支中的应用。

　　在《ｍ－ｖａｌｕｅｄ ｓｕｂｓｙｓｔｅｍ ｏｆ（ｍ十ｎ）－ｖａｌｕｅｄ ｐｒｏｐｏｓｉｔｉｏｎａｌ ｃａｌ－ｃｕｌｕｓ》一文里他对任何（ｍ十ｎ）－值的命题演算系统，构造出一个完全的ｍ－值子系统。

　　在《一个Ｎｏ－值命题演算的构造》一文里，他构造了一个Ｎｏ－值命题演算的语言规则，并且把建立的系统记为Ｎ。他还在文章里给出了Ｎ的若干基本的语法定理。

　　在《四值命题演算与四色问题》一文里，他和陈强业指出四值命题演算与四色问题的联系，从而把四色问题还原到四值命题的问题。

　　在《Ｎｏ－值命题演算的有穷值的具有函数完全性的子系统》一文中，他给出了一种方法，这种方法可以把任何一个完全的具有函数的完全性的有穷值命题演算嵌入到一个Ｎｏ－值命题演算中去成为其子系统。

　　胡世华的这些工作受到了国际上的注意，例如Ａ．普赖尔（Ｐｒｉｏｒ）的书《Ｆｏｒｍａｌ　Ｌｏｇｉｃ》之中就引用了胡世华的多值逻辑结果。

　　５０年代末期胡世华的工作有了一个重要的转变，即他由对Ｎｏ－值逻辑的研究转为递归函数理论的研究。也就是在这个时期，胡世华在中国科学院数学研究所里建立了数理逻辑研究组。他由中国人民大学调来了唐稚松、陆钟万二位同志，并且把１９５５年由数学系毕业的黄祖良、杨东屏也吸收进来建立了数理逻辑小组。从此数理逻辑分支在中国科学院里得到了发展。

　　在谈到他在递归函数理论的工作之前我们先介绍一下他在经典谓词演算方面的工作。在经典谓词演算方面他着重考虑了自然推理的研究。他在１９６４年《数学进展》上发表的《古典谓词演算》一文中，构造了谓词演算系统，证明了有关原数学定理并用它们描述形式数学系统。在这篇文章的基础上，胡世华又和陆钟万合作写出了《数理逻辑基础》（上、下册），并获得了国家教委高等学校优秀教材二等奖。

　　在递归函数理论方面胡世华有重要贡献。５０年代后半期，他本人（有时候和他的助手、学生合作）对递归函数理论做了深入的研究。例如他和黄祖良在《数学进展》发表的《加法和乘法》一文中利用函数ｓｕｍ（ｘ，ｙ，ｚ），ｐｒｏｄ（ｘ，ｙ，ｚ）及泛函<ｘ〉，<�撸�〉深入地研究了算术谓词的表示函数。他和杨东屏在《数学学报》发表的《关于原始递归性》一文中研究了原始递归算子在可计算函数类的作用。这方面第一个受到国际上重视的文章是他在《数学学报》发表的《一种递归式的原始递归性》一文。他在这篇文章中考虑了各种内容很丰富的泛函：

　　Ｈ^０_ｘ＝０ｆ（ｘ）＝ｆ（０），Ｈ^ｙ’_ｘ＝０ｆ（ｘ）＝β（ｙ，Ｈ^ｙ_ｘ＝０ｆ（ａ（ｘ））），它的一般形式可表示为Ｆ^０_ｘ＝０ａ（ｘ）＝ａ（０），Ｆ^ｙ’_ｘ＝０ａ（ｘ）＝β（ｙ，Ｆ^ｙ_ｘ＝０ａ（ａ_１（ｘ）），…，Ｆ^ｙ_ｘ＝０ａ（ａ_ｋ（ｘ）））．要解决的问题是Ｆ^ｙ_ε＝０ａ（ｘ）是否原始递归于β，ｒ，ｒ_１，…，ｒ_ｋ？这个问题是１９５４年１２月南京大学莫绍揆教授向他提出的。在上述文章中胡世华证明了问题有肯定的解，即Ｆ^ｙ_ｘ＝０ａ（ｘ）原始递归于β，ａ，ａ_１，…，ａ_ｋ。

　　这项研究表明了虽然当时国内只有中国科学院数学研究所和南京大学两个单位在研究递归函数理论，但是他们之间有很好的学术交流，他和莫绍揆相互切磋相互帮助的关系一直正常发展下来，为递归论在中国的发展创造了有利条件。

　　胡世华的这项工作在国际上受到了重视。著名递归函数理论专家Ｒ．彼得（Ｐｅｔｅｒ）就继续他的工作并把他的结果加以推广。

　　到了１９６０年，随着电子计算机的发展，世界上若干国家的科学家注意到了应该有一种直接在字上定义的可计算函数，以利于对符号串加以处理。差不多与胡世华同时，美国的麦卡锡（Ｍｃ－Ｃａｒｔｈｙ），南斯拉夫的武克维奇（Ｖｕｃｋｖｉｃ）都进行了这项研究工作。胡世华在１９６９年发表了３篇文章，总标题为《递归算法论》。第一篇也称为《递归算法》。在这篇文章里他介绍了一种字上定义的可计算函数。第二篇称为《核函数》，是他和陆钟万合作发表的，是３篇中最精采的部分。在这篇文章中，他们用一种非常简练的方式定义了一种构造上很简单但功能很强的核函数类。这篇文章的处理方式受到同行的称赞。第三篇称为《递归函数的范式》，在文章中，他给出了字上递归函数用核函数表示的范式。

　　递归算法是国际上较早出现的直接定义字上可计算函数。胡世华原打算随即考虑它在计算机程序设计语言中的应用，可是由于当时的政治条件造成的原因中断了这种研究，因此递归算法的工作不如麦卡锡的工作那么完整，未包含任何在软件上的应用。

　　胡世华虽已耄耋之年仍耕耘不已。早在１９９０年胡世华就在递归算法的基础上考虑了字上可计算函数在证明论中的应用，他在１９９０年《中国科学》上发表了《递归结构——可解决性理论Ｉ》及《递归结构理论的形式系统和语句的可判定性——可解决性理论Ⅱ》。在第一篇文章中他提出了一类代数结构称之为递归结构，在第二篇文章中他建立了递归结构的形式系统并给出判定其语句的可判定性充要条件。后来胡先生又写出了第三篇文章《可解决性理论Ⅲ》，他在文中给出了一个称为条件的判别条件。他证明了目前数论中许多未解决问题是可判定的，即要么可证要么可驳。

　　在胡世华的带动下，中国科学院软件研究所的递归函数及递归论的研究有了很好的发展。其后来人如杨东屏、眭跃飞、蒋志根、李昂生、张庆龙等都曾做出了一些较好的工作。

对中国计算机科学技术发展的贡献

　　在５０年代胡世华就倡导数理逻辑和计算机的结合。今天数理逻辑和计算机的密切联系是大家都承认的事，但是在当时胡世华是经过很大努力，并克服种种困难来说明这点的。首先，我们回忆一下中华人民共和国成立以来数理逻辑在中国的命运。

　　中华人民共和国成立后由于苏联批判数理逻辑，中国哲学界也跟着批判过数理逻辑。１９５６年春节毛泽东主席在宴请科学家时向金岳霖先生讲，数理逻辑重要，应该搞；还建议他写书介绍数理逻辑并表示书出来后他愿意看。毛主席的话给了中国的数理逻辑工作者极大的鼓舞。但是由于毛主席的话未正式发表，所以仍然时常有人批判数理逻辑，甚至到“文化大革命”时在上海、北京的杂志上都有批判数理逻辑的文章。因此肯定数理逻辑，说明它和电子计算机有密切关系，在当时是比较难为大家所接受的。

　　胡世华多次在报纸杂志上宣传数理逻辑和电子计算机的关系，其代表性的文章是他于１９５７年在《哲学研究》上发表的《数理逻辑的基本特征与科学意义》。在这篇文章里胡先生回顾了通用电子计算机的历史，指出正是Ｊ．冯·诺依曼（ｖｏｎ　Ｎｅｕｍａｎｎ）受了Ａ．Ｍ．图灵（Ｔｕｒｉｎｇ）定义的通用图灵机的启示而设计了第一架通用电子计算机ＥＤＶＡＣ．也讲了图灵本人领导了计算机ＡＣＥ的设计。由此胡世华阐述了数理逻辑中能行性的研究和电子计算机发展的密切关系。

　　胡世华还参加了我国电子计算机发展规划小组，并和小组其他人一起去苏联征求了他们的意见。但是苏联某些院士不同意他的意见，他们认为数理逻辑对计算机的发展起不了作用。这在当时对他会产生一些压力。但是科学院当时的副院长张劲夫同志支持他的看法，他向胡世华说，你可以坚持自己的看法来制订规划。

热情培养数理逻辑学工作者

　　　胡世华还撰写了有关数理逻辑的专著和许多阐明数理逻辑和数学基础的特征和意义的论文，例如《数理逻辑基础》（与陆钟万合著）、《数理逻辑的基本特征和科学意义》、《略论数理逻辑的发生、发展和现状》、《数理逻辑》和《数学基础》。１９５８年，在胡世华倡导下科学院数学研究所办起了数理逻辑训练班。参加者在班里不但学习了数理逻辑知识，也学了大量计算机知识。胡世华的许多助手和学生都参加了具体的计算机逻辑设计和编制程序工作，其中不少人都转去搞计算机科学理论和技术工作，训练班中的许多人也在各高等学校计算机系发挥了作用。

　　中国科学院软件研究所的自然科学奖一等奖获得者唐稚松，二等奖获得者周巢尘，三等奖获得者陶仁骥都曾是胡世华的助手或学生，他们在计算机的理论和技术中都做出了重要贡献。当年的训练班里不少人也都是目前计算机界的重要人物，如西北大学的郝克刚等人。

　　胡世华对数学哲学也有贡献，他写过一些有影响的文章，包括介绍数理逻辑的基本特征以及和其他学科的关系，数学有关基础问题的看法等文章。

　　胡世华热爱祖国，拥护中国共产党。他对国家科学技术和教育事业的发展十分关注。他重视基础研究，重视理论联系实际。在研究工作中，他严肃认真，一丝不苟，刻苦钻研，数十年如一日。在培养人才的工作中，他对青年既严格要求，又关心爱护。他自身节俭，生活朴素，待人诚恳，和蔼谦逊。他的朋友、同事和学生，都很敬重他的品德、学识和奉献精神。

　　(作者：陆钟万　王世强　许孔时　杨东屏)

简历

　　１９１２年１月２８日　生于上海市。

　　１９２９—１９３２年　就读于天津南开大学。

　　１９３２—１９３５年　就读于北京大学哲学系。

　　１９３６—１９４０年　就读于奥地利维也纳大学，德国西威廉敏思特大学数学系，获哲学博士学位。

　　１９４１—１９４３年　任广东中山大学数学天文系副教授。

　　１９４３—１９４６年　任重庆中央大学哲学系数理逻辑、数学基础教授。

　　１９４６—１９６２年　任北京大学哲学系数理逻辑、数学基础教授。

　　１９５０—１９６２年　任北京大学哲学系教授，中国科学院数学研究所研究员、数理逻辑研究室主任。

　　１９５８—１９６３年　兼任中国科学技术大学应用数学系工程逻辑教研室主任。

　　１９６３—１９８５年　任中国科学院计算技术研究所研究员、第九研究室主任。

　　１９７９年—　兼任北京计算机学院院长、名誉院长。

　　１９８０年—　任中国科学院院士。

　　１９８５年—　任中国科学院软件研究所研究员。

主要论著

　　１　胡世华．论人造语言．学术季刊，１９４３，１（３）．

　　２　胡世华．再现算术新系统及其逻辑量词．学园，１９４５，５．

　　３　Ｈｕ　 Ｓｈｉｈｕａ．ｍ－ｖａｌｕｅｄ　ｓｕｂｓｙｓｔｅｍ　ｏｆ（ｍ十ｎ）ｖａｌｕｅｄ　ｐｒｏｐｏｓｉｔｉｏｎａｌ　 ｃａｌｃｕ－ｌｕｓ．Ｊ．Ｓｙｍｂｏｌｉｃ　 Ｌｏｇｉｃ，１９４９，１４：１７７－１８１．

　　４　胡世华．一个四值命题演算与四色问题．中国科学，１９５０，１（３）：２７３－２９４．　　

　　５　胡世华．Ｎｏ值命题演算的有穷值的具有函数完全性的子系统．中国科学，１９５５，５：１７３－１９１．

　　６　胡世华．一种递归式的原始递归性．数学学报，１９５６，６（１）：９３—１０４．

　　７　胡世华．数理逻辑的基本特征与科学意义．哲学研究，１９５７，６：１—４４．

　　８　胡世华．关于古典演绎逻辑的几个问题．哲学研究，１９５７，６．

　　９　胡世华，陆钟万．一般递归函数的范式．数学学报，１９５８，８：５０７－５１９．

　　１０　Ｈｕ　Ｓｈｉｈｕａ．Ｒｅｃｕｒｓｉｖｅ　 ａｌｇｏｒｉｔｈｍｓ，ｔｈｅｏｒｙ ｏｆ Ｒ．Ａ．Ｉ．Ｓｃｉｅｎｔｉａ　 Ｓｉｎｉｃａ，１９６０，９：８４４－８７５；数学学报，１９６０，１０：６６－８８．

　　１１　Ｈｕ　 Ｓｈｉｈｕａ．Ｋｅｒｎａｌ　 ｆｕｎｃｔｉｏｎｓ，ｔｈｅｏｒｙ ｏｆ Ｒ．Ａ．，Ⅱ．Ｓｃｉｅｎｔｉａ　 Ｓｉｎｉｃａ，１９６０，９：８７６－８８８；数学学报，１９６０，１０：８９－９７．

　　１２ Ｈｕ　Ｓｈｉｈｕａ．Ｎｏｒｍａｌ　ｆｏｒｍｓ　ｏｆ　ｒｅｃｕｒｓｉｖｅ　ｆｕｎｃｔｉｏｎｓ，ｔｈｅｏｒｙ　ｏｆ　Ｒ．Ａ．Ⅲ．Ｓｃｉｅｎｔｉａ　Ｓｉｎｉｃａ，１９６０，９：８８９—８９６；数学学报，１９６０，１０：９８—１０３．

　　１３　胡世华．略论数理逻辑的发生发展和现状．科学通报，１９６０，６：１—８．

　　１４　胡世华，黄祖良．加法和乘法．数学进展，１９６３，６．

　　１５　胡世华，杨东屏．关于原始递归性．数学学报，１９６４，１４（４）：６０７—６１８．

　　１６　胡世华．古典谓词演算．数学进展，１９６４，７（４）：３４９－３９６．

　　１７　胡世华．多种类递归算法递归算法论．全国数理逻辑专业学术会议论文选集，北京：国防工业出版社，１９６５，１１—２４．

　　１８　胡世华．控制论的发展．科学通报，１９６５，１０：８６２—８６９．

　　１９　胡世华．算法语言的描述问题．７４８会议论文，中国科学院计算技术研究所，１９７３，１－４８．

　　２０　胡世华．如何描述程序语言．电子计算机动态，１９７６，９：１－２９．

　　２１　胡世华．计算机对数学的影响．百科知识，１９８１（１０）．

　　２２　胡世华，陆钟万．数理逻辑基础（上、下册）．北京：科学出版社，１９８１．

　　２３　胡世华．信息时代的数学．数学进展，１９８８，１７：１１－２０．

　　２４　胡世华．数理逻辑．中国大百科全书数学卷，北京：中国大百科全书出版社，１９８８，５８８－５９３．

　　２５　胡世华．数学基础．中国大百科全书数学卷，北京：中国大百科全书出版社，１９８８，６０５－６０８．

　　２６　胡世华．递归结构－可解决理论．中国科学，１９９０（１１）：１１３７—１１４５．

　　２７　胡世华．递归结构理论的形式系统和语言的可判定性——可解决理论．中国科学，１９９０（１２）：１２３５—１２４２．