[拼音]：Hu Shihua

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

胡世华的科学成就主要有：

（1）建立了拓扑空间中“非完整的点”的概念和理论（博士论文）；

（2）建立了把较少值具有函数完全性的逻辑演算嵌入较多值逻辑演算中去的系统方法；

（3）建立了递归算 ，即关于有穷生成子自由半群上的递归函数的概念和理论；

（4）提出了一种程序(算法)语言的描述方法，建立了“原形文法”概念和理论。他在数学基础和数学哲学问题方面发表了一些具有独创性的论文。他写的专著有《数理逻辑基础》（与陆钟万合作，上下册，1981～1982）。

严正声明：本文由历史百科网注册或游客用户雅健自行上传发布关于» 胡世华的内容，本站只提供存储，展示，不对用户发布信息内容的原创度和真实性等负责。请读者自行斟酌。同时如内容侵犯您的版权或其他权益，请留言并加以说明。站长审查之后若情况属实会及时为您删除。同时遵循 CC 4.0 BY-SA 版权协议，尊重和保护作者的劳动成果，转载请标明出处链接和本声明内容：作者：雅健；本文链接：https://www.freedefine.cn/wenzhan/123238.html