鲁宾逊是如何发现无穷小的?

1960年深秋,鲁宾逊在多年研习数理逻辑以及数学发展史的基础上,开始思考微积分的理论基础问题,并且有所发现。突然之间,在鲁宾逊的脑海里面浮现出一个念头,那就是利用哥德尔形式化方法复活老版莱布尼兹的无穷小微积分。

鲁宾逊的研究成果发表在次年的数学期刊上。从此,无穷小微积分开启了现代化进程;

所以,没有数理逻辑就没有无穷小微积分。

袁萌  陈启清  9月23日


发表新评论