无穷小是发明，还是发现？

大家知道，发明与发现的含义不同。发明是人类创造活动的产物，而发现是探明已经存在的事物。

上世纪60年代，鲁宾逊利用模型论紧致性定理引入了超实数无穷小。那么，无穷小算是发现，还是发明呢？

1960年，数学家在公理集合论ZFC框架内，直接构造出无穷小。既可以说是发明，也可以说说发现。随你的便。在教学中，我喜欢说，鲁滨逊发现了无穷小，因为，在ZFC大世界中，无穷小早已存在。

袁萌   12月8日

       请关注微信公众号“无穷小微积分”