| 胡世华 1912—1998 数学家、逻辑学家。曾用名胡子华。北京人。1935年毕业于北京大学，1936年赴欧洲，在奥地利维也纳大学、德国明斯特大学等处研究数理逻辑、数学基础。1941年回国后，历任中山大学副教授，重庆中央大学、北京大学教授，中国科学院数学研究所研究员、数理逻辑研究室主任、研究所顾问，计算技术研究所、软件研究所研究员，北京计算机学院院长、名誉院长。为中国逻辑学会顾问。1954年参加中国共产党。1980年当选为中国科学院学部委员。长期从事数理逻辑、数学基础和计算机科学的研究。在《递归算法论Ⅰ》中，把自然数集上的递归函数论推广到字集上，从而建立一个可计算性理论，可以将已有的可计算性理论(如图林机理论、丘奇λ-转换演算等)很自然而又直接地作为子理论而得到表达，且应用上比已有的各个理论更为方便。主要著作有《m+n值命题演算的m值子系统》、《S\\S值命题演算的有穷值的具有函数完全性的子系统》、《一般递归函数的范式》、《递归算法论Ⅰ-Ⅳ》、《数理逻辑基础》(与陆钟万合著)等。 |