中科院院士、数理逻辑学家、计算机科学家

　　

【生平概况】

　　又名胡子华，祖籍浙江吴兴，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　胡世