胡世华

热度:399

简介

胡世华(1912.01.28-1998.04.11),又名胡子华,祖籍浙江吴兴,出生于上海,数理逻辑学家、计算机科学家,中国科学院院士。

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

他是中国开展数理逻辑研究的代表人物之一,倡导将逻辑研究与数学紧密联系起来。他也是国内将逻辑研究与计算机设计相结合的倡导人。

中文名 胡世华
代表作品 一种递归式的原始递归性
出生地 浙江吴兴
出生日期 1912-01-28
原始名称 胡世华
国籍 中国
地区 中国
年龄 86
民族 汉族
精选上位词 人物
逝世日期 1998-04-11
上位词
  • 中国科学院院士
  • 人物
  • 代表人物之一
  • 哲学研究
  • 学者
  • 祖籍浙江吴兴
  • 科学家
  • 计算机科学家
  • 逻辑
  • 院士
  • 主要成就

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

    儿女
  • 胡永千
  • 胡永平
  • 毕业院校
  • 北京大学
  • 南开大学
  • 相关实体