您现在的位置: 首页 >  院士信息 >  已故院士名单
院士信息

胡世华

 

【字号:    
胡世华
数理逻辑学家、计算机科学家 1912年1月28日生于上海,籍贯浙江吴兴。1935年毕业于北京大学。1936~1941年先后在奥地利维也纳大学、德国西威廉敏思特大学等处学习和研究数理逻辑与数学基础。1980年当选为中国科学院学部委员(院士)。1998年4月11日逝世。 曾任北京计算机学院院长、名誉院长,中国科学院数学研究所、计算技术研究所、软件研究所研究员。20世纪30年代建立了拓扑空间“非完整点”的概念和理论。40~50年代建立了将较少值具有函数完全性的逻辑嵌入较多值逻辑中的系统方法。60年代初在国际上首先建立了字(有穷基自由半群)上的递归函数和递归算法理论。70年代对算法语言的描述问题作了深入研究。80~90年代在递归算法的基础上研究了可计算函数在证明论中的应用。
导航
首页
学部介绍
院士信息
院士大会
院士增选
智库建设
出版物
学部工作局
动态
学部动态
媒体报道
咨询评议
学术交流
科普活动
院士动态
专题
2017中科院院士增选
陈嘉庚科学奖
科学与中国
学术引领
科学人生·百年
院士文库
缅怀院士
中科院第十八次院士大会
纪念学部成立60周年
院士口述故事
工具栏
院士邮箱系统
院士增选系统
学部咨询项目管理系统
学部学科项目管理系统
学部局综合办公平台