查阅莱布尼兹档案，为无穷小微积分寻根

自上世纪60年代，出现了公理化无穷小微积分，受到菲氏微积分徒子徒孙的排挤。

作为一套科学的计算系统，微积分（Calculus）是谁发明的？当今，微积分学使用的数学符号是谁提出的？我们需要实事求是，查阅历史档案才能搞定。

In the manuscripts of 25 October to 11 November 1675, Leibniz recorded his discoveries and experiments with various forms of notation. He was acutely aware of the notational terms used[attribution needed] and his earlier plans to form a precise logical symbolism became evident. Eventually, Leibniz denoted the infinitesimal increments of abscissas（横坐标） and ordinates（纵坐标） dx and dy, and the summation of infinitely many infinitesimally thin（薄片） rectangles as a long s (∫ ), which became the present integral symbol ∫

上世纪60年代，美国数学家鲁宾逊对莱布尼兹的符号发明的合理性给出了严格的逻辑证明。

袁萌  2月28日

.