分析学家
| 此条目需要补充更多来源。 (2010年12月2日) |
分析学家:或致一位不信神的数学家（其中检测了现代分析学的对象、原理和推论是否比宗教信仰更可靠）（英语：The Analyst: A Discourse Addressed to an Infidel Mathematician (Wherein It Is Examined Whether the Object, Principles, and Inferences of the Modern Analysis Are More Distinctly Conceived, or More Evidently Deduced, Than Religious Mysteries and Points of Faith)）是乔治·贝克莱于1734年发表的一篇著作。其中贝克莱用“消失量之鬼”这个词对牛顿和莱布尼茨发展的旧有理论的根基进行简单的批判，但没有对微积分的结果提出异议，贝克莱承认结果是真实的，他批评的重点是微积分在逻辑上并不比宗教更严谨。
消失量之鬼概念简述
考虑下例：函数 y = x2可通过如下商数进行微分：
即y的增量（通常用Δy表示）除以x的增量（通常用Δx表示）。这个表达式可以通过代数方法化简为：
为了得到原函数对应的导数，也就是2x，我们必须将无穷小量Δx去掉。因此，这个建立商数时被假设为非零（否则数无意义）的无穷小量 ，在计算的最后一步却竟然被视为零而去除了。总之，一个“消失量”（Δx = 0），却不会在“幽灵般地”出现（Δx ≠ 0）。贝克莱认为，这样一个矛盾将侵蚀微积分这门新学科的逻辑根基。
解决诡论的方法
关于这个悖论，其中一个可能的解决方案是建立在超实分析中的标准部分函数“st”之上的（参见非标准微积分）。即：将导数定义为：
替代原来的无穷小量定义。亚伯拉罕·罗宾逊在他1966年的著作《非标准分析》中写下如下的一段话：
- 这本书将证明莱布尼茨的理论是完全正确的，而这些理论将引出一个新奇而终将硕果累累的、通向经典分析和许多其它数学分支的研究方法。这种方法的关键就是详尽分析数学语言和数学结构之间的关系；而这两者之间的关系，又正是当代模型理论的基础。