|
|
数海杨帆国之栋梁：中国科学院中的数学家院士
原创 依然 drz 数旅札记 2026 年 4 月 30 日 09:50 辽宁
在中国科学院院士的璀璨星空中，数学物理学部始终闪烁着最为耀眼的智慧之光。数学，作为自然科学的基础，其领域的院士们不仅是真理的探索者，更是中国数学迈向世界前沿的领路人。
1954 年，中国科学院建立了四个学部：物理学数学化学部、生物学地学部、技术科学部和哲学社会科学部。1955 年 6 月，中国科学院举行第一次学部委员大会，公布了首批 233 名学部委员的名单，其中数学家 9 名。1957 年 5 月召开第二次学部委员大会，增选了 18 名学部委员，其中数学家 1 名。在 1960 年召开的第三次学部委员大会之后，哲学社会科学部单独活动，并再没有增选该学部的学部委员，1965 年以后该学部停止活动。1981 年 5 月召开第四次学部委员大会，将物理学数学化学部分为数学物理学部和化学部，并增选了 283 名学部委员，其中数学家 11 名。1992 年以后，每两 年举行一次学部委员大会。在 1994 年的学部委员大会上，国务院宣布将学部委员改称院士，并通过了《中国科学院院士章程》。
下面以选出时间为序，简要介绍中国科学院数学家院士的出生时间、地点、学历及主要研究领域。
1955 年选出
王湘浩（1915—1993）
数学家、计算机科学家。 1915 年 5 月 5日生于河北安平。1937 年毕业于北京大学。1949 年获美国普林斯顿大学哲学博士学位。主要从事代数数论和赋值论、人工智能学等方面的研究并取得多项重要成果。1948 年留美博士论文中，纠正了 Grunwald 定理的错误，对该定理作了推广并给出该定理成立的充要条件，重新证明了 Dickson 猜想。与此同时，证明代数数域上单纯代数换位子群与其幺模子群相等。20 世纪 60 年代初，提出利用“保 n 项关系”的方法解决了多值逻辑中函数集的完备性问题。在定理机器证明和计算机代数方面，推广了归结原理，并推广改进了 Vincent 定理。
华罗庚（1910—1985）
1910 年 11 月 12 日生于江苏金坛。1924 年金坛中学初中毕业。1936 年赴英国剑桥大学访问。主要从事解析数论、矩阵几何学、典型群、自守函数论、多复变函数论、偏微分方程、高维数值积分等领域的研究并取得突出成就。在解决高斯完整三角和的估计难题、华林和塔里问题改进、一维射影几何基本定理证明、近代数论方法应用研究等方面获得出色成果。
江泽涵（1902—1994）
1902 年 10 月 6 日生于安徽旌德。1926 年毕业于南开大学。1930 年获美国哈佛大学博士学位。主要从事不动点理论、莫尔斯理论、复叠空间与纤维丛等领域的研究工作并取得突出成就。早 年研究尼尔森的不动点类理论，成功地用复叠空间替代了双曲几何，后与他人一起提出自映射的伦型概念，并指导他人在尼尔森数的计算和实现问题上取得重大突破将莫尔斯理论直接用于分析学中，得到了调和函数的多项重要结果并在复迭空间和纤维丛方面取得多项创见性成果。
许宝騄（1910—1970）
1910 年 9 月 1 日生于北京，籍贯浙江杭州。1933 年毕业于清华大学。1938 年、1940 年先后获英国伦敦大学哲学博士学位和科学博士学位。中国早期从事数理统计学和概率论研究并有重大贡献的一位杰出学者。最先发现线性假设的似然比检验（F 检验）的优良性给出了多元统计中若干重要分布的推导，推动了矩阵论在多元统计中的应用与 H.Robbins 一起提出的完全收敛的概念是对强大数定律的重要加强。
苏步青（1902—2003）
1902 年 10 月 24 日生于浙江平阳。1927 年毕业于日本东北帝国大学，1931 年获该校理学博士学位。主要从事微分几何学、计算几何学研究，创立了国内外公认的微分几何学派。早期在仿射微分几何学和射影微分几何学研究方面取得出色成果其后在一般空间微分几何学、高维空间共轭理论、几何外形设计、计算机辅助几何设计等方面取得突出成就。
李国平（1910—1996）
1910 年 11 月 15 日生于广东丰顺。1933 年毕业于中山大学。1934～1936 年在日本东京帝国大学读研究生。主要从事函数论、数学物理等方面的研究工作。在半纯函数唯一性问题、有理函数表写问题、整函数理论应用、解析函数逼近、数学物理与系统科学等研究中获多项重要成果。在函数论研究方面取得一系列突出成果。
陈建功（1893—1971）
1893 年 9 月 8 日生于浙江绍兴。1918 年毕业于日本东京高等工业学校，翌 年毕业于东京物理学校。1923 年毕业于日本东北帝国大学，1929 年获该校理学博士学位。主要从事实变函数论、复变函数论和微分方程等方面的研究工作，是中国函数论方面的学科带头人和许多分支研究领域的开拓者。20 世纪 20 年代独立解决了函数可以用绝对收敛的三角级数来表示等根本性数学问题，得到了关于无条件收敛的判别理论。
柯 召（1910—2002）
1910 年 4 月 12 日生于浙江温岭。1933 年毕业于清华大学。1937 年获英国曼彻斯特大学博士学位。主要从事数论、组合论和代数的研究。在数论方面，在表二次型为线性型平方和的研究上取得一系列重要成果。在不定方程方面，突破了100多 年来未能解决的卡塔兰猜想的二次“幂”情形，获得一系列重要结果，被国际上誉为“柯氏定理”，所创造的方法至今仍被广泛引用。在组合论方面，他与爱尔特希、拉多合作的关于有限集合的工作，即“爱尔特希－柯－拉多定理”，开辟了极值集论迅速发展的道路。
段学复（1914—2005）
1914 年 7 月 29 日生于陕西华县。1936 年毕业于清华大学。1941 年获加拿大多伦多大学硕士学位。1943 年获美国普林斯顿大学博士学位。在有限群的模表示论，特别是指标块及其在有限单群和有限线性群构造研究中的应用方面取得突出成果。在代数李群方面与国外学者合作完成了早期奠基性工作。在有限 P 群方面取得重要的成就。在中国开辟了代数学群论等研究领域并形成了富有特色的研究群体。在数学应用于国防科研和国防建设方面做了大量工作。
1957 年选出
吴文俊（1919-2017）
1919 年 5 月生于上海。1940 年毕业于上海交通大学。1949 年获法国国家科学博士学位。 中国数学机械化研究的创始人。20 世纪 50 年代在示性类、示嵌类等研究方面取得吴文俊公式、吴文俊示性类等一系列突出成果，并有许多重要应用。70 年代创立了定理机器证明的“吴方法”，影响巨大，具有重要应用价值，将引起数学研究方式的变革。
1980 年选出
王 元（1930-2021）
1930 年 4 月生于浙江兰溪。1952 年毕业于浙江大学。主要从事解析数论研究。20 世纪 50 年代至 60 年代初，首先在中国将筛法用于哥德巴赫猜想研究，并证明了命题 {3,4} ，1957 年又证明 {2,3} ，在此研究领域跃居世界领先地位。1973 年与华罗庚合作证明用分圆域的独立单位系构造高维单位立方体的一致分布点贯的一般定理，被国际学术界称为“华－王方法”。70 年代后期，对数论在近似分析中的应用作了系统总结。80 年代，在丢番图分析方面，将施密特定理推广到任何代数数域，在丢番图不等式组等方面作出先进的工作。
冯 康（1920-1993）
1920 年 9 月 9 日生于江苏南京，籍贯浙江绍兴。1944 年在重庆毕业于中央大学。1951-1953 年在苏联斯捷克洛夫数学研究所进修。中国现代计算数学和科学工程计算学科的奠基者，在拓扑群、广义函数理论和应用数学、计算数学研究等方面取得突出成就。创造了求解偏微分方程问题的有限元方法。在国际上首创间断有限元函数空间的嵌入理论，并提出了自然边界元法。1984 年以来，在以哈密顿方程和波动方程为主的动态问题研究中取得重要成果。开辟了辛几何和辛格式研究新领域。
关肇直（1919-1982）
数学家、系统与控制学家。 1919 年 2 月 13 日生于天津，籍贯广东南海县。1941 年毕业于燕京大学。1947 年赴法留学。开创了我国泛函分析和现代控制理论的研究，并在中子迁移理论等领域取得了突出成果。最先提出单调算子概念，并对其理论的形成作出奠基性贡献。从崭新的角度对中子迁移理论中本征函数问题的Case方法给出严格的理论基础，并为数理科学的发展做了一定的工作。对弹性振动结构阻尼的研究开创了分布参数的一个新领域。
谷超豪（1926-2012）
1926 年 5 月 15 日生于浙江温州。1948 年毕业于浙江大学。1959 年获苏联莫斯科大学博士学位。主要从事偏微分方程、微分几何、数学物理等方面的研究和教学工作。在一般空间微分几何学、齐性黎曼空间、无限维变换拟群、双曲型和混合型偏微分方程、规范场理论、调和映照和孤立子理论等方面取得了系统的重要研究成果。特别是首次提出了高维、高阶混合型方程的系统理论，在超音速绕流的数学问题、规范场的数学结构、波映照和高维时空的孤立子的研究中取得了重要的突破。
杨 乐（1939-2023）
主要从事复分析研究。1939 年 11 月生于江苏南通。1962 年毕业于北京大学，1966 年于中国科学院数学研究所获硕士学位。主要从事复分析研究，特别是整函数与亚纯函数的值分布理论方面有系统的、深入的研究。
陆启铿（1927-2015）
1927 年 5 月 17 日生于广东佛山。1950 年毕业于中山大学。主要从事多复变函数论、数学物理学等方面的研究并取得多项重要成果。20 世纪 50 年代发表了“Schwarz 引理及解析不变量”论文，是国际上较早地讨论多复变函数 Schwarz 引理的工作，引入了 Schwarz 解析不变量的概念与华罗庚合作发表了“典型域的调和函数论”，建立了典型域上调和函数的系统理论。1966 年提出了常曲率的有界域解析等价于单位超球的论述，并提出了“陆启铿猜想”。70 年代指出物理上规范场与数学上的主纤维丛的联络的关系，证明杨振宁的规范场的积分定义等价于沿一曲线的平行移动。80 年代以来，提出一个系统的方法，可具体地构造非紧对称空间的热核。
陈景润（1933-1996）
1933 年 5 月 22 日生于福建福州。1953 年毕业于厦门大学。主要从事解析数论方面的研究，并在哥德巴赫猜想研究方面取得国际领先的成果。20 世纪 50 年代对高斯圆内格点、球内格点、塔里问题与华林问题作了重要改进。60 年代以来对筛法及其有关重要问题作了深入研究，1966 年5 月证明了命题“1+2”，将 200 多年来人们未能解决的哥德巴赫猜想的证明大大推进了一步，这一结果被国际上誉为“陈氏定理”，其后他又对此作了改进。
胡世华（1912-1998）
数理逻辑学家、计算机科学家 1912 年 1 月 28 日生于上海，籍贯浙江吴兴。1935 年毕业于北京大学。20 世纪 30 年代建立了拓扑空间“非完整点”的概念和理论。40～50 年代建立了将较少值具有函数完全性的逻辑嵌入较多值逻辑中的系统方法。60 年代初在国际上首先建立了字（有穷基自由半群）上的递归函数和递归算法理论。70 年代对算法语言的描述问题作了深入研究。80～90 年代在递归算法的基础上研究了可计算函数在证明论中的应用。
姜伯驹（1937-）
1937 年 9 月生于天津。1957 年毕业于北京大学。主要从事拓扑学中的不动点理论和低维拓扑学等领域研究。20 世纪 60 年代，他提出了迹群概念，在尼尔森数的计算上取得几十 年来的第一个突破，并于 1979 年以后运用低维拓扑的理论和方法，全面地解决了已有半个多世纪历史的尼尔森不动点猜测（一般说来是否定但对曲面自同胚是肯定）。80 年代末以来把尼尔森不动点理论推广到周期点，开辟了将此理论应用于动力系统的途径。
夏道行（1930-）
1930 年 10 月 20 日出生于江苏省泰州市。1950 年毕业于山东大学。主要从事泛函分析、复变函数论和概率论研究。
程民德（1917—1998）
1917 年 1 月 24 日生于江苏苏州。1940 年毕业于浙江大学。1949 年获美国普林斯顿大学博士学位。主要从事多元调和分析、多元三角逼近和模式识别与图像处理的研究。在多重三角级数唯一性理论、多重傅里叶级数求和与逼近理论方面作出了开创性并有深远影响的成果。对有限华尔希变换作了系统研究，奠定了此变换的理论基础，为运用此变换于图像处理提供了理论依据并作出了优秀成果。
1991 年选出
丁夏畦（1928-2015）
1928 年 5 月 25日生于湖南益阳。1951 年毕业于武汉大学。 研究工作涉及偏微分方程、函数空间、数论、数理统计、调和分析及数值分析等。在混合型方程、椭圆组和间断解方面的工作在国内外影响很大。在函数空间及其嵌入定理方面进行了长期的研究，指出和纠正了国外有关著作中的错误，解决了强非线性变分问题、强非线性抛物型方程初边值问题。建立了 Ba 空间理论。近 年来与合作者解决了等熵气流整体解研究的著名数学难题。
万哲先（1927-2023）
1927 年 11 月生于山东淄川。1948 年毕业于清华大学。主要从事代数学和组合论研究，在典型群、矩阵几何、有限几何和编码学等领域进行了系统研究。
王梓坤（1930-）
1929 年 4 月生于湖南零陵。1952 年毕业于武汉大学，1958 年于苏联莫斯科大学获副博士学位。主要致力概率论与随机过程研究。首创极限过渡的概率方法，彻底解决生灭过程的构造问题，并在马尔可夫过程、布朗运动、随机泛函分析等领域取得国际认可的成果。
石钟慈（1933—2023）
1933 年 12 月生于浙江宁波。1955 年毕业于复旦大学。主要从事有限元的理论研究和应用，首创的样条有限元被广泛应用于实际计算并引发了大量后继工作。
张恭庆（1936—）
1936 年 5 月生于上海。1959 年毕业于北京大学。主要从事非线性分析、偏微分方程、张量特征值以及图谱理论的研究工作。
周毓麟（1923—2021）
1923 年 2 月生于上海。1945 年毕业于上海大同大学，1957 年获苏联莫斯科大学数学力学系物理数学科学副博士学位。在组合拓扑学、非线性微分方程理论、计算数学、计算力学及计算机应用等方面进行了系统的长期研究。
胡和生（1928—2024）
1928 年 6 月生于上海。1950 年毕业于大夏大学，1952 年于浙江大学数学系获硕士学位。主要从事微分几何研究。
廖山涛（1920—1997）
1920 年 1 月 4 日生于湖南衡山。1942 年毕业于西南联合大学。1955 年获美国芝加哥大学博士学位。主要从事代数拓扑和微分动力系统领域的研究。20 世纪 60 年代相继提出“典范方程组”和“阻碍集”两大基本理论，由此形成独具特色的研究体系，取得一系列国际第一流的重要成果。首先研究后来国际上热门关注的被称为 Lyapunov 指数的重要概念，证明了 C1 封闭引理、星号系统基本理论、极小歧变集构造定理借助自己建立的阻碍集理论，在 C1 稳定性猜测上取得进展。
潘承洞（1934—1997）
1934 年 5 月 26 日生于江苏苏州。1956 年毕业于北京大学。主要从事解析数论的研究。20 世纪 50 年代第一个得到关于算术数列中最小素数的上界定量估计。在从事哥德巴赫猜想的研究中，首先确定命题 {1,C} 中 C 的具体数值，证明了命题 {1,5} 和 {1,4} 成立，为后来的命题 {1,3} 和 {1,2} 的证明打下了基础。在简化陈氏定理 {1,2} 时提出并证明了一条新的均值定理，是对 Bombieri 定理的重要推广与发展。为了最终解决哥德巴赫猜想，提出了一个完全不同于经典“圆法”的新的探索途径，其中的误差项比“圆法”简单明确，便于直接处理。
1993 年选出
严志达（1917—1999）
1917 年 11 月 1 日生于江苏南通。1941 年毕业于西南联合大学。1949 年在斯特拉斯堡大学获法国国家科学博士学位。主要从事微分几何、李群拓扑的理论研究。是世界上最早算出特殊单李群的贝蒂数的数学家。对实半单李群与李代数及对称空间理论的研究，取得系列成果。提出的实半单李群分类的新方法，大大简化了法国著名数学家é.嘉当等人的有关工作，圆满解决了é.嘉当提出的非紧致对称空间的分类问题。将微分几何理论用于齿轮啮合理论中，阐明了许多重要概念，推导出“诱导曲率公式”，对我国机械工业的发展起到推动作用。
林 群（1935.7—）
1935 年 7 月生于福建连江。1956 年毕业于厦门大学。主要从事计算数学研究。长期研究偏微分方程的求解，寻找高性能的有限元算法，包括寻找有限元误差的符号、大小以及后验判断，削减误差的方法（如外推、超收敛）等，最终使得简单元、粗网格也能具有高精度和可靠性。其成果可用于广泛类型的方程，包括一阶、二阶、四阶的偏微分方程、积分方程和以及本征值问题等，并进行数值实验。部分成果被应用于核反应堆物理计算和核燃料管理。
1995 年选出
马志明（1948.1—）
1948 年 1 月生于四川成都。1978 年毕业于重庆师范大学，1984 年在中国科学院应用数学研究所获博士学位。主要从事概率论与随机分析领域相关研究。
刘应明（1940—2016）
1940 年 10 月 8 日生于福建福州。1963 年毕业于北京大学。主要研究拓扑学和模糊性数学，在代数拓扑、一般拓扑和不分明拓扑的研究中，都取得了重要成果。他在模糊信息处理方面的研究成果推动了中国模糊技术的产业化。他还对多值逻辑进行了深入研究。
李大潜（1937.10—）
1937 年 11 月生于江苏南通。1957 年毕业于复旦大学，1966 年该校在职研究生毕业。主要从事偏微分方程、最优控制理论及有限元法理论研究。
1997 年选出
丁伟岳（1945—2014）
1945 年 4 月 26 日生于上海。1968 年毕业于北京大学。1981 年获中国科学院数学研究所硕士学位，1986 年获该所博士学位。研究领域包括常微分方程，半线性椭圆形方程，调和映射和极小曲面，预定数量曲率问题，Schrodinger 流，复几何中的 Kahler-Einstein 度量存在性等。在著名的 Nirenberg 问题研究上取得了突破性进展，在 Kahler-Einstein 度量的存在性问题上获得了有影响的结果。
陈希孺（1934—2015）
数理统计学家。1934 年 2 月 11 日生于湖南望城。1956 年毕业于武汉大学。主要从事数理统计学研究，在线性回归大样本理论领域获得一系列具有重要意义的结果。在参数统计和非参数统计领域都做出了具有国际影响的工作。解决了在一般同变损失下位置-刻度参数的序贯 Minimax 同变估计的存在和形式问题；给出了在种种抽样机制（固定、两阶段和序贯）之下，作为分布泛函的一般参数存在精确区间估计的条件，否定了国外学者关于此问题的某些猜测；解决了关于 U 统计量逼近正态分布的非一致收敛速度的问题。在自变量带误差的线性回归模型和广义线性模型的研究方面，获得了若干重要成果。
1999 年选出
文 兰（1946.3—）
1946 年 3 月生于甘肃兰州。1969 年毕业于北京大学。1986 年获美国西北大学博士学位。主要从事微分动力学研究。
严加安（1941.12—）
1941 年 12 月生于江苏邗江。1964 年毕业于中国科学技术大学。 主要从事随机分析和金融数学研究。
陆汝钤（1935.2—）
数学家，计算机科学家。1935 年 2 月 15 日生于上海。1959 年毕业于德国耶拿大学。早 年从事多复变函数论研究，后转向人工智能，是中国人工智能研究的开拓者之一，在知识工程和基于知识的软件工程方面做出了系统的、创造性的工作。
|
|
IP卡
狗仔卡
发表于 2026-5-2 19:12
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
显身卡
楼主