英文
1912—Hú Shìhuá
简介
中国数学家.上海人.1935年毕业于北京大学哲学系.1936—1941年先后在奥地利维也纳大学、德国明斯特大学学习数学，研究数理逻辑及数学基础，并获博士学位.1941—1943年任中山大学数学天文系副教授，1943—1946年任重庆中央大学哲学系教授，1946—1953年任北京大学哲学系教授，1950—1962年任中国科学院数学研究所研究员、数理研究室主任，其间1958—1963年兼任中国科技大学工程逻辑教研室主任.1963年起任中国科学院计算技术研究所和软件研究所研究员，1979年起兼任北京计算机学院院长、名誉院长.1980年被选为中国科学院物理学数学部学部委员.
胡世华主要研究数理逻辑、数学基础及计算机科学.早期在博士论文中就建立了拓扑空间“非完整点”的概念及理论.20世纪40年代末到50年代初研究多值逻辑，给出了把任何一个完全的具有函数的完全性的有穷值命题演算嵌入到一个阿列夫值命题演算中去的方法.20世纪50年代末转向了递归函数和递归算法的研究，提出了一般递归函数具有某种原始递归性.1960年在国际上首先建立了有穷基自由半群的递归函数论、算法理论.后来曾考虑过计算机程序设计语言的描述，提出过“原形文法”的理论和概念.还研究了可计算函数在证明论中的应用.在1990年发表的三篇论文中提出了称为递归结构的一类代数结构，建立了递归结构的形式系统并给出了判定其语句的可判定性充要条件等，证明了目前数论中许多未解决问题是可判定的.著作有《数理逻辑基础》(上，下册，与陆钟万合作).