自上世纪60年代,出现了公理化无穷小微积分,受到菲氏微积分徒子徒孙的排挤。

作为一套科学的计算系统,微积分(Calculus)是谁发明的?当今,微积分学使用的数学符号是谁提出的?我们需要实事求是,查阅历史档案才能搞定。

In themanuscripts of 25 October to 11 November 1675, Leibniz recorded his discoveriesand experiments with various forms of notation. He was acutely aware of thenotational terms used[attribution needed] and his earlier plans to form aprecise logical symbolism became evident. Eventually, Leibniz denoted theinfinitesimal increments of abscissas(横坐标) and ordinates(纵坐标) dx and dy, andthe summation of infinitely many infinitesimally thin(薄片) rectangles as along s (∫ ), which became the presentintegral symbol ∫

上世纪60年代,美国数学家鲁宾逊对莱布尼兹的符号发明的合理性给出了严格的逻辑证明。

袁萌  2月28日

查阅莱布尼兹档案,为无穷小微积分寻根相关推荐

  1. 莱布尼兹论微积分的基础:关于无穷小量的真实性问题

    Content 莱布尼兹论微积分的基础:关于无穷小量的真实性问题 1998年,美国学者发表研究论文,题为"Leibniz on theFoundations of the Calculus: ...

  2. 鲁宾逊与莱布尼兹(修改版)

    上世纪60年代,鲁宾逊深入研读莱布尼兹数学手稿(未发表的),有许多发现与心得. 鲁宾逊高度赞美莱布尼兹关于实无穷小微积分的创新思想,为此,鲁宾逊特推崇他为现代非标准分析的先行者. 本文附件,记录了鲁宾 ...

  3. 莱布尼兹是微积分奠基人吗?

    莱布尼兹是微积分奠基人吗? 本文附件是"History of calculus"中的一段文字,极其清楚地表明:莱布尼兹是微积分奠基人.当之无愧.但是,这个断语与我国现行高等数学教学 ...

  4. 将微积分基本定理中的牛顿-莱布尼兹公式写成散度定理的形式

    我们知道,闭合曲线下的格林公式和封闭曲面下的高斯散度定理,它是许多自然科学最基本的定理和基石.对于这些定理的讨论有很多文章和解答,本篇我们不再讨论,而是将其延伸, 都知道一元微积分最基本的公式,即牛顿 ...

  5. 从数学到计算机 从莱布尼兹到冯诺依曼 从数理逻辑到算法分析

    https://blog.csdn.net/lanonjj/article/details/51464922 序:从2010年进入大学接触到计算机开始,便不断对其本源好奇,接触得愈久就愈是觉得这门学科 ...

  6. 无穷小微积分,入门三道坎儿

    上世纪30年代,哥德尔证明了紧致性定理,到了60年代,塔尔斯基创立模型论,借此鲁宾逊创立非标准分析,随后,1976年,J.Keisler发表无穷小微积分教科书. 该教材复活了300年前莱布尼兹当初创立 ...

  7. 莱布尼兹懂得超实数吗?

    莱布尼兹懂得超实数吗? 古希腊阿基米德教导人们,世界上不存在无穷小量,后人称其为"阿基米德原理". 到了十七世纪,牛顿与莱布尼兹抛弃阿基米德原理,利用无穷小概念创立: 微积分学,后 ...

  8. 莱布尼兹天才发现,改变人类发展轨迹

    当今,世界上没有哪个国家像我们这样科普微积分.事实上,人类如果没有微积分就不会有今天的发展成就,不会有今天的辉煌.         1675年,莱布尼兹从无限细分曲边梯形过程中悟出了两点: (i)   ...

  9. 【数学】用C语言实现函数的定积分—— 把 “定积分定义计算出的值” 和 “牛顿-莱布尼兹公式计算出的值” 两者进行误差比较

    因为考研数学看到定积分的定义以及"牛顿-莱布尼兹公式" 突然心血来潮,想用C语言把它们实现出来并对比. 1.用 "定积分定义" 计算得出数值 以及 " ...

最新文章

  1. 二十三、斐波那契查找算法
  2. 安卓复杂的首页布局_到底该如何快速进入安卓编程?
  3. mysql server_id作用_在MySQL中设置`server-id`变量不起作用
  4. 使用 Google Calendar 免费自动发送手机短信、Email 的方法
  5. HTML5 组件Canvas实现图像灰度化
  6. 前端技巧|Chrome上4款超级实用的插件!
  7. dynamic-insert=true dynamic-update=true,插入默认值的情况
  8. 模拟grid点击事件
  9. deepin linux 怎么安装软件,Linux Deepin 从 Backports 安装软件包
  10. Java日志系统学习之log4j!
  11. JAVA常见的异常6_Java常见异常总结
  12. python拆分excel列_python自动化办公:实现按照一列内容拆分excel
  13. ch340t电路_CH340电路设计 - ch340g典型应用电路
  14. Android NDK-EGL 初级
  15. windows ubuntu 双系统 蓝屏Technical information: ***stop:0x0000007B(0x80786B58,0xC0000034,0x00000000,0x00
  16. java查询图片前台展示_Java +spring MVC 后台图片流在前台页面显示
  17. winform框架:winform老矣,尚能饭否
  18. 战网错误:我们在传输数据时遇到一个问题。保险起见,请先检查你的互联网连接之后再试一次!
  19. adb操作提示Read-only file system问题
  20. 【产品集】什么是堡垒机?为什么需要堡垒机

热门文章

  1. [Win32]重绘的基本概念以及简单的文本输出文本输出
  2. vb.net控件随窗口大小调整
  3. 【iOS】跳转App权限设置页面
  4. Fred Chow 讲义--1
  5. JVM性能调优6_深入了解性能优化__享学课堂
  6. python实训总结泰坦尼克号_Python-数据清洗与分析案例之泰坦尼克号(一)
  7. 计算机水平考试试题c,计算机水平考试-初级程序员下午试题模拟6
  8. 电容的字母型规格型号标号含义解读总结
  9. MyZip Pro for Mac(专业解压缩工具)
  10. Git 上传忽略文件设置 .ignore exclude