基本简介
曾用名胡子华，著名数理逻辑学家、计算机科学家。北京市人，1912年1月28日生。现为中国科学院计算技术研究所研究员、博士生导师。他1932—1936年在北京大学数学系、哲学系学习并毕业。1936年在奥地利维也纳大学和德国敏思特大学研究数理逻辑、基础数学，1939年获博士学位。1941年回国，同年8月至1943年2月任中山大学数学天文系副教授，1943年2月至1946年4月任中央大学文学院哲学系数理逻辑、数学基础教授，1946—1950年任北京大学哲学系教授，1950—1953年又兼任中国科学院数学研究所研究员，1953—1963年起任中国科学院数学研究所数理研究室主任，1963年起任中国科学院计算技术研究所研究员、九室主任，1979年起曾兼任北京计算机学院院长、名誉院长。他于1980年11月当选为中国科学院数学物理学部学部委员。1998年4月11日逝世。
20世纪30年代建立了拓扑空间“非完整点”的概念和理论。40～50年代建立了将较少值具有函数完全性的逻辑嵌入较多值逻辑中的系统方法。60年代初在国际上首先建立了字(有穷基自由半群)上的递归函数和递归算法理论。70年代对算法语言的描述问题作了深入研究。80～90年代在递归算法的基础上研究了可计算函数在证明论中的应用。
English
