胡世华

胡世华是数理逻辑学家，毕业于北京大学，后在奥地利维也纳大学、德国西威廉敏思特大学学习数理逻辑，回国后从事教育和科研工作，是国内开展数理逻辑研究的代表人物之一。

图片由网友“心会凉i”提供

胡世华

1912年1月28日生于上海，籍贯浙江吴兴。

1935年毕业于北京大学。

1936～1941年先后在奥地利维也纳大学、德国西威廉敏思特大学等处学习和研究数理逻辑与数学基础。

1941年，回国后，自同年8月至1943年2月，任广东中山大学数学天文系副教授。

1943年，胡世华发表《论人造的语言》一文，仔细地介绍并解释了一阶谓词演算。

1949年，参加中国民主同盟。

1950年，调任中国科学院数学研究所研究员、数理逻辑研究室主任，直至1963年；期间兼任中国科学技术大学应用数学系工程逻辑教研室主任；

1954年参加中国共产党。

1956年，在中国科学史上第一个学科规划中，胡世华便以图灵破译德军密码的案例，阐述了数理逻辑对计算机产生的重要作用，成为中国第一位强调计算机研究的学者。

1956年开始，胡世华还参加了历届全国科学规划的制订工作

1958年，胡世华创办数理逻辑训练班，全国各地高校教师参与其中，使数理逻辑在高等院校中打下了基础

1961年7月，胡世华向当时在中科院计算技术研究所工作的许孔时提出，把数学所的第四研究室（数理逻辑研究室）整体调到计算技术研究所

1963年10月，中国电子学会计算机专业委员会举办了第三次全国计算技术经验交流会，胡世华在大会上作了综述报告，并主持数理逻辑组会议。此次会议标志着国内的研究者将数理逻辑与计算机科学技术结合的开端和努力。

1980年当选为中国科学院学部委员（院士）， 并任计算机科学组组长。

1985年，任中国科学院软件研究所研究员，兼任北京计算机学院院长、名誉院长。

1990年，胡世华在《中国科学》上发表了《递归结构——可解决性理论I》及《递归结构理论的形式系统和语句的可判定性——可解决性理论Ⅱ》。

1998年4月11日，胡世华因病医治无效，在北京逝世，终年86岁

主要成就

20世纪30年代建立了拓扑空间“非完整点”的概念和理论。

40～50年代建立了将较少值具有函数完全性的逻辑嵌入较多值逻辑中的系统方法。

60年代初在国际上首先建立了字(有穷基自由半群)上的递归函数和递归算法理论。

70年代对算法语言的描述问题作了深入研究。

80～90年代在递归算法的基础上研究了可计算函数在证明论中的应用。