上世纪1948年,EdwinHewitt引进超实数(Hyperreals);1960年,Wilhelmus Luxemburg借助“超幂”构造出超实数,将超实数引入ZFC大花园。至此,Abraham Robinson's non-standard analysis(非标准分析) does not need any axioms beyond Zermelo–Fraenkel set theory (ZFC)。

这就是说,无穷小微积分不需要在ZFC公理系统之外寻求新的公理。

至此,菲氏微积分的徒子徒孙应该服气了。

1978年,袁萌利用布尔巴基的超滤器构造出超实数。

袁萌 12月7日

无穷小微积分是ZFC大花园的一颗奇葩相关推荐

  1. 无穷小微积分基础大曝光,重拳出击数学守旧派

    无穷小微积分基础大曝光,重拳出击数学守旧派 说句实在话,2013年,无穷小放飞互联网行动引发业界你关注.但是,无穷小微积分基础是什么?教师培训教材是什么?互联网上,没有答案. 为此,J.Keisler ...

  2. 无穷小微积分是植根于现代数学基础上的一朵鲜花,而不是鬼话、毒草

    无穷小微积分是植根于现代数学基础上的一朵鲜花,而不是鬼话.毒草 如果不懂得现代数学发展史,我们就是数学文明的文盲. 数学悖论的产生导致数学的第三次理论危机.也就是说,悖论(Paradox)会导致理论系 ...

  3. 科普无穷小微积分是最大的知识共享项目

    J.Keisler撰写的"无穷小微积分"(共计14章,100多个微积分主题,992页面),遵循知识共享推广协议,每年服务于数百万青年学子,社会意义十分巨大. 袁萌本人不是知识共享协 ...

  4. 学习马克思数学手稿,为无穷小微积分呐喊!

    在上世纪70年代,人民出版社出版发行了马克思数学手稿,在国内学界掀起悍然大波,各种说法都有. 马克思(1818-1883)一生酷爱数学,从19世纪40年代起,直到逝世前不久.根据<手稿>记 ...

  5. 无穷小微积分与Moodle系统

    无穷小微积分与Moodle系统 2013年6月18日,当我们把无穷小微积分(分章节)制作成袖珍电子书准备放飞互联网时.就想借助Moodle模块化课程管理软件包建立所谓"网络电子阅览室&quo ...

  6. 关于无穷小微积分的教学辅导书

    毫无疑问,开设无穷小微积分课程,教师需要新型的教学辅导书,不是任何人拍拍脑门就可以上讲堂.这种教学辅导用书该从何处入手呢? 现在,已经进入21世纪,数学业界已经发生很大变化.在目前情况下,写作无穷小微 ...

  7. 世纪互联、微软Azure与无穷小微积分

              今年9月25日,世纪互联正式开通微软Azure商用服务,有感.          我是世纪互联创业历程的见证人(之中的一个),现在看到世纪互联推出微软Azure公有云的商用服务,心 ...

  8. 无穷小微积分吁呼中俄数学中心成立!

    我们吁呼的理由是,俄罗斯数学家与我们志同道合,倡导非标准分析. 请见无穷小微积分网站首页俄罗斯"无穷小分析". 袁萌 陈启清  6月30日 附件: 中俄数学中心成立 ​    ​6 ...

  9. 无穷小微积分理论的“根”扎的有多深?

    上世纪三十年代初期,伟大数学家哥德尔首次证明了完全性定理,这是现代数理逻辑的基础定理.但是,哥德尔完全性定理等价于著名的的紧致性定理,而紧致性定理是无穷小微积分的数学基础.由此可见,无穷小微积分理论的 ...

  10. 哥德尔预言无穷小微积分是未来的数学分析

    哥德尔预言无穷小微积分是未来的数学分析 二十世纪世界伟大的数学家哥德尔预言非标准分析是未来的数学分析. 哥德尔1974年预言的原文如下: "There are good reasons to ...

最新文章

  1. Http Chunked Transfer Coding
  2. 8天学通MongoDB——第二天 细说增删查改
  3. 虚位以待C#-北京Objectiva
  4. salesforce 零基础学习(六十二)获取sObject中类型为Picklist的field values(含record type)...
  5. java 兔子生仔问题
  6. python计算无穷级数求和常用公式_傅里叶变换(二) 从傅里叶级数到傅里叶变换...
  7. 微信公众号盈利模式_微信公众号的盈利模式有哪些?四种模式分享
  8. iptables 开放端口
  9. python调用数据集mnist_使用MNIST数据集进行分类
  10. 中国电信天翼网关路由器后台登录useradmin用户忘记密码的解决方法默认密码管理员密码工作人员密码
  11. KnockOutJS(一)
  12. ICTCLAS 汉语词性标注
  13. 网站SEO过程中的死链处理
  14. 一条wmic命令解决硬盘序列号和mac地址查询
  15. flyme by 云 os 系统不显示log解决方法
  16. 示例代码-协方差,黎曼协方差计算.
  17. 横河变送器EJA110E-JMS4J-919EA
  18. 利用beef盗取浏览器cookie,并实现页面跳转
  19. java jini dll_java - Jini / JavaSpaces发现错误 - 堆栈内存溢出
  20. 链表的概念以及它的作用

热门文章

  1. python名词_使用Python词性标记提取名词(循环)
  2. 用Asp.net 就能轻松实现铁道部的订票系统
  3. 芯片数据分析步骤1 芯片数据下载-GEO
  4. dacom蓝牙耳机怎么重置_无线蓝牙耳机 常见八大故障解决办法
  5. ubuntu下使用vscode阅读内核源码或uboot源码使用技巧——search.excludefiles.exclude
  6. React 语法之let和const命令
  7. English-旅游英语及情景对话
  8. 用esp8266开发板制作WiFi Killer
  9. 《计算机网络》-- 第一章 概述
  10. 深信服:Weblogic集群负载均衡技术解决方案