氢原子百科 
胡世华（1912年1月28日—1998年4月11日），男，汉族，出生于上海，籍贯浙江吴兴，中国共产党党员，中国民主同盟盟员，数理逻辑学家，计算机科学家，中国科学院院士。[1][4][2]
胡世华1936年本科毕业于北京大学哲学系和数学系。[4]1936年起，先后在奥地利维也纳大学、德国敏斯特威廉大学学习，获得博士学位。[4]曾担任广东中山大学数学天文系副教授，中国科学院数学研究所研究员，中国科学院软件研究所研究员等职务。[2]1980年当选为中国科学院学部委员（院士）[注1]。[2]1998年4月11日因病逝世，终年86岁。[4]
胡世华是中国开展数理逻辑研究的代表人物之一。[6]出版了《电子计算机和一些有关的理论问题》《数理逻辑基础》等著作，[3]其中《数理逻辑基础》获国家教委高等学校优秀教材二等奖。[1]
早期与学业经历
胡世华1912年1月28日出生于上海市，籍贯浙江吴兴，又名胡子华。[2]1927年毕业于南洋模范中学。[2]1929年到1932年间，胡世华在天津南开大学读预科两年和本科一年，对数学很感兴趣。1932年转入北京大学，本来想读数学系，但由于父亲不赞成，改入哲学系学习。1935年毕业于北京大学，以后在该校研究数学。[7]1936年3月胡世华与夏好仁结婚。[8]1936年胡世华与夏好仁前往欧洲。1936年到1940年间，先后在奥地利维也纳大学，德国西威廉敏思特大学以及法国和瑞士学习，研究数理逻辑和数学基础。在西威廉敏思特大学就读期间，他完成了博士学位论文“伪布尔代数及拓扑基础”。1939年获得博士学位。[4][7]
工作经历
胡世华在20世纪30年代建立起了拓扑空间“非完整点”的概念和理论。[9]20世纪40年代到20世纪50年代期间建立了一种系统方法，可以将较少值具有函数完全性的逻辑嵌入较多值逻辑中，并开始发表了他的数理逻辑研究成果。[8][9]1941年回到中国。[7]1941年到1943年期间担任广东中山大学数学天文系副教授。[2]1943年2月到1946年4月期间担任重庆中央大学哲学系数理逻辑、数学基础教授。[1]1943年在《学术季刊》文哲号一卷三期里，胡世华发表了《论人造的语言》，在这篇文章中他介绍了人工语言的特点、作用，并向国内介绍了符号逻辑。[8]1946年4月起开始担任北京大学哲学系数理逻辑、数学基础教授。[1]1949年参加中国民主同盟。[1]
胡世华1950年起担任中国科学院数学研究所研究员，同时兼任中国科学院数理逻辑研究室主任。[2]1954年加入了中国共产党。[1]自1956年起，胡世华参与历届国家科学规划的制定工作，[7]胡世华在中国科学史上第一个学科规划中用图灵破译德军密码的案例，阐述了数理逻辑对计算机产生的作用。[10]1958年到1963年期间兼任中国科学技术大学应用数学系工程逻辑教研室主任职务；[1]同年还创办了数理逻辑训练班，该训练班中国各地高校教师参与进来，让数理逻辑在中国的高等院校中打下了基础。[10]20世纪50年代末期，胡世华的工作转变为了递归函数理论方面的研究。[1]
20世纪60年代初，胡世华在国际上建立了字（有穷基自由半群）上的递归函数与递归算法理论。[9]1963年起开始担任中科院计算技术研究所研究员、第九室主任。[1]“文化大革命”期间，胡世华被扣上“资产阶级反动学术权威”的帽子。[11]
20世纪70年代开始，胡世华对算法语言的描述问题进行了较为深入的研究。[9]1979年起担任北京计算机学院院长、名誉院长。[1]20世纪80年代到20世纪90年代期间，胡世华在递归算法的基础上，研究了可计算函数在证明论中的应用。[9]1980年起担任计算机科学组组长。[2]同年当选为中国科学院学部委员（院士）[注1]。[2]1985年起担任中国科学院软件研究所研究员。[2]
人物逝世
1998年4月11日胡世华因病医治无效在北京逝世，终年86岁。[4]
主要成果
胡世华在20世纪30年代建立了拓扑空间中“非完整点”的概念和理论。在20世纪40年代到50年代，他提出了一种系统方法，将较少值具有函数完全性的逻辑嵌入到较多值逻辑中。20世纪60年代初，他在国际上首次建立了字（有穷基自由半群）上的递归函数和递归算法理论。70年代，他深入研究了算法语言的描述问题。20世纪80年代到90年代，他在递归算法的基础上进行了可计算函数在证明论中的应用研究。[12]
数理逻辑
胡世华在数理逻辑方面进行了较为重要的研究，他在博士学位论文《伪布尔代数及拓扑基础》中建立了拓扑空间中“非完整的点”的概念和理论；在《论人造的语言》中介绍了人工语言的特点和作用，并向中国国内介绍了符号逻辑。在《再现算术新系统及其逻辑常词》文章里建立了新的递归算术系统ＲＡ。[13]并为《中国大百科全书·数学》撰写了“数理逻辑”和“数学基础”条目。[7]
多值逻辑
在多值逻辑方面，胡世华在《一个Ｎｏ-值命题演算的构造》一文里，构造了一个Ｎｏ-值命题演算的语言规则，并且把建立的系统记为Ｎ。同时给出了Ｎ的若干基本的语法定理；在《Ｎｏ-值命题演算的有穷值的具有函数完全性的子系统》一文中，给出可以把任何一个完全的具有函数的完全性的有穷值命题，演算嵌入到一个Ｎｏ-值命题演算中去成为其子系统的方法。在《m-valued subsystem of(m十n)-valued propositional cal-culus》里，胡世华对任何(m十n)-值的命题演算系统，构造出一个完全的m-值子系统。在《四值命题演算与四色问题》一文里，他和陈强业指出四值命题演算与四色问题的联系，从而把四色问题还原到四值命题的问题。[A.普赖尔（Prior）的书《Formal Logic》之中就曾引用胡世华的多值逻辑结果。[14]
经典谓词演算
胡世华是一位在经典谓词演算领域有重要贡献的学者。他关注于自然推理的研究，并于1964年在《数学进展》杂志上发表了题为《古典谓词演算》的论文。在这篇论文中，他构建了一个谓词演算系统，并利用该系统描述了形式数学系统中的相关原始数学定理。基于这篇文章，胡世华与陆钟万合作编写了《数理逻辑基础》（上、下册），该教材荣获国家教委高等学校优秀教材二等奖。[14]
递归结构
胡世华提出了关于递归结构的概念、理论和方法的完整体系，提出了递归结构的概念及其基本理论，证明了各种不同秩的递归结构可以互相嵌入，这是原始递归函数理论的一种有意义的推广。在“递归结构理论的形式系统和语句的可判定性—可解决性理论Ⅱ”中，胡世华提出了递归结构的形式系统，并定义了关于语句φ在Φ中的可判定性概念，然后结合模型论方法给出各种用以检验φ在Φ中可判定性的充分必要条件，特别是与Φ中的可计算性联系起来，得到更便于应用的计算方法。作为这一理论的初步应用，胡世华在“一些数学问题的可解决性—可解决性理论Ⅲ”中通过计算，讨论了一些数论命题的可判定性。[7]
递归函数、递归算法论
在递归函数、递归算法论方面，胡世华有一系列的论著。在20世纪50年代末，由于计算机的发展，他考虑将自然数的可计算函数移植于公式（即字），从而建立了公式（即字）上递归函数的概念和理论。这方面的代表作有“递归算法—递归算法论Ⅰ ”、“核函数--递归算法论Ⅱ"（与陆钟万合著）、“递归函数的范式—递归算法论Ⅲ”和“多种类递归算法—递归算法论Ⅳ”。在国外的文献评论中，胡世华被认为是这方面工作的最早开创者。[7]
对中国计算机科学技术发展的贡献
20世纪50年代胡世华就倡导数理逻辑和计算机的结合，胡世华多次在报纸杂志上宣传数理逻辑和电子计算机的关系，其代表性的文章是他于1957年在《哲学研究》上发表的《数理逻辑的基本特征与科学意义》，阐述了数理逻辑中能行性的研究和电子计算机发展的密切关系。[14]
主要论文
胡世华在《数学进展》《数学学报》等期刊发表论文多篇，以下为部分论文。[15]
| 论文名称 | 作者 | 刊载于 | 发表时间 |
| m-valued sub-system of (m+ n)-valued propositional calculus1 | Hoo T H | The Journal of Symbolic Logic | 1949年[16] |
| 信息时代的数学 | 胡世华 | 数学进展 | 1988年3月1日[15] |
| 古典谓词演算 | 胡世华 | 数学进展 | 1964年8月28日[15] |
| 数理逻辑的性质、特点、作用及其成果的哲学意义 | 胡世华; 吴光磊 | 自然辩证法研究通讯 | 1956年6月15日[15] |
| 一般递归函数的笵式 | 胡世华; 陆钟万 | 数学学报 | 1958年8月29日[15] |
| 略論数理邏輯的发生、发展和現状 | 胡世华 | 科学通报 | 1960年3月31日[15] |
| 递归结构——Ⅰ.可解决性理论 | 胡世华 | 中国科学(A辑 数学 物理学 天文学 技术科学) | 1990年11月27日[15] |
| 递归结构理论的形式系统和语句的可判定性——可解决性理论Ⅱ | 胡世华 | 中国科学(A辑 数学 物理学 天文学 技术科学) | 1990年12月27日[15] |
| 控制论中的哲学问题(限於电子计算机及计算机里所提出的哲学问题) | 胡世华 | 自然辩证法研究通讯 | 1956年6月15日[15] |
| 关于原始递归性 | 胡世华; 杨东屏 | 数学学报 | 1964年8月28日[15] |
出版著作
胡世华先后出版了《电子计算机和一些有关的理论问题》《数理逻辑基础》等著作。[3]
| 出版时间 | 著作名称 | 出版社 |
| 1957年 | 《电子计算机和一些有关的理论问题》 | 科学普及出版社[3] |
| 1981年 | 《数理逻辑基础》[注2] | 科学出版社[3] |
| 2018年 | 《胡世华文集》[注3] | 科学出版社[3] |
社会职务
个人荣誉
| 时间 | 奖项 |
| 1980年 | 中国科学院学部委员（院士）[2] |
科研获奖
人才培养
胡世华曾在广东中山大学数学天文系、重庆中央大学哲学系、北京大学哲学系任教授。[4]代表性学生有广西师范大学教授王驹[20]，中国科学院院士、第三世界科学院院士周巢尘[21]，中国科学院院士、中国科学院软件研究所研究员董韫美[11]。
胡世华先生诞辰100周年纪念活动
胡世华先生诞辰100周年纪念活动于2012年4月23日在中国科学院软件研究所举办。[20]
《胡世华文集》
《胡世华文集》由科学出版社出版，文集收录了胡世华院士的主要著作，内容主要有逻辑演算、递归函数论和科学哲学三个领域，介绍了胡世华研究工作的具体情况。[22]
人物评价
中国科学院软件研究所所长李明树表示：“胡世华对中国数理逻辑、计算机科学、科学哲学和数学史等学科做出了独特贡献，胡世华执著科学、献身科学的精神，温厚、执著、宽容的珍贵品德是软件所和中国数理逻辑、计算机科学领域永远的精神财富。”[20]
科普中国网表示：“他（胡世华）目光长远，推动数理逻辑和计算机技术相结合，自此打开了我国计算机的梦想之门，为我国计算机技术的发展做出了显著贡献。”[23]
《中国科学报》表示：“胡世华先生为科学献身到底的精神，实在令人钦佩。而雄心未尽、壮志难酬，思之亦使人怆然。”[11]
家族成员
参考资料 23
- 胡世华(1912-):国立中央大学哲学系教授(1943-1946) 1980年当选中国科学院学部委员 — 东南大学校友总会
- 参考 2
- 胡世华 — 国家图书馆
- 胡世华院士逝世 — 光明网
- 学部简介 — 中国科学院学部
- 胡世华——中国数理逻辑研究的代表人物之一 — 北京大学
- 参考 7
- 【南开学子】中国科学院院士、数理逻辑学家胡世华 — 南开大学新闻网
- 胡世华 — 东南大学120周年校庆
- 纪念胡世华诞辰百年:半个世纪前的计算机梦想 — 科学网
- 追忆胡世华 — 科学网
- 胡世华 — 中国科学院
- 光明网 胡世华:中国数学逻辑奠基人 — 中国科学技术大学新闻网
- 【南开学子】中国科学院院士、数理逻辑学家胡世华 — 南开大学新闻网
- 胡世华 — 中国知网
- 参考 16
- 参考 17
- 参考 18
- 参考 19
- 软件所举行胡世华先生诞辰100周年纪念活动 — 中国科学院
- 院士专家 — 计算机科学国家重点实验室
- 《胡世华文集》出版 — 中国科学院
- 胡世华:中国“图灵” — 科普中国网
注释
- 1993年10月，经国务院批准，中国科学院学部委员改称中国科学院院士。[5]
- 本套书分上、下两册，介绍数理逻辑的基础知识，包括逻辑演算的基本内容，这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。上册内容包括：绪论、演绎逻辑的基本规则、逻辑演算的系统特征、符号汇编。[3]
- 本书内容主要有三个领域：逻辑演算、递归函数论、科学哲学，共收入58篇文章，文集编进了多篇多值逻辑、递归函数论的文章，还有论述数理逻辑对计算机发展的重要作用以及这两学科间的关系的文章。[3]