胡世华

湖州 吴兴区名人录

[公元1912年－1998年，中国科学院院士]

胡世华，数理逻辑学家、计算机科学家 1912年1月28日生于上海，籍贯浙江吴兴。1935年毕业于北京大学。1936～1941年先后在奥地利维也纳大学、德国西威廉敏思特大学等处学习和研究数理逻辑与数学基础。1980年当选为中国科学院学部委员(院士)。1998年4月11日逝世。 曾任北京计算机学院院长、名誉院长，中国科学院数学研究所、计算技术研究所、软件研究所研究员。20世纪30年代建立了拓扑空间“非完整点”的概念和理论。40～50年代建立了将较少值具有函数完全性的逻辑嵌入较多值逻辑中的系统方法。60年代初在国际上首先建立了字(有穷基自由半群)上的递归函数和递归算法理论。70年代对算法语言的描述问题作了深入研究。80～90年代在递归算法的基础上研究了可计算函数在证明论中的应用。

北京大学

侯祥麟 (1912～2008) 中国科学院院士,中国工程院院士 广东省汕头市

黄耀曾 (1912～2002) 中国科学院院士 江苏省南通崇川区

李庆逵 (1912～2001) 中国科学院院士 浙江省宁波

梁树权 (1912～2006) 中国科学院院士 广东省珠海市香洲区

程裕淇 (1912～2002) 中国科学院院士 浙江省嘉兴嘉善县

胡济民 (1919～1998) 中国科学院院士 江苏省南通如皋

郭燮贤 (1925～1998) 中国科学院院士 浙江省杭州

高小霞 (1919～1998) 中国科学院院士 浙江省杭州萧山

李博 (1929～1998) 中国科学院院士 山东省德州市夏津

方俊 (1904～1998) 中国科学院院士 江苏省常州武进

邓从豪 (1920～1998) 中国科学院院士 江西省抚州市临川区