华人数学家——吴文俊

【吴氏方法】数学家吴文俊关于几何定理机器证明的方法被国际上誉为“吴氏方法”；另外还有以他命名的“吴氏公式”。

吴文俊，中国人，1919年5月12日生于上海。1940年毕业于交通大学，1949年在法国斯特拉斯堡大学获博士学位。1951年回国，1957年任中国科学院学部委员，1984年当先为中国数学理事长。吴文俊在数学上作出了许多重大的贡献。

拓扑学方面，在示性类、示嵌类等领域获得一系列成果，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。他还在拓扑不变量、代数流形等问题上有创造性工作。1956年吴文俊因在拓扑学中的示性类和示嵌类方面的卓越成就获中国自然科学奖一等获。

机器证明方面，从初等几何着手，在计算机上证明了一类高难度的定理，同时也发现了一些新定理，进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。这项工作为数学研究开辟了一个新的领域，将对数学的革命产生深远的影响。1978年获全国科学大会重大科技成果奖。

中国数学史方面，吴文俊认为中国古代数学的特点是：从实际问题出发，经过分析提高，再抽象出一般的原理、原则和方法，最终达到解决一大类问题的目的。他对中国古代数学在数论、代数、几何等方面的成就也提出了精辟的见解

华人数学家——柯召

【柯氏定理】数学家柯召关于卡特兰问题的研究成果被国际数学界称为“柯氏定理”；另外他与数学家孙琦在数论方面的研究成果被国际上称为“柯—孙猜测”。

柯召(1910.4.12—2003.11.8)，数学家。浙江温岭人。1933年毕业于清华大学。1937年获英国曼彻斯特大学博士学位。四川大学教授、校长、名誉校长。主要从事代数学、数论、组合数学等方面的数学与研究工作并取得突出成就。在数论方面，在表二次型为线性型平方和的研究上取得一系列重要成果。在不定方程方面，解决了一百多年来未能解决的卡塔兰猜想的二次情形，并获一系列重要结果。在组合论方面，与他们合作得出了关于有限集组相交的一个著名定理即“定道什-柯-拉多定理”，开辟了极值集论迅速发展的道路。在发展中国教育事业、培养大批科学人才方面做了大量卓有成效的工作。

华人数学家——陈景润

【陈氏定理】数学家陈景润在哥德巴赫猜想研究中提出的命题被国际数学界誉为“陈氏定理”。

陈景润(1933~1996)，中国数学家、中国科学院院士。

福建闽候人。陈景润出生在一个小职员的家庭，上有哥姐、下有弟妹，排行第三。因为家里孩子多，父亲收入微薄，家庭生活非常拮据。因此，陈景润一出生便似乎成为父母的累赘，一个自认为是不受欢迎的人。