加载中…
个人资料
北大袁萌
北大袁萌 新浪个人认证
  • 博客等级:
  • 博客积分:0
  • 博客访问:34,631
  • 关注人气:10,635
  • 获赠金笔:0支
  • 赠出金笔:0支
  • 荣誉徽章:
正文 字体大小:

莱布尼兹懂得超实数吗?

(2019-08-27 14:18:43)

莱布尼兹懂得超实数吗?

古希腊阿基米德教导人们,世界上不存在无穷小量,后人称其为“阿基米德原理”。

到了十七世纪,牛顿与莱布尼兹抛弃阿基米德原理,利用无穷小概念创立; 微积分学,后来,欧拉与高斯继承无穷小微积分的理论传统。

但是,无穷小概念受到诸多批评。柯西与魏尔斯特拉斯利用极限的(ε, δ)

定义给牛顿、莱布尼兹的无穷小理论打“补丁”,保无穷小微积分“过关”。

   实际情况是,在此期间,莱布尼兹关于非阿基米德数域的研究仍然不断。

   到了二十世纪60年代,;鲁宾逊创立非标准分析,彻底除去了十八世纪极限理微积分的“补丁”。

    在莱布尼兹脑壳里面必定有超实数的概念,虽然那时还没有超实数的名字。

   我们不知道,国内数学守旧派为什么喜欢抱着微积分极限“补丁”不肯放手?

袁萌  陈启清 827

附件:

From Leibniz to Robinson

When Newton and (more explicitly) Leibniz introduced differentials, they used infinitesimals and these were still regarded as useful by later mathematicians such as Euler and Cauchy. Nonetheless these concepts were from the beginning seen as suspect, notably by George Berkeley. Berkeley's criticism centered on a perceived shift in hypothesis in the definition of the derivative in terms of infinitesimals (or fluxions), where dx is assumed to be nonzero at the beginning of the calculation, and to vanish at its conclusion (see Ghosts of departed quantities for details). When in the 1800s calculus was put on a firm footing through the development of the (ε, δ)-definition of limit by Bolzano, Cauchy, Weierstrass, and others, infinitesimals were

largely abandoned, though research in non-Archimedean fields continued (Ehrlich 2006).

However, in the 1960s Abraham Robinson showed how infinitely large and infinitesimal numbers can be rigorously defined and used to develop the field of non-standard analysis.[6] Robinson developed his theory nonconstructively, using model theory; however it is possible to proceed using only algebra and topology, and proving the transfer principle as a consequence of the definitions. In other words hyperreal numbers per se, aside from their use in nonstandard analysis, have no necessary relationship to model theory or first order logic, although they were discovered by the application of model theoretic techniques from logic.

 


0

阅读 收藏 喜欢 打印举报/Report
  

新浪BLOG意见反馈留言板 欢迎批评指正

新浪简介 | About Sina | 广告服务 | 联系我们 | 招聘信息 | 网站律师 | SINA English | 产品答疑

新浪公司 版权所有