胡世华
中国科学院院士
【生平概况】又名胡子华，祖籍浙江吴兴，1912年1月28日生于上海市，久居北京。
胡世华的父亲胡惟德曾任北洋政府国务总理和驻外国公使。他希望教育他的儿子亦走从政的道路。但胡世华对这种希望是极不满意的，它反而起到了使他在思想上背离他父亲的作用。1929—1932年间，胡世华进入天津南开大学，读预科两年，本科一年，表现出对数学的兴趣。1932年转学至北京大学，本来想读数学系，但由于他父亲不赞成，改为入哲学系学习。1935年毕业于北京大学，以后在该校研究数学。在北京大学学习期间，胡世华与李尔重、杜毓澐等有进步思想的同学结识，后两位很早就参加了革命。在他们的影响下，胡世华表示了要求进步的意向。但他们建议他根据自己的具体情况继续读书求学，于是使他走上从事学术研究的道路。
1936年3月，胡世华与夏好仁女士结婚，有子胡永平和胡永千。1936年胡世华偕同夏好仁赴欧洲。1936—1940年间，他先后在奥地利维也纳大学、德国西威廉敏思特大学，以及在法国和瑞士学习和研究数理逻辑和数学基础，其中主要的是在西威廉敏思特大学的学习和研究中完成了博士学位论文《伪布尔代数及拓扑基础》。1941年回国后，自同年8月至1943年2月，胡世华任广东中山大学数学天文系副教授；1943年2月至1946年4月任重庆中央大学哲学系数理逻辑、数学基础教授；1946年4月至1962年任北京大学哲学系数理逻辑、数学基础教授；1950年起调任中国科学院数学研究所研究员、数理逻辑研究室主任，直至1963年；1958年至1963年又兼任中国科学技术大学应用数学系工程逻辑教研室主任；1963年至1985年任中国科学院计算技术研究所研究员、第九研究室主任；1985年起任中国科学院软件研究所研究员。1979年起兼任北京计算机学院院长、名誉院长。
自1956年起，胡世华参加了历届全国科学规划的制订工作。胡世华参加了中国数学会、中国计算机学会、中国电子学会、中国逻辑学会和中国自然辩证法研究会，任理事或委员；曾任《中国科学》 、 《科学通报》 、 《数学学报》和《理论计算机科学》 （欧洲理论计算机科学协会的机关刊物）的编委以及《中国大百科全书》数学卷和哲学卷的编委。自1980年起，胡世华任中国科学院院士，并任计算机科学组组长。胡世华于1949年参加中国民主同盟，1954年参加中国共产党
【人物简历】1912年1月28日生于上海市。
1929—1932年就读于天津南开大学。
1932—1935年就读于北京大学哲学系。
1936—1940年就读于奥地利维也纳大学，德国西威廉敏思特大学数学系，获哲学博士学位。
1941—1943年任广东中山大学数学天文系副教授。
1943—1946年任重庆中央大学哲学系数理逻辑、数学基础教授。
1946—1962年任北京大学哲学系数理逻辑、数学基础教授。
1950—1962年任北京大学哲学系教授，中国科学院数学研究所研究员、数理逻辑研究室主任。
1958—1963年兼任中国科学技术大学应用数学系工程逻辑教研室主任。
1963—1985年任中国科学院计算技术研究所研究员、第九研究室主任。
1979年—兼任北京计算机学院院长、名誉院长。
1980年—任中国科学院院士。
1985年—任中国科学院软件研究所研究员。
【主要论著】1胡世华．论人造语言．学术季刊，1943，1（3）．
2胡世华．再现算术新系统及其逻辑量词．学园，1945，5．
4胡世华．一个四值命题演算与四色问题．中国科学，1950，1（3）：273－294．
5胡世华．No值命题演算的有穷值的具有函数完全性的子系统．中国科学，1955，5：173－191．
6胡世华．一种递归式的原始递归性．数学学报，1956，6（1）：93—104．
7胡世华．数理逻辑的基本特征与科学意义．哲学研究，1957，6：1—44．
8胡世华．关于古典演绎逻辑的几个问题．哲学研究，1957，6．
9胡世华，陆钟万．一般递归函数的范式．数学学报，1958，8：507－519．
13胡世华．略论数理逻辑的发生发展和现状．科学通报，1960，6：1—8．
14胡世华，黄祖良．加法和乘法．数学进展，1963，6．
15胡世华，杨东屏．关于原始递归性．数学学报，1964，14（4）：607—618．
16胡世华．古典谓词演算．数学进展，1964，7（4）：349－396．
17胡世华．多种类递归算法递归算法论．全国数理逻辑专业学术会议论文选集，北京：国防工业出版社，1965，11—24．
18胡世华．控制论的发展．科学通报，1965，10：862—869．
19胡世华．算法语言的描述问题．748会议论文，中国科学院计算技术研究所，1973，1－48．
20胡世华．如何描述程序语言．电子计算机动态，1976，9：1－29．
21胡世华．计算机对数学的影响．百科知识，1981（10）．
22胡世华，陆钟万．数理逻辑基础（上、下册）．北京：科学出版社，1981．
23胡世华．信息时代的数学．数学进展，1988，17：11－20．
24胡世华．数理逻辑．中国大百科全书数学卷，北京：中国大百科全书出版社，1988，588－593．
25胡世华．数学基础．中国大百科全书数学卷，北京：中国大百科全书出版社，1988，605－608．
26胡世华．递归结构－可解决理论．中国科学，1990（11）：1137—1145．
27胡世华．递归结构理论的形式系统和语言的可判定性——可解决理论．中国科学，1990（12）：1235—1242．
【培养人才】胡世华还撰写了有关数理逻辑的专著和许多阐明数理逻辑和数学基础的特征和意义的论文，例如《数理逻辑基础》 （与陆钟万合著）、 《数理逻辑的基本特征和科学意义》 、 《略论数理逻辑的发生、发展和现状》 、 《数理逻辑》和《数学基础》 。1958年，在胡世华倡导下科学院数学研究所办起了数理逻辑训练班。参加者在班里不但学习了数理逻辑知识，也学了大量计算机知识。胡世华的许多助手和学生都参加了具体的计算机逻辑设计和编制程序工作，其中不少人都转去搞计算机科学理论和技术工作，训练班中的许多人也在各高等学校计算机系发挥了作用。中国科学院软件研究所的自然科学奖一等奖获得者唐稚松，二等奖获得者周巢尘，三等奖获得者陶仁骥都曾是胡世华的助手或学生，他们在计算机的理论和技术中都做出了重要贡献。当年的训练班里不少人也都是目前计算机界的重要人物，如西北大学的郝克刚等人。胡世华对数学哲学也有贡献，他写过一些有影响的文章，包括介绍数理逻辑的基本特征以及和其他学科的关系，数学有关基础问题的看法等文章。胡世华热爱祖国，拥护中国共产党。他对国家科学技术和教育事业的发展十分关注。他重视基础研究，重视理论联系实际。在研究工作中，他严肃认真，一丝不苟，刻苦钻研，数十年如一日。在培养人才的工作中，他对青年既严格要求，又关心爱护。他自身节俭，生活朴素，待人诚恳，和蔼谦逊。他的朋友、同事和学生，都很敬重他的品德、学识和奉献精神。
【学术贡献】在50年代胡世华就倡导数理逻辑和计算机的结合。今天数理逻辑和计算机的密切联系是大家都承认的事，但是在当时胡世华是经过很大努力，并克服种种困难来说明这点的。首先，我们回忆一下中华人民共和国成立以来数理逻辑在中国的命运。
中华人民共和国成立后由于苏联批判数理逻辑，中国哲学界也跟着批判过数理逻辑。1956年春节毛泽东主席在宴请科学家时向金岳霖先生讲，数理逻辑重要，应该搞；还建议他写书介绍数理逻辑并表示书出来后他愿意看。毛主席的话给了中国的数理逻辑工作者极大的鼓舞。但是由于毛主席的话未正式发表，所以仍然时常有人批判数理逻辑，甚至到“文化大革命”时在上海、北京的杂志上都有批判数理逻辑的文章。因此肯定数理逻辑，说明它和电子计算机有密切关系，在当时是比较难为大家所接受的。
胡世华多次在报纸杂志上宣传数理逻辑和电子计算机的关系，其代表性的文章是他于1957年在《哲学研究》上发表的《数理逻辑的基本特征与科学意义》。在这篇文章里胡先生回顾了通用电子计算机的历史，指出正是冯•诺依曼受了图灵定义的通用图灵机的启示而设计了第一架通用电子计算机．也讲了图灵本人领导了计算机的设计。由此胡世华阐述了数理逻辑中能行性的研究和电子计算机发展的密切关系。
胡世华还参加了中国电子计算机发展规划小组，并和小组其他人一起去苏联征求了他们的意见。但是苏联某些院士不同意他的意见，他们认为数理逻辑对计算机的发展起不了作用。这在当时对他会产生一些压力。但是科学院当时的副院长张劲夫同志支持他的看法，他向胡世华说，你可以坚持自己的看法来制订规划[3]。