- 博客(36)
- 收藏
- 关注
RSS订阅原创 隆重纪念鲁宾逊诞辰，不走样，不离谱
在数学界，鲁宾逊是无穷小的代名词。菲氏微积分徒子徒孙不喜欢无穷小，当然不会纪念鲁宾逊的诞辰，所以我们要特别隆重地纪念数学家鲁宾逊的100周年诞辰。 当前，无穷小在中国高校数学教育界掀起一阵“风浪”，菲氏徒子徒孙心中发慌，害怕丢掉饭碗。 美国年轻数学家Joel A. Tropp（1977- ）发表论文“无穷小：历史与应用”，写作中参考许多关...
2018-09-30 11:12:06
1323
原创 我们隆重纪念鲁宾逊诞辰100周年
现今，纪念非标准分析（NSA）奠基人鲁宾逊（Abraham Robinson,1918.10.06 - 1974.08.11，享年56岁）诞辰100周年.具有重大现实意义。 非标准分析（NSA）创立于1960年，是20世纪数学研究的重大进展之一。时至今日，非标准分析发展，方兴未艾，蒸蒸日上，未来前途不可限量。 当今，非标准分析（也称为无穷小微积分...
2018-09-29 05:29:10
1277
原创 Henson构建超实数直接法（全文），何处寻？
一般而言，高校教授超实数微积分，中国与美国情况都一一样，师生惧怕形式逻辑与公理集合论。怎么办？ 美国知名数学家C.W.Henson教授发明了于一种构建超实数的直接法，可以避开上述实际问题。 但是，该直接法的全文电子版很难寻找。为此，可参阅本文附录。 袁萌 陈启清 9月28日附录：FOUNDA...
2018-09-28 13:03:11
1820
原创 中国高校师生最喜爱的超实数构建法
当今，全国高校都面临一个实际问题： 必修基础课微积分如何进行教学改革。 坦率地说，由于历史的种种原因，中国高校师生一般都不熟悉形式逻辑与公理集合论，对于学习超实数有恐惧感。怎么办？ 针对这种情况，今年9月26日，我们引进美国知名数学家C.W.Henson教授的构建超实数的“直接法”，帮助我国高校微积分的教学改革工作。 ...
2018-09-28 06:56:09
1183
转载 FOUNDATIONS OF NONSTANDARD ANALYSIS
FOUNDATIONS OF NONSTANDARD ANALYSISA Gentle Introduction to Nonstandard ExtensionsBY C. WARD HENSON1. Introduction There are many introductions to nonstandard analysis, (some of which are listed in...
2018-09-26 17:07:21
1442
原创 1K2G保驾护航，无穷小真理放光芒
今年9月18日，1K2G相聚北京，为无穷小保驾护航，确保无穷小真理放光芒。 当前，超实无穷小在全国高校数学课堂上被无理排挤，处境十分可怜，情况堪忧。 菲氏微积分徒子徒孙用教鞭指驴为马，是非颠倒，不讲道理。 数学家哥德布林在其数学讲稿第二章第二节用大集合证明了无穷小的存在性，不容否定。 数学真...
2018-09-24 01:00:13
1325
原创 读哥德布林数学讲稿有感
今年9月18日，哥德布林数学讲稿“上线”。这份数学讲稿发表于2014年11月，在国内“上线”是第一次。 实际情况是，这份数学讲稿“摆在”无穷小微积分专业网站的首页，下载按钮为“NSA-Notes”。搜索“无穷小微积分北大袁萌”，即可找到该网站。 任何读者只需花费数秒钟的时间，哥德布林数学讲稿即可展现在你的面前。 ...
2018-09-23 08:19:22
1164
原创 1K2G来华讲学,力挺无穷小,在国内校园坊间逐渐传开
大家知道,目前,1K2G数学三巨头均已健在。9月18日,他们三人来华讲学传播数学真知,力挺无穷小的消息,在国内校园坊间逐渐传开，他们三人不远万里来到中国,为了一个目的：据理力挺数学无穷小,排除荒谬之言。 当前,国内数百万青年学子在校园中学习数学基础必修课微积分。他们欢迎数学三巨头1K2G来华讲学,力挺无穷小。 哥德布林指出：根据近代数学研究,18...
2018-09-22 06:09:25
1162
原创 大集合与模型论
2014年8月,I.Goldbring在美国加州大学数理逻辑夏季讲习班关于非标准分析的数学讲稿,漂洋过海,入驻中国无穷小微积分网站,极大地提高了网站的数学含金量。 9月20日,I.Goldbring（哥德布林）,开宗明义,指出：超实数有两条来源,一是数理逻辑紧致性定理；二是大集合构造性方法。目前,第二种方法已经成为世界主流。 回想当年...
2018-09-21 17:02:03
1266
原创 1K2G相会北京, 力挺中文无穷小
9月18日, J.Keisler、R.Goldblatt以及 I.Goldbrimg三大数学巨头相会北京（无穷小微积分网站）,带着自己的力作。如此匆忙,为什么？ 因为,他们听说,中国数学老师迷信柯西极限论,而不懂大集合导致的超实数。9月20日,他们乌拉、乌拉开讲了。所讲的内容,我们以后慢慢翻译。 袁萌 陈启清 9月21日 ...
2018-09-21 10:54:56
1173
原创 大集合是什么？
敬告读者:从此以后 凡是想干干净净阅读此文读者 用百度搜索“无穷小微积分北大袁萌”关键词 直接进入“无穷小微积分”专业网站 阅读此文 没有任何广告、商业图片干扰。大集合是什么？ 设N为自然数集合,N中的大集合（N的子集合系统）F,满足以下公理组：： 公理一空寂∅不属于F,而N∈F; 公理二如果A,B∈F,则A∩B∈...
2018-09-21 08:22:00
4552
原创 大集合是什么？
设N为自然数集合,N中的大集合（N的子集合系统）F,满足以下公理组： 公理一 空寂∅不属于F, 而N∈F; 公理二 如果A,B ∈ F, 则A∩B ∈ F; 公理三 如果A ∈ F 以及A ⊆ B, 则 B ∈ F. 我们称：自然数集合N中大集合是F的元素。也就是说,大集合（Big Sets）是集合N的一种特定子集合。...
2018-09-21 04:53:52
6760
原创 访问微积分资料中心,观看数学新境界
2018年9月18日,哥德布林数学讲稿（2014年11月最新版本,NSA-Notes）上传“无穷小微积分”网站（网址：wqxwjf.com）,致此,该网站理论内容已经基本齐备,成为当前国内最大的微积分网络资料中心。 奇妙的是：无论你在哪里,使用什么移动设备（无需硬盘）,均可直接访问该资料中心,查找所需要的微积分资料,得到满意的答案。 ...
2018-09-20 04:18:12
1192
原创 大集合与小集合
2018年9月18日,哥德布林数学手稿”上线”。这在国内是第一次,很有纪念意义。为什么？ 这里所说的大集合与小集合指的是自然数集合中的大子集合与小子集合。在我国现行高校数学教学大纲中没有大集合与小集合的官方定义。 大集合与小集合互为“补集合”。两者互补,不是大集合就是小集合,其交集合为空集合 。 上世...
2018-09-19 15:08:34
7665
原创 超幂构建超实方法, 何处寻？
回顾过去,40年前,袁萌在中科院计算所数理逻辑讨论班上使用柯序列等价类直接创建超实数系统,实质上,就是这种超幂构建方法。 时光在流逝,事物在变化,如今时代不同了。今年9月18日,超幂构建超实数方法正式“上线”,读者手指一“点”,信息即可到来。 利用超幂构建超实数系统方法, 何处寻？在百度搜索框输入网址“wqxwjf.com”（无穷小微...
2018-09-18 04:09:32
1437
2
原创 为何投送哥德布林数学“讲稿”？
今天, ,新学年已经开始。全国范围是否存在讲授“无穷小微积分”的数学班级？实际上,我们并不知道。但是,我们不知道的事情并不一定不存在。 假定我们国内有一个班级正在讲授非标准的“无穷小微积分”课程,那么,此时任课老师最关心的事情是什么？毫无疑问,任课老师最关心的问题是学生会不会当面提出“非标准”数学问题而不知道怎么回答。 经过深入对比研究,我们发现,哥德布林“讲稿”...
2018-09-17 05:43:34
1117
原创 分析基础手机版作者哥德布林简介
哥德布林（ISAAC GOLDBRING）是美国加州大学数学与科学哲学系资深专家,著作颇丰。 2014年11月10日, 哥德布林发表“LECTURE NOTES ON NONSTANDARD ANALYSIS UCLA SUMMER SCHOOL IN LOGIC”（本文简称“讲稿”）,对其,网络美誉度与引用率很高。 经过比较研究,...
2018-09-16 05:32:56
1161
原创 LECTURE NOTES ON NONSTANDARD ANALYSI
LECTURE NOTES ON NONSTANDARD ANALYSIUCLA SUMMER SCHOOL IN LOGICISAAC GOLDBRINGContents1. The hyperreals 31.1. Basic facts about the ordered real ?eld 31.2. The nonstandard extension 41.3...
2018-09-15 17:48:09
1514
原创 关于超实数的寿命
今年9月12日,袁萌一行三人在向国家教育部高教司汇报工作时,袁萌指出：超实数有条件诞生在19世纪20年代柯西定义实数为柯西序列等价类的同一时代。然而,历史对人类开了一个大玩笑。直到20世纪60年代,在法国布尔巴基学派关于集合滤器、超幂“引产婆”助力之下,美国数学家鲁宾逊在1960年接生了“超实数”这个晚生儿。 进入本世纪,世界范围内,超实数研究“方兴未艾”,来日方...
2018-09-15 14:23:37
2626
原创 00后大学生, 火眼金睛,透视实无穷的奥秘
9月12日上午,我们一行三人,前往教育部高教司汇报工作,使用电子投影仪把鲁宾逊的现代无穷小清晰地投射到会议室的大屏幕上,袁萌负责讲解有关思路。 袁萌指出,柯西在1821年出版的“分析教程”把实数定义为柯西序列等价类,存在疏忽漏掉了非零无穷小。 J.Keisler在“初等微积分”教材中指出了这一点。 00后大学生,...
2018-09-14 09:46:01
1328
原创 超实数的来历
严格说来,超实数就是柯西序列（超精密细分）等价类的数学同构物。 那么,什么是超积？简单地说,序偶集合就是最最简单的“超积”。 坦言之,如果没有数学“超积”,什么无穷小微积分都是一句空话。 我们认为,中国数学教育实现现代化,引入基于模型论无穷小微积分是必由之路。 袁萌 陈启清 9月...
2018-09-12 02:36:25
2033
原创 学微积，用手机，实现教育现代化
学微积，用手机，实现教育现代化。为此，定于9月12日上午，我们一行三人前往国家教育部高教司汇报相关工作。 截至此时，今年8月5日发表的“预告：电子版微积分投放全国高校安排计划，阳光事业在阳光下进行” ，阅读人数高达8956人，两天增加了40余人，突破万人大关不成问题。 汇报的主要思路是：法国伟大数学家柯西于1821年将实数定义...
2018-09-11 19:09:20
1164
原创 微积分手机版 守护百日有感
今年8月5日，我们发出“预告：电子版微积分向全国高校投放安排，阳光事业在阳光下进行，时至今日，刚好“满月”不久。阅读人数高达8915比珠峰高度还出68米，平均每天增加十余人。 近日，我们在认真思考一个问题：是否在现阶段将1998年出版的“超实分析”（Robert Goldblatt著，1949--）投放全国高校，因为，这是大学研究生用的数学分析教科书。 ...
2018-09-10 06:54:45
1162
原创 汇报：阳光事业在阳光下进行
今年8月5日，我们发出预告：电子版微积分向全国高校投放安排，阳光事业在阳光下进行，时至今日，刚好“满月”。阅读人数高达8839，距离珠峰高度还差9米。 按照电子版微积分预定的投放安排，自8月10日至9月9日，在一个月内需要投放完毕。投放对象是00后大学子新生以及相关数学教师。 投放的实际情况是，截止到9月3日，三轮投放已经顺利完成，...
2018-09-06 12:20:02
1119
原创 Lectures on the hyperreals
Lectures on the HyperrealsContentsI What Are the Hyperreals? 31.1 Infinitely Small and Large 31.2 Historical Background 41.3 What Is a Real Number? 111.4 Historical References 142 Lar...
2018-09-06 08:22:57
1199
原创 超实分析手机版，国际研究生数学教材
在国际上，研究生数学教材（GTM）叫做“黄皮书”，因为，这类书本的封面都是黄颜色的. 超实分析手机版是微积分手机版的后续课程，数学内容比较深刻、丰富。 在该教材中，佐恩引理、滤器、超幂以及超实数构建，均有详细阐述。 袁萌 陈启清 9月5日 附：GTM黄皮书“Lectures on Hyperreals”内容目录 ...
2018-09-05 21:40:19
1825
原创 什么是“滤器”？
一般而言，我国的高中生都懂得集合的概念，但是，对于集合作为元素而构成的“”集合”，往往不甚了了，甚至有反感。 00后大学生学习微积分，首先要过这道“门槛儿”。数学研究的就是集合的集合，别的什么也不研究。 假设N代表自然数的集合，上面有一个集合“族”，对于有限个集合的交集运封闭，称此集合“族”为自然数集合N上的一个滤器（Filter）...
2018-09-05 14:43:35
1472
原创 微积分手机版投放全国高校，效果如何？
回归以往，自今年8月10日开始至今，微积分手机版投放全国高校行动已经进行了三轮。前两轮投放的目标是00后大学新生；最后一轮的投放目标是微积分手机版的任课教员群体。投放效果如何呢？ 鱼民向养鱼池塘投放饵料，效果如何？哪只鱼儿吃了饵料？渔民并不知道。但是，投放的饵料，鱼儿能不能吃？好不好吃？渔民心中一定有“数”。 实际上，微积分手机版向全...
2018-09-05 06:46:17
1191
原创 佐恩引理的发现
对于构建超实数系统，如何理解佐恩引理及其应用是第一道“门槛儿”。我们必须知难而上，而不能退缩不前。 佐恩（1906-1993）简历：生于德国，24岁取得数学博士学位，后移居美国定居。1935年，佐恩29岁时发现了选择公理（AC）的另一种表现形式。 尊重数学知识的创造，必须尊重数学家，了解数学家，懂得他们的主要工作。 袁萌 ...
2018-09-05 00:27:58
2655
原创 什么是佐恩（Zorn）引理？
截止9月3日午夜，我们已经向全国高校发送“无穷小微积分基础”第一轮完毕。在该教学参考书第一章第7节（1G）中有对于佐恩引理的准确陈述。 因为构造超实数系统需要用到公理集合论的“选择公理”，而佐恩引理是选择公理的一种等价表述形式。 鉴于构建超实数系统涉及及较深的数学基础，我们建议组织学习“讨论班”（Seminar），深入研讨第一章1G节的数...
2018-09-04 12:36:38
8333
原创 基于ZFC公理系统的无穷小微积分学
有人也许会发生疑问：无穷小是否能够直接从ZFC公理系统导出？答案是肯定的。 无穷小微积分教程的作者J.Keisler在该教材的教学参考书“无穷小微积分基础”第一章第7节（1G）中，利用ZFC选择公理（AC）的等价形式“Zorn引理”，构建了超实数系统的“超幂”模型，满足超实数系统的所有5条公理，由此说明，无穷小是由基于ZFC公理系统导出来的数学结论。 ...
2018-09-03 16:50:16
1804
原创 超实数真的存在吗？
新学年就要开始了。担任微积分手机版的数学教员对于讲授的数学对象（超实数）是否存在必须“心中有数”，教员自己“心中无数”，上讲台之后，心中会发慌。 8月31日，我们把“无穷小微积分基础”向全国高校投放，目的就是把超实数存在的严格证明送达相关数学教员手中。 打开“无穷小微积分基础”教学参考书第一章第7节（1G），作者使用最简单的集合论符号，一...
2018-09-03 07:18:42
1586
原创 超实数公理化与外星人的数学教育
假定我们需要给外星人上地球人微积分课程，但是，外星人根本不懂地球人的历史、文化。我们该怎么办呢？ 最简单的办法就是采用公理化方法，然后再“构造”出一个满足该公理组的“抽象模型”即可。 至于“抽象模型”究竟是什么？无关重要。对此“模型”，外星人能够“理解”（使用它们自己的语言与思维）。 由此可见，数学公...
2018-09-03 01:44:48
1200
原创 超实数从何而来？
今年8月31日，我们开始向全国高校投放J.Keisler为担任微积分手机版课程的数学教员撰写的教学参考书（也是手机版）。 该参考书的第一章，共计6个小节，由浅入深，集中讲解了超实数从何而来的问题。 涉及超实数的公理组共计有6条，由此公理组系统展开整个微积分理论体系，完全与物理实践无关。 为培养00后新一代大学生，深入学习、研讨数学基础问题，大家共勉之。 ...
2018-09-02 15:52:08
1537
原创 现代微积分学的公理观
当前，我们已经把“无穷小微积分基础”教学参考书用邮件投放到全国高校微积分任课老师手中，没有收到邮件的老师可以自行下载。 此书第一章明确了超实数系统R*需要使用一组“公理”系统来引入。该公理系统一共有五条，其中最后两条属于数理逻辑模型论范畴。由此，展开了整个现代微积分学理论体系。 反观我们国内，高校基础课微积分教课书几乎都是采用原苏联菲...
2018-09-01 05:45:37
1733
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人