数学家。生于广东汕头。香港中文大学毕业，美国伯克利加利福尼亚大学博士。普林斯顿高级研究所终身教授。中科院外籍院士。1976年解决微分几何中的“卡拉比猜想”。1978-1979年，与舍恩一起证明了广义相对论中的正质量猜想。在拓扑学等方面也有创见。1982年获菲尔兹奖，为获得该奖的第一个华人。

在证明或反驳中把真实性尚待验证的判断当作论据的逻辑错误。犯了这种错误，就不能达到证明或反驳的目的。

亦称“推不出”。证明中论据和论题之间没有必然联系的逻辑错误。

不满足任何整系数代数方程的数。如圆周率π、自然对数的底e等。可以证明超越数有无穷多个。超越数必定是无理数，反之，无理数却未必是超越数。

1.长牒。给行远路者以某种证明的文书。 2.长篇檄文。

形式逻辑的基本规则之一。提出或证明一个命题，都必须有能够表明它何以真实的理由。证明要求论据必须真实，并且从论据可以推出论题，这就是充足理由律的具体运用。

用来证明地球自转运动的天文仪器，一根长十几或几十米的金属丝，一端系一个重球，另一端悬挂在支架上。由于地球自转，在北半球，摆对所形成的扇状面按顺时针方向旋转；在南半球则按逆时针方向旋转。因法国科学家傅科（Léon Foucault）发明而得名。

从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。

我国古代证明圆面积公式和计算圆周率的方法。由刘徽首先提出。当圆内接正多边形边数逐步增加时，其周长和面积分别逼近圆周长和圆面积。刘徽曾用此法算出圆内接正3072边形的面积，以验证圆周率的正确性。

产品的—种证明性标志，表明产品在生产、使用和废弃处理过程中符合环保要求，对环境无害或危害极小，同时有利于资源的再生和回收利用。我国的环境标志图形由青山、绿水、太阳和十个环组成。也叫绿色标志、生态标志。