站在模型论高度看待微积分的演化
为什么我们必须站在模型论的学术高度来看待微积分的历史演化?
实际情况是,在上世纪50-60年代是世界现代数学发展的一个关键时期(模型论诞生),而那时,我国正在搞“文化大革命”,失去了宝贵的发展机会。我们必须补课。
数理逻辑模型理论对微积分(数学分析)影响最大的人物是鲁宾逊(1918-1974,享年55岁)。
鲁宾逊是数理逻辑与微积分的“中介人”。1979年,模型论学派干将Jerome
Keisler编辑出版鲁宾逊三卷论文集;其中第一卷:模型论与代数;第二卷:非标准分析(无穷小分析);第三卷:空气动力学。请见本文附件。
此前,国人不曾注意到上述事实。
注:要是鲁宾逊能够路再活三十年,那么,微积分教科书肯定不是现在这个样子。
袁萌
陈启清 6月30日
附件:
Selected
Papers of Abraham Robinson, Volume 1: Model Theory and Algebra
(英语)
精装
– 1979
Shipped from UK, please allow 10 to 21 business days
for arrival. edited by H. J. Keisler. v. 1. Model theory and
algebra. Good condition, ex. lib.
…..
… … …
加载中,请稍候......