数学中的“数”和“形”的革命

数学是研究现实世界的空间形式和数量关系的科学，即“形”和“数”的科学。和一般科学一样，数学研究也要借助于模型，实数体系和几何元素是基本的数形模型。

在几何元素中，“点”没有长度、宽度和厚度，“线”没有厚度和宽度，“面”没有厚度，它们纯粹是人脑的产物，现实中没有任何物体可以作直线运动，你找不到点线面，也画不出点线面，同样也找不到圆、双曲线、圆球和正方体。在研究实际问题时，人们对研究对象进行了简化和理想化处理，即科学抽象，人们把现实中形状近似的物体抽象为人脑中相应的模型，比如将与圆柱形状相近的物体等同于圆柱体，把微小带电体看作点电荷等。

实数体系有一个不断扩充的过程。古人在实践中，从一只羊、一棵树等一定物群的共有性方面抽象出整数的概念。在实际运算中，整数加减运算出现了零和负数，整数的分割产生了分数，它们构成有理数，有理数的开方产生了无理数，无理数的出现遭到毕达哥拉斯学派的强烈反对，曾经引发“第一次数学危机”，直到2000多年后戴德金用有理数的“分割”来定义无理数，才确立了实数定义及其“完备性”证明。

在对微积分基本原理的研究中，学者丁老师指出现行数形模型的不足之处。《丁小平的学术思想及其启示》一文认为 “现行数—形模型把实数变成了处于无限增长的动态体系”。在坐标轴中，任何两个点（数）之间可以插入无数个点（数），所以点（数）是离散的，它无法描述连续，没有描述两个点分合过渡和两个数异同过渡的属性。点无长度，即无测度；数无度量，数的差即数量才有测度。那么不连续无测度的点如何滚动生成连续有测度的线呢？现行数形模型说不清楚。事实上，无理数和有理数一样，是无度量的，所以实数无法填满数轴，点再多数轴都有空隙。极限论的一个来源是“正多边形边数无限增多的极限是圆”，但依据点的规定性，不管正多边形的边数怎样无限增多，其任意一个边的两个端点都无法重合，得到的将是边长无限小下去的动态正多边形，于是极限不存在了。同样的，瞬时变化率、切线等也不存在，解析几何中得到的是切割长度无限减小的割线。

由于现行数形模型的局限性，无论把微分看作零或者其极限为零，都难以描述微分的本质。丁老师将数和点的规定性修正为：每个实数的有性扩张为0，准有性扩张不为零；点的有性度量的0，准有性度量不为0，相同的数（点）变为不同的数（点）有一个异同（合分）的过渡过程。这样就有了合理的连续概念，他将微分表述为“准有”，是点级微化的产物，微分在量上是有无相互过渡的中介，定性为有，定量为零，进一步揭示出微分的本质。借助于新的数形模型，测度有了承担者，不需要依赖于极限论，微积分基本原理将得到更清楚的阐释。