9.6 非标准分析与无穷小微积分 9.6 非标准分析与无穷小微积分:在无限的镜像中重构微积分的灵魂 倘若我们站在数学史的山巅回望,会发现微积分的诞生本身便是一场对“无限”的豪赌。牛顿与莱布尼茨以直观却略显粗糙的“无穷小量”撬动了整个现代科学体系,而随后两个世纪的严格化运动——柯西、魏尔斯特拉斯等人以ε-δ语言构建的极限理论——虽为微积分奠定了坚实的逻辑基础,却也悄然抹去了其原始的直觉光辉。直到二十世纪中叶,一位名叫亚伯拉罕·鲁宾逊(Abraham Robinson)的逻辑学家,以模型论为利刃,在ZFC公理系统的腹地开辟出一片名为“非标准分析”(Nonstandard Analysis, NSA)的新大陆。他不仅复活了“无穷小”,更赋予其前所未有的严格性与表现力。