胡世华，数理逻辑学家、计算机科学家 1912年1月28日生于上海，籍贯浙江吴兴。1935年毕业于北京大学。1936～1941年先后在奥地利维也纳大学、德国西威廉敏思特大学等处学习和研究数理逻辑与数学基础。1980年当选为中国科学院学部委员(院士)。1998年4月11日逝世。 曾任北京计算机学院院长、名誉院长，中国科学院数学研究所、计算技术研究所、软件研究所研究员。20世纪30年代建立了拓扑空间“非完整点”的概念和理论。40～50年代建立了将较少值具有函数完全性的逻辑嵌入较多值逻辑中的系统方法。60年代初在国际上首先建立了字(有穷基自由半群)上的递归函数和递归算法理论。70年代对算法语言的描述问题作了深入研究。80～90年代在递归算法的基础上研究了可计算函数在证明论中的应用。
相关院校：
北京大学
同年(公元1912年)出生的名人：侯祥麟 (1912～2008) 中国科学院院士,中国工程院院士 广东省汕头市 黄耀曾 (1912～2002) 中国科学院院士 江苏省南通崇川区 李庆逵 (1912～2001) 中国科学院院士 浙江省宁波 梁树权 (1912～2006) 中国科学院院士 广东省珠海市香洲区 程裕淇 (1912～2002) 中国科学院院士 浙江省嘉兴嘉善县 + 更多公元1912年出生的名人》
同年(公元1998年)去世的名人：胡济民 (1919～1998) 中国科学院院士 江苏省南通如皋 郭燮贤 (1925～1998) 中国科学院院士 浙江省杭州 高小霞 (1919～1998) 中国科学院院士 浙江省杭州萧山 李博 (1929～1998) 中国科学院院士 山东省德州市夏津 方俊 (1904～1998) 中国科学院院士 江苏省常州武进 邓从豪 (1920～1998) 中国科学院院士 江西省抚州市临川区 + 更多公元1998年去世的名人》
胡姓名人堂胡生芽 江西省新余市渝水区人 胡英俊 四川省达州市开江县人 胡发坚 (1906～1939) 江西省吉安市吉安县人 胡光炜 (1888～1962) 浙江省嘉兴人 胡蝶 (1908～1989) 民国时期电影皇后 广东省江门市鹤山人 胡腾霄 (1918～1941) 山东省聊城市冠县人 胡钧 (1869～1943) 山西省人 胡芳远 (1906～1986) 安徽省铜陵枞阳人 中国科学院院士人物介绍茅以升 (1896～1989) 中国科学院院士，土木工程学家、桥梁专家、工程教育家 竺可桢 (1890～1974) 中国近代气象学家、地理学家 苏步青 (1902～2003) 中国科学院院士,中国著名的数学家、教育家，中国微分几何学派创始人 陈景润 (1933～1996) 哥德巴赫猜想第一人 梁思成 (1901～1972) 梁启超长子,中国著名建筑学家 李四光 (1889～1971) 中国科学院院士,著名地质学家 童第周 (1902～1979) 著名实验胚胎学家 梁思礼 (1924～2016) 梁启超第五子,中国科学院院士 北京大学人物介绍李大钊 (1889～1927) 中国共产主义运动的先驱 李克强 中华人民共和国国务院总理 茅盾 (1896～1981) 著名作家 余光中 (1928～2014) 沈从文 (1902～1988) 20世纪湖南十大文化名人 蔡元培 (1868～1940) 著名的思想家、教育家 朱自清 (1898～1948) 胡适 (1891～1962) 现代学者，历史学、文学家，哲学家
吴兴区更多人物
钱徽 (755～829) 沈端节 宋朝词人 李根深 (1930～2015) 王作栋 (1911～1939) 抗日英烈 沈子木 (1508～1609) 章谦亨 燕文贵 (967～1044) 葛郯
