查看“︁分析学家”︁的源代码

{{refimprove|time=2010-12-02T04:41:48+00:00}}

'''分析学家:或致一位[[不信者|不信神]]的数学家（其中检测了现代分析学的对象、原理和推论是否比宗教信仰更可靠）'''（{{lang-en|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''&nbsp;=&nbsp;''x''<sup>2</sup>可通过如下商数进行微分：

:<math>\frac{\Delta y}{\Delta x}</math>

即''y''的增量（通常用''&Delta;y''表示）除以''x''的增量（通常用''&Delta;x''表示）。这个表达式可以通过代数方法化简为：

:<math>2x+\Delta x.\,</math>

为了得到原函数对应的[[导数]]，也就是2''x''，我们必须将[[无穷小量]]''&Delta;x''去掉。因此，这个建立商数时被假设为非零（否则数无意义）的无穷小量 ，在计算的最后一步却竟然被视为零而去除了。总之，一个“消失量”（''&Delta;x''&nbsp;=&nbsp;0），却不会在“幽灵般地”出现（''&Delta;x''&nbsp;≠&nbsp;0）。贝克莱认为，这样一个矛盾将侵蚀微积分这门新学科的逻辑根基。

==解決詭論的方法==

关于这个悖论，其中一个可能的解决方案是建立在[[超实数|超实分析]]中的{{link-en|标准部分函数|Standard part function}}“st”之上的（参见[[非标准微积分]]）。即：将导数定义为：

:<math>{\rm st} \left( \frac{\Delta y}{\Delta x} \right)</math>

替代原来的无穷小量定义。[[亚伯拉罕·罗宾逊]]在他1966年的著作《[[非標準分析]]》中写下如下的一段话：

:这本书将证明莱布尼茨的理论是完全正确的，而这些理论将引出一个新奇而终将硕果累累的、通向经典分析和许多其它数学分支的研究方法。这种方法的关键就是详尽分析数学语言和数学结构之间的关系；而这两者之间的关系，又正是当代[[模型理论]]的基础。

==参见==
*David R. Wilkins'的网页上的''[http://www.maths.tcd.ie/pub/HistMath/People/Berkeley/Analyst/ 分析学家] {{Wayback|url=http://www.maths.tcd.ie/pub/HistMath/People/Berkeley/Analyst/ |date=20060612211219 }}''。内有指向贝克莱同年代人物的评论的链接。

[[Category:数学书籍]]
[[Category:微积分史]]
[[category:1734年书籍]]