论文部分内容阅读
科学史与现代科学的联结当一位久远的科学家的思想方法或理论能被用为现今理论形成的一部分时,也可以把它看作是“现代的”。正是在这个意义上,才有助于解释科学史的现实意义及其特有的功能。列入我国“八五”期间攀登计划的“机器证明及其应用”就是这方面的一个实例。数学定理的机器证明是吴文俊院士继承我国古代数学传统开创的数学机械化工作的一部分。“机械化”是相对“公理化”而言的。公理化思想起源于古希腊,欧几里得《几何原理》就是这方面的代表作,它创造了一套用定义、公理、定理构成的逻辑演绎体系。我国的数学著作,自汉代的《九章算术》起则创造了另一种表达方式,它将246个应用问题,区分为9大部分
The link between the history of science and modern science When a thinking method or theory of a distant scientist can be used as part of the formation of modern theory, it can also be regarded as “modern”. It is in this sense that it helps to explain the realistic significance of the history of science and its unique functions. Included in our “85 ” during the climbing program “machine certification and its application ” is an example of this. Machine proof of mathematical theorem is Wu Wenjun academicians inherited the ancient math tradition to create a part of the work of mathematical mechanization. “Mechanization ” is relative “axiomatic ” terms. Axiomatization originated in ancient Greece. Euclid's “principle of geometry” is the masterpiece in this respect. It creates a set of logical deduction systems with definitions, axioms and theorems. My math writings, since the Han Dynasty's “Nine Arithmetic” has created another way of expression, it will be 246 application problems, divided into 9 most