无穷小微积分网址:www.wqxwjf.com

告菲氏微积分的徒子徒孙,无穷小不是空穴来风!

无穷小微积分不是空穴来风,讲科幻故事。在上世纪 80 年代兴起的微积分改革高潮中,基于公理化的无穷小微积分登上了历史舞台。

说话要有凭据,要拿出真凭实据。著名的模型论专家J.Keisler在《Foundations forInfinitesimal Calculus》(无穷小微积分基础)的第15章的前言中给出了说法。

无穷小微积分的理论基础很深,需要使用数理逻辑模型论工具(超幂)来构造。在无穷小微积分基础的前言中,对此有所阐述。老翁希望(数理逻辑)圈外人士,对此不要说三道四,指手画脚。

在《无穷小微积分基础》15章前言中,J.Keisler明确表示:

Subject ofininitesimal analysis found in the research literature. To go beyondinfinitesimal calculus one should at least be familiar with some basic notionsfrom logic and model theory(模型论). Chapter 15 introduces theconcept of a nonstandard universe, explains the use of mathematical logic,superstructures,and internal and external sets, uses ultrapowers(超幂) to build a nonstandarduniverse, and presents uniqueness(唯一性) theorems for thehyperreal number systems and nonstandard universes.

The simple set ofaxioms for the hyperreal number system given here (and in Elementary Calculus)make it possible to present infinitesimal calculus at the college freshmanlevel, avoiding concepts from mathematical logic. It is shown in Chapter 15that these axioms are equivalent to Robinson’s approach.

For additionalbackground in logic and model theory,the reader canconsult the book [CK 1990]. Section 4.4 of that book gives further results onnonstandard universes. Additional background in infinitesimal analysis can befound in the book [Goldblatt 1991].

I thank my latecolleague Jon Barwise, and Keith Stroyan of the University of Iowa, forvaluable advicein preparing the First Edition of this monograph. In the thirtyyears between the first and the present edition, I have ben geted from equallyvaluable and much appreciated advice from friends and colleagues too numerousto recount here.(全文完)

祝大家中秋快乐!

袁萌  10月4日

告菲氏微积分的徒子徒孙,无穷小不是空穴来风!相关推荐

  1. 再告菲氏微积分的徒子徒孙,无穷小放飞互联网不可阻挡

    再告菲氏微积分的徒子徒孙,无穷小放飞互联网不可阻挡 坦率地说,无穷小微积分一旦制作成为袖珍电子书,将其有组织地放入高效内容管理系统(比如,Moodle软件包),大规模推向各高校适当的学习社区(或论坛) ...

  2. 菲氏微积分的徒子徒孙,现在该反思自己了!

    进入2018年1月,国务院.科技部与教育部接连发出"信号"(文件),要求全面加强基础科学研究.国内基础科学迎来黄金发展期.形势非常好,不是小好. 五年之前,老翁发表了一篇短文,说明 ...

  3. 菲氏微积分的徒子徒孙,一代不如一代,最后趋于零!

    今天,看了2005年编写的面向21世纪全国高校数学规划教材(PDF版本),把人的肺都要气炸了.写作取材水平之低,不堪言说. 该教材作者们把函数定义为自变量x与因变量y之间的对应关系(法则),根本不提函 ...

  4. 数学教研室面对微积分手机版开会研究对策 大家一筹莫展 埋怨菲氏老祖宗

    当前,大批微积分手机版在"数学输入管道"中涌向高校数学教研室.为此,数学教研室召开会议研究"对策". 教研室老师们看了微积分手机版的结束语(Epilogue), ...

  5. 微积分入门:无穷小之比与无穷小求和

    学习微积分,必须思考这两个问题. 从古至今,微积分的基本问题是:两个相关无穷小之比与无限多个无穷小求和的问题.总之,.两者都绕不过无穷小的概念. 大家知道,在传统微积分中,使用(ε,δ)方法定义极限( ...

  6. 否定无穷小微积分就是否定微积分本身 为什么?短视也!

    近年来,国外关于"无穷小"的研究是个"热点",反观国内,菲氏微积分的徒子徒孙对此却"不感兴趣",可悲也. If, as KurtGoedel ...

  7. 拯救微积分学的基本定理

    拯救微积分学的基本定理 2013年6月18日,无穷小放飞互联网之后,微积分学的许多重要定理被菲氏微积分的徒子徒孙们在网络上公开玷污(强奸)了.原意扭曲了,令人心痛.可气.怎么办呢?努力拯救之! 比如说 ...

  8. 00后大学生:微积分小精灵闪亮登场

    一般而言,00后大学生都是"手机迷",不上互联网大课堂查看.搜索是不可能的.今年6月10日,2011年发表的世界数学名著"Foundations of Infinites ...

  9. 清华大学微积分教育领头人是谁?

    清华大学微积分教育领头人是谁? 经过网上搜索调查,清华大学,作为全国工科院校标杆院校,全校现行微积分教材的主编是韩云瑞教授(男,1941-).1981年到清华大学数学系任教,先后曾任基础数学教研组主任 ...

最新文章

  1. TCP的3次握手和4次挥手过程
  2. VisualStudio opencv配置
  3. addeventlistener事件第三个参数_简析JavaScript 事件绑定、事件冒泡、事件捕获和事件执行顺序...
  4. 两个同时comet matlab,Matlab讲义 - 图文
  5. Linux 查看网卡流量【转】
  6. Rusty String
  7. mac预装的php路径,Mac使用系统自带php和Apache
  8. 谷歌:修复0day漏洞的平均耗时比3年前减少28天
  9. 一位声音甜美的小老师的Oracle学习视频
  10. 卡诺图化简及逻辑函数的规范范式:SOP与POS形式
  11. 【转】Iphone4/4S验机教程
  12. 杜凯杰教学数据分析:python 图片爬取 爬取各校校花图片
  13. 从狂热的苹果粉丝们来看中国式“杯具”
  14. 为什么要用VR全景?5个答案告诉你
  15. python csv转tsv
  16. 股票只有两个字:“等待”
  17. 操作系统——进程管理(一文弄懂进程间的那些事)
  18. matlab mda,Matlab的学习最大似然估计,PCA和MDA的一段代码
  19. 2020.03.18模拟赛17(第三题)
  20. 百度竞价最低CPC出价策略

热门文章

  1. 已知IP地址和子网掩码求最小IP和最大IP、公网IP和私网IP的概念
  2. 我的自留地:闲言碎语
  3. 深度学习笔记_毕设记录
  4. Vue中关于自定义组件定义@click事件不生效的解决办法
  5. 【项目管理】紧急需求安排细节
  6. USB条码枪读取二维码
  7. php 2 520.00,[转账]向你转账520.00
  8. 容器化OpenStack好处
  9. Fragments(碎片)全面总结(—)
  10. ps导出gif变成html,PS怎么导出gif图?