胡世华(1912.01.28-1998.04.11),又名胡子华,祖籍浙江吴兴,出生于上海,数理逻辑学家、计算机科学家,中国科学院院士。1935年毕业于北京大学。1936-1941年先后在奥地利维也纳大学、德国西威廉敏思特大学等处学习和研究数理逻辑与数学基础。1980年当选为中国科学院学部委员(院士)。1998年4月11日逝世。他是中国开展数理逻辑研究的代表人物之一,倡导将逻辑研究与数学紧密联系起来。他也是国内将逻辑研究与计算机设计相结合的倡导人。
欢迎使用别助学词语词典!我们专注于汉语词语、成语、近义词、反义词的查询与学习。词库丰富,查询快速,是您提升汉语水平的得力助手。如有任何问题,欢迎联系我们。