莱布尼兹懂得超实数吗？
莱布尼兹懂得超实数吗？
古希腊阿基米德教导人们，世界上不存在无穷小量，后人称其为“阿基米德原理”。
到了十七世纪，牛顿与莱布尼兹抛弃阿基米德原理，利用无穷小概念创立； 微积分学，后来，欧拉与高斯继承无穷小微积分的理论传统。
但是，无穷小概念受到诸多批评。柯西与魏尔斯特拉斯利用极限的(ε, δ)
定义给牛顿、莱布尼兹的无穷小理论打“补丁”，保无穷小微积分“过关”。
实际情况是，在此期间，莱布尼兹关于非阿基米德数域的研究仍然不断。
到了二十世纪60年代，；鲁宾逊创立非标准分析，彻底除去了十八世纪极限理微积分的“补丁”。
在莱布尼兹脑壳里面必定有超实数的概念，虽然那时还没有超实数的名字。
我们不知道，国内数学守旧派为什么喜欢抱着微积分极限“补丁”不肯放手？
袁萌 陈启清 8月27日
附件:
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.
莱布尼兹懂得超实数吗？相关推荐
- 莱布尼兹乘积微分公式证明纠错
莱布尼兹乘积微分公式证明纠错 假定u与v是一元实函数,莱布尼兹微分公式成立: d(uv)= vdu + udv 证明: (u+△u)(v+△v)- uv = udv+ v△u + △u△v等式两边除以 ...
- 从数学到计算机 从莱布尼兹到冯诺依曼 从数理逻辑到算法分析
https://blog.csdn.net/lanonjj/article/details/51464922 序:从2010年进入大学接触到计算机开始,便不断对其本源好奇,接触得愈久就愈是觉得这门学科 ...
- 牛顿-莱布尼兹公式的几何意义-微分和积分的几何关系
公司办公室上班,工作累了可以跟同事聊聊天,下楼抽根烟,或者仅仅就是出去溜达一圈.然而soho办公却不可能.屋内抽烟是被禁止的,下楼抽烟显得古怪又麻烦- 买了本书,<什么是数学>,就是这本: ...
- 【数学】用C语言实现函数的定积分—— 把 “定积分定义计算出的值” 和 “牛顿-莱布尼兹公式计算出的值” 两者进行误差比较
因为考研数学看到定积分的定义以及"牛顿-莱布尼兹公式" 突然心血来潮,想用C语言把它们实现出来并对比. 1.用 "定积分定义" 计算得出数值 以及 " ...
- 莱布尼兹普遍演算的定义注释--逻辑与算法之十八
莱布尼兹普遍演算的定义注释–逻辑与算法之十八 证明完了24个命题,在片断20的最后部分,莱布尼兹对于他的演算中提到的定义和公理给出了一大段注释.首先注释的是片断20给出的定义3,4,5,6. 这非常自 ...
- 线性代数 --- 三种计算矩阵的行列式的方法之二 莱布尼兹展开法（个人笔记扫描版）
三种计算矩阵的行列式的方法之二 莱布尼兹展开法 在我的个人的线性代数学习中,我分别记录计算矩阵行列式的三种方法,1,LU分解法,2,拉普拉斯展开法,这里我介绍一下第三种方法,莱布尼兹展开法. 行列 ...
- 莱布尼兹的二进制和布尔的全无假定 布尔逻辑之四
莱布尼兹的二进制和布尔的全无假定 布尔逻辑之四 一.莱布尼兹的二进制 智慧这东西真的很神奇,现在人们都已经熟知的数字二进制,史载澳洲和非洲的原始部落,就有这种只用两个数字的计数.这些地方的野蛮人, ...
- 莱布尼兹是微积分奠基人吗？
莱布尼兹是微积分奠基人吗? 本文附件是"History of calculus"中的一段文字,极其清楚地表明:莱布尼兹是微积分奠基人.当之无愧.但是,这个断语与我国现行高等数学教学 ...
- 查阅莱布尼兹档案，为无穷小微积分寻根
自上世纪60年代,出现了公理化无穷小微积分,受到菲氏微积分徒子徒孙的排挤. 作为一套科学的计算系统,微积分(Calculus)是谁发明的?当今,微积分学使用的数学符号是谁提出的?我们需要实事求是,查阅 ...
最新文章
- UIViewController、UINavigationController与UITabBarController的整合使用
- C++ primer 笔记 （一）
- [leetcode] 337.打家劫舍3
- 异步复位设计中的亚稳态问题及其解决方案
- 宿松县事业单位计算机基础知识,计算机基础知识试题（事业单位考试）
- PMOS 和 NMOS区别
- java 二分查找算法
- Ubuntu创建快捷方式
- 两种消息模型: 点对点(queue)发布/订阅(topic)
- 基于Java的贪吃蛇游戏设计（含免费可用源代码）
- 实现安卓中TextView，EditText中数字的数码管字体显示
- TL431中文资料特性及应用
- JAVA实现简单电话簿功能
- 数学建模系列--插值算法
- 电路交换、报文交换与分组交换
- 快排的单指针扫描和双指针扫描
- mac版 IGV(版本2.12.3)安装
- Eclipse（Windows）下第一个动态Java Web项目（Tomcat部署）
- 嵌入式linux/鸿蒙开发板(IMX6ULL）开发（七）Ubuntu开发环境配置
- python画恐龙_Python