- 博客(29)
- 收藏
- 关注
RSS订阅原创 学微积，用手机，学习体验须知学微积，用手机，学习体验须知
学微积，用手机，学习体验须知各位新同学：学微积，用手机，学习体验须知，对此，你只须百度一下关键字“无穷小”（或“无穷小微积分”），进入无穷小微积分专业网站，点击按钮“Elementary Calculus”，下载此电子版微积分教课书，即可开启用手机学习微积分的全新体验。袁萌 陈启清 8月31日附件：微积分电子版教课书目录CONTENTSINTRODUCTION x AN...
2019-08-31 10:38:03
1125
1
原创 鲁宾逊不变子空间存在定理
鲁宾逊不变子空间存在定理 数学守旧派认为，非标准数学能够证明的定理，标准数学也能够证明。这是数学守旧派的“挡箭牌”。 实际情况是：1966年，；鲁宾逊关于希尔伯特空间的一类紧致线性算子存在不变子空间定理的证明比标准方法的证明要早了好几年。数学守旧派的“挡箭牌”，不攻自破。 对此有兴趣的读者，请见本文附件文章。袁萌 陈启清 8月30日附件:Invariant...
2019-08-30 06:12:24
1300
原创 关于现代数学的前沿课题
关于现代数学的前沿课题 今年7月，国家4部委发出通知，要求全国高校及科研院所设立“基础数学中心”。 新学年即将开始。我们可以设想，“基础数学中心”不是空集合。他们干什呢？ 他们对于现代数学的前沿课题一定有兴趣，不愿意甘当数学守旧派。 请见本文附件文章。袁萌 陈启清 8月29日附件：LECTURE NOTES ON NONSTANDARD AN...
2019-08-29 08:27:07
2560
原创 超实数系统的序列构造方法
超实数系统的序列构造方法 根据国家4部委今年7月关于加强基础数学研究工作的通知，全国高校与科研院所将新组建《基础数学中心》，形成全国性的“大数学” 研究格局。 进入21世纪，基础数学将建立在超实数系统之上。这已经成为共识。我们把“超实数系统的序列构造方法”贡献给《基础数学中心》的同事们。请见本文附件。袁萌 陈启清 8月28日附件：大集合与小集合 2018年...
2019-08-28 03:29:53
1325
原创 莱布尼兹懂得超实数吗？
莱布尼兹懂得超实数吗？古希腊阿基米德教导人们，世界上不存在无穷小量，后人称其为“阿基米德原理”。到了十七世纪，牛顿与莱布尼兹抛弃阿基米德原理，利用无穷小概念创立； 微积分学，后来，欧拉与高斯继承无穷小微积分的理论传统。但是，无穷小概念受到诸多批评。柯西与魏尔斯特拉斯利用极限的(ε, δ)定义给牛顿、莱布尼兹的无穷小理论打“补丁”，保无穷小微积分“过关”。 实际情况是，在此期...
2019-08-27 14:17:34
1152
1
原创 超实数理论基础更为坚固
超实数理论基础更为坚固 回顾历史，1960年，鲁宾逊借助模型论第一次发明了超实数的存在性。但是，后来的历史发展表明：超实数理论没有必要与模型论“捆绑”在一起，只需代数与拓扑学即可导出全部超实数理论及其应用（借助非阿基米德数域）。 有兴趣的读者可以参见本文附件文章。袁萌 陈启清 8月26日附件：Hyperreal number"*R" and "R*" redirect h...
2019-08-26 17:43:06
1672
1
原创 超实数理论基础更为坚固
超实数理论基础更为坚固 回顾历史，1960年，鲁宾逊借助模型论第一次发明了超实数的存在性。但是，后来的历史发展发展表明：超实数理论没有必要必要与模型论“捆绑”在一起来，只需代数与拓扑学即可导出全部超实数理论及其应用（借助非阿基米德昂数域）。 有兴趣的读者可以参见本文附件文章。袁萌 陈启清 8月26日附件：Hyperreal number"*R" and "R...
2019-08-26 14:44:56
1471
1
原创 国内数学守旧派为何惧怕超实微积分？
国内数学守旧派为何惧怕超实微积分？ 坦率地说，进入二十一世纪，数学形态发生巨变，形式化方法广泛流行。国内数学守旧派，故步自封，沉迷于十九世纪数学，“亲”不够，惧怕“对接”现时代超实微积分。 对超实微积分有兴趣读者可见本文附件文章。袁萌 陈启清 8月24日附件：Hyperreal calculusAbstract This project deals ...
2019-08-24 13:56:39
1468
1
原创 数学的逻辑基础？
数学的逻辑基础？ 2019年7月，国家4部委联合发文，要求全国加强数学研究的《通知》。 该《通知》开宗明义，说：“数学是自然科学的基础。” 然而，英国逻辑学家罗素认为：逻辑才是数学的基础。为此，罗素花费了十年时间，于1910-13年，发表经典专著“数学原理”，严格论证数学的逻辑基础。由此，我们应该关注数理逻辑学科。 请见本文附件文章。袁萌 陈启清 8月23日...
2019-08-23 15:48:44
3358
原创 数理逻辑奠基人--弗雷格
数理逻辑奠基人--弗雷格 坦率地说，站在无穷小背后的人有一大串数学巨人：弗雷格、希尔伯特、罗素、塔哥德尔、塔尔斯基与鲁宾逊，以及J.Keisler。 老实说，离开数理逻辑模型的严格证明，超实数无穷小理论就无从谈起。弗雷格是什么人，请见本文明附件。袁萌 陈启清 8月21附附件：戈特洛布·弗雷格出生1848年11月8日德意志邦联维斯马逝世192...
2019-08-21 11:16:06
2507
原创 基础数学的代表：数论与数理逻辑
基础数学的代表：数论与数理逻辑 当前已经进入二十一世纪，谈论基础数学而不涉及数学公理系统及其应用，荒谬至极。 国内数学守旧派整天守着自己的一一亩三分地（老古董极限微积分），从来不提基础数学的公理化，不知他们如何应对国家4部委联合下发《关于加强数学科学研究工作方案》的通知？ 为什么说“基础数学的代表：数论与数理逻辑”？有何根据？请见本文附件。注：《方案》的第一条款是“ 一、持续...
2019-08-20 08:22:55
1568
原创 基础数学的本质特征
基础数学的本质特征 2019年7月12日，国家4部委联合下发《关于加强数学科学研究工作方案》的通知（附件1），要求全国高校及科研院所建立基础数学中心，大规模开展当代基础数学研究。 什么是基础数学？尤其是，什么是当代的基础数学？请见本文附件2。 二十世纪初，基础数学的本质特点是：形式化与公；理化，受到希尔伯特计划的深远影响（请见附件2）。。 4部委《方案》与国...
2019-08-19 06:32:43
1601
原创 值得纪念的这六年
值得纪念的这六年 当面，在中国的互联网上，阿基米德微积分“老古董”，在中国互联网上，四处泛滥.毒害读者。 六年前，2013年8月15日，我们将知名数学家J.Keisler教授精心撰写的非阿基米德微积分教科书“知识共享”的第1.5节全文袖珍电子版上传互联网，内容是“无穷小，有限超实数与无穷大”。 至此，国内广大读者可以原汁原味上网学习非阿基米德含有无穷小的微积分了。因此...
2019-08-17 07:53:17
1177
原创 为了数学的明天，，穿越时空，重返南大（III）-
为了数学的明天，，穿越时空，重返南大（III） 进入二十一世纪，非阿基米德数学（比如：含有无穷小的连续统）逐渐兴起，我们用该如何面对？ 这是一个基本问题，必须彻底搞清楚，事实求是. 请见本文附件。袁萌 陈启清 8月18附件：Continuity and InfinitesimalsFirst published Wed Jul 27, 2005; substa...
2019-08-16 19:16:44
5951
原创 为了数学的明天，，穿越时空，重返南大（II）
为了数学的明天，，穿越时空，重返南大（II）今年7月，国家4部委联合下发《关于加强数学科学研究工作方案》的重要通知，说明国家决定专项财政拨款资助基础数学研究，希尔伯特计划并不除外。此举，在世界范围内，开创了国家（级）专项资助基础数学研究之先河。 为了数学的明天，，穿越时空，重返南大。记得，在数学分析的课堂上，何旭初先生教导我们：极限定义需要阿基米德公理的支持，因为实数系统是阿基米德有...
2019-08-15 07:56:43
1183
原创 -为了数学的明天，，穿越时空，重返南大（I）
为了数学的明天，，穿越时空，重返南大（I） 1957年，袁萌考入南京大学数学天文系学习数学。 第一学期，学习“三高”（数学分析、线性代数与解析几何），由何旭初（已故）、莫绍揆（已故）与韩继昌（已故）三位数学启萌先生分别任教。 现在可以肯定的是：那时世界数学界没有超实数的概念；学微积，用手机，更是闻所未闻。 今年，国家4部委下发《关于加强数学科学研究工作方案》...
2019-08-14 05:30:18
1279
原创 超实数系统存在性的严格数学证明
超实数系统存在性的严格数学证明 1929年，23岁“小毛头”哥德尔证明了“完全性定理”（if… then..）如下：“The completeness theorem says that if a formula is logically valid then there is a finite deduction (a formal proof) of the formula”.（后来，...
2019-08-13 08:30:05
1349
1
原创 非阿基米德有序域：超实数
非阿基米德有序域：超实数 在古希腊时代，阿基米德原理（等价于不存在无穷小量）盛行,至今，在我们国内仍然流传，不肯退出历史舞台。 1960年，鲁宾逊证明非阿基米德有序域的存在性，突破了长久以来的阿基米德思想“紧箍咒”，极大地解放了人们的数学思想 我们不明白，为什么有人偏爱数学老古董？现在是什么时代了？袁萌 陈启清 8月12日附件：（非阿基米德有序域）Non-Archime...
2019-08-12 10:48:54
2459
原创 Several approaches to non-archimedean geometry
Several approaches to non-archimedean geometryBrian Conrad1Introduction Let k be a non-archimedean field: a field that is complete with respect to a specified nontrivial non-archimedean absolute value ...
2019-08-11 14:11:20
2050
原创 非阿基米德几何，从何而来？？
非阿基米德几何，从何而来？？ 在几何学中，不存在无穷小量，被人们称为阿基米德原理，但是，1899年，希尔伯特在《几何基础》中指出：几何学含有无穷小量不会导致逻辑矛盾，预言了非阿基米德几何学的合理性。 然而，半个世纪过去了。非阿基米德几何学没有铺出现。1960年，鲁宾逊引入了超实数系统（直线），至此，非阿基米德几何学应运而生。 本文附件2是我们在今年3月21日发表的“倒数与非...
2019-08-11 12:30:53
2118
原创 无穷小走进非阿基米德世界，前景无比广阔
无穷小走进非阿基米德世界，前景无比广阔 两千多年前，阿基米德认为世界上不存在无穷量，是一个纯粹的阿基米德世界。 1960年，鲁宾逊证明了非阿基米德世界的存在性。 后来，经过60年的不断验证与应用，确认无穷小的实际存在，至此，无穷小翻身了。无穷小走进非阿基米德世界，前景无比广阔袁萌 陈启清 8月10日附件：无穷小的来历In mathematics, infinitesimal...
2019-08-10 15:17:10
1542
原创 无穷小不是伪概念
无穷小不是伪概念自古以来，数学无穷小概念不讨人喜欢，但是，人们又离不开它，好似咖啡因毒品。 1632年罗马下令禁止使用无穷小、 牛顿、莱布尼兹使用无穷小发明了微积分。后来；柯西等人使用极限理论“戒毒”，试图彻底废弃无穷小。 集合论创立者康托尔、大逻辑学家罗素甚至断言无穷小是逻辑伪概念。 可是，到了二十世纪，人们发现无穷小是个宝”，能作为微积分与数学分析的基础（Bas...
2019-08-09 15:43:28
1393
1
原创 无穷小，现在终于走出来了
无穷小，现在终于走出来了 经过近六十年的努力，现在，无穷小终于走出来了得到世人的认可。当今，国际无穷小的现代定义（wiki）反映在附件1之中。 相对而言，我们国内无穷小的官方定义反映在附件2之中。 请读者仔细对比研究。袁萌 陈启清 8月8日附件1:（开门见山，第一句话）Infinitesimals (ε) and infinites (ω) on ...
2019-08-08 09:12:56
1226
原创 无穷小会导致逻辑矛盾吗？
无穷小会导致逻辑矛盾吗？ 新学年就要开始了。国内数百万大学新生都必须面对“无穷小会导致逻辑矛盾吗？”这是一个回避不了的问题。 1960年，41岁的鲁宾逊站在美国普林斯顿研讨班上第一次宣读了自己的研究成果：无穷小不会导致逻辑矛盾 鲁宾逊的根据是什么？ 8月10日，新一届向全国普通高校投放无穷小微积分电子教科书大行动即将开始。袁萌 陈启清 8月7日...
2019-08-07 12:44:28
1150
原创 关于非标准数学的感想
关于非标准数学的感想 一般认为，希尔伯特计划中的数学只有一种，包括非欧几何在内。 如今，出现了“非标准”数学，真是有点儿匪夷所思也。什么是非标准数学？它是什么东西？从何而来？ 希尔伯特想把全部数学形式化、公理化，哥德尔不完全性定理表明希尔伯特的想法是行不通的。 实际情况是，在数学的形式化世界里面潜伏着数学非非标准模型。这一事实等待着人们去发现。谁是幸运儿呢？鲁宾逊...
2019-08-06 09:07:02
2587
1
原创 二十世纪数学的发展主流
二十世纪数学的发展主流 希尔伯特计划引导了二十世纪数学的发展方向。 但是，1931年，哥德尔不完全性定理的证明，深化了希尔伯特计划的含义。 随后，数学模型理论、证明理论、递归理论与与逆数学发展起来。 相比而言，无穷小微积分（模型理论分支）只是一朵浪花而已。 注:请见本文逆数学简介。 袁萌 陈启清 8月5日...
2019-08-05 08:55:33
1336
1
原创 逆数学：数学实现公理化的有效工具
逆数学：数学实现公理化的有效工具 众所周知，任何数学分支都应该具有自己的“公理组”。 但是，我们怎么找出有效的“公理组”呢？这个问题（二阶算术的子系统）相当复杂，是国内数学研究的一个“空白”。答案是，逆数学：数学实现公理化的有效工具。 请读者查阅“subsystems of second order arithmetic ”（共计462页）另外，请见本文附件。袁萌 陈...
2019-08-03 07:57:08
1429
1
原创 逆数学是什么？
逆数学是什么？ 在我们国内，以往对数理逻辑学科注意不够，导致许多知识“盲区”，比如：逆数学（Reverse mathematics）。 现在，讲到希尔伯特计划及其近代发展就回避不”Reverse mathematics”的基本概念。它是希尔伯特计划的现代延伸之一。 请见本文附件。袁萌 陈启清 8月2”日附件：Reverse mathematics is a...
2019-08-02 15:54:05
2821
1
原创 现代数学的发端
现代数学的发端 附件1代表现代数学发展观；附件2代表了传统数学发展观。 希尔伯特计划就是现代数学的发端。希尔伯特是数学形式化的开山鼻祖。袁萌 陈启 8月1日附件1：Hilbert's programIn mathematics, Hilbert's program, formulated by German mathematician David Hilbert in the e...
2019-08-01 08:30:59
1582
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人