无限小量方法与非标准分析.pdfVIP

无 限 小 量 方 法 与 非 标 准 分 析 肆 中国科 学院 计算技术研 究所 张锦文 一 非标准分析 是 近十几 年来发展起来 的一种 新 的数学研 究领 域和 方 法。 它运 用数理逻 辑 的 。 科学方法 , 论证 了无 限小量方法 的逻 辑严谨 性 , 为微 积 分 的理论基 础提供 了一 种新 的说 明 、 。 牛顿 莱布尼 茨在创立微积 分时 , 曾广泛 地运 用 了无 限小量和 无 限小量方 法 , 但是 , 他们关于无 限小量 的概念是不清 楚 的 , 在运 用无 限小 量进 行推理 的时候 , 时而把 它 当作 , 。 时而把它 当作不是 , 因此 , 显现 了某种神秘性 主 观 唯心主义 的代表 贝克莱主教 曾经抓住 华 这点攻击无 限小量是 “ 难解 的 、 讨厌 的、 臆 断 的” , 攻击 微 积分 的推 理 是 “ 诡 辩 ” 。 当 。 时, 一群 旧式正 统数学家对微积 分 的恼怒和攻击 , 也是着 眼于无 限小量 的某种 神秘 性 后 来 , 在撕 下微积 分 的神秘外衣方面取得很大进步 的达 兰 贝尔和 拉 格 朗 日在研 究微积 分 基础 中都企 图回避 无 限小量 , 前者采 用 了极 限方 法 , 后 者采 用 的是代数方法 , 虽然他们并没 。 。 有真正避开无 限小量 十九世 纪 初, 高斯 明确地 否认 实无 限 的概念 , 只 承认潜无 限 的思 想 所谓实无 限小概 念是 指在数学 的论域 中存在 一 些大于 又 小于任 意正 实数 的对 象, 潜无 限小 概念则否认把这种无 限小量作为论 域 的对 象, 仅仅把无 限小看作论 域上 的一 些逐 渐趋 向于 ① 在牛顿 的著作 中, “ 量 在流 动 中变 为 ” , 这 里 为 无 限 小 童 或 无 限小 增 , “ ” , 无 产 卜 示 。 贝 里 生 量