告菲氏微积分的徒子徒孙,无穷小不是空穴来风!
来源:互联网 发布:手机淘宝不能登录原因 编辑:程序博客网 时间:2024/06/05 13:30
告菲氏微积分的徒子徒孙,无穷小不是空穴来风!
无穷小微积分不是空穴来风,讲科幻故事。在上世纪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日
- 告菲氏微积分的徒子徒孙,无穷小不是空穴来风!
- 再告菲氏微积分的徒子徒孙,无穷小放飞互联网不可阻挡
- 关于无穷小微积分的思考
- 引入无穷小微积分的合理性
- 无穷小微积分的转移公理
- 无穷小微积分名称的由来
- 无穷小放飞互联网,倡导现代微积分,不是“野路子”
- 无穷小微积分的基本概念、理论与方法
- 无穷小微积分基础的前言简介
- 无穷小微积分下放中学的根据
- 无穷小微积分的模型论思想
- 无穷小微积分落地生根在中国的现实意义
- 为无穷小微积分呐喊
- 无穷小微积分与人工智能
- 无穷小微积分的现代化体系是怎样展开的?
- 教师节的最珍贵礼物—实无穷小微积分网站
- 从鼓吹Linux转向科普无穷小微积分的道路
- 无穷小微积分落地生根在中国的可能性分析
- HDU 4588Count The Carries
- Revit中Dynamo编程——如何保护自己的算法成果
- Elasticsearch之创建索引、删除索引、索引设置、配置分析器、自定义分析器。
- 人体骨骼关键点检测
- Linux centos7 php7 编译安装 php 扩展包 curl
- 告菲氏微积分的徒子徒孙,无穷小不是空穴来风!
- [java]微服务架构连载No4 Hystrix+Dashboard+Turbine实现断路器(限流,超时,异常...)和服务监控
- 图像中文描述
- python excel文件操作
- JSF事件处理
- 二叉树的遍历
- Android设置隐藏显示密码
- bzoj1452[JSOI2009]Count 二维树状数组/树套树
- 谁掌握了女性的理财需求 谁就掌握了巨大的市场