胡世华

【生卒】：1912～

【介绍】：

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

胡世华的科学成就主要有：①建立了拓扑空间中“非完整的点”的概念和理论(博士论文)；②建立了把较少值具有函数完全性的逻辑演算嵌入较多值逻辑演算中去的系统方法；③建立了递归算法论，即关于有穷生成子自由半群上的递归函数的概念和理论；④提出了一种程序(算法)语言的描述方法，建立了“原形文法”概念和理论。胡世华从事数理逻辑研究和教学工作，培养出一大批活跃在数理逻辑界和计算机科学界的人才，为中国的数理逻辑及应用发展作出了重要贡献。他还在数学基础和数学哲学方面发表了一些具有独创性的论文。他写的专著有《数理逻辑基础》(与陆钟万合著，上下册，1981～1982)。