胡世华（1912.1.28—1998.4.11），浙江吴兴人，数理逻辑学家、计算机科学家。1935年毕业于北京大学。1936年—1941年先后在奥地利维也纳大学、德国西威廉敏思特大学等处学习和研究数理逻辑与数学基础。1943年至1946年，任中央大学哲学系数理逻辑、数学基础教授。胡世华在20世纪30年代建立了拓扑空间“非完整点”的概念和理论；40—50年代建立了将较少值具有函数完全性的逻辑嵌入较多值逻辑中的系统方法；60年代初在国际上首先建立了字（有穷基自由半群）上的递归函数和递归算法理论；70年代对算法语言的描述问题作了深入研究；80—90年代在递归算法的基础上研究了可计算函数在证明论中的应用。1980年当选为中国科学院学部委员（院士）。