胡世华

胡世华中国现代逻辑学家、数学家。字子华。1912年1月28日出生于上海市，1998年4月11日逝于北京。1935年毕业于北京大学数学系。1936年起在奥地利维也纳大学、德国敏士特大学研究数理逻辑和数学基础。1941年回国后历任中山大学数学天文系副教授、重庆中央大学哲学系教授、北京大学哲学系教授、中国科学院数学研究所研究员、中国科学院计算技术研究所研究员、中国科学院软件研究所研究员、北京计算机学院院长和名誉院长，1981年起任中国科学院数学物理学部学部委员，中国逻辑学会理事、顾问，中国数学学会理事，中国计算数学学会委员。1954年参加中国共产党。

胡世华的科学成就主要有:①建立了拓扑空间中“非完整的点”的概念和理论（博士论文）；②建立了把较少值具有函数完全性的逻辑演算嵌入较多值逻辑演算中去的系统方法；③建立了递归算法论，即关于有穷生成子自由半群上的递归函数的概念和理论；④提出了一种程序(算法)语言的描述方法，建立了“原形文法”概念和理论。他在数学基础和数学哲学问题方面发表了一些具有独创性的论文。他写的专著有《数理逻辑基础》（与陆钟万合作，上下册，1981～1982）。