- 博客(5098)
- 收藏
- 关注
RSS订阅原创 在网络空间，鲁滨逊随时与你相伴
北京大学申友枨先生主持翻译了鲁滨逊《非标准分析》中译版，可以直接用母语(汉语)直接阅读，十分方便。进入我们的无穷小专业网站(http://www.wqxwjf.com/)，点击左侧菜单中的“非标准分析中译版”(PDF版)，直接下载即可。可以在电脑或者手机上直接查看。在网络空间，鲁滨逊的非标准分析随时与你相伴。当前，鲁滨逊在天之灵俯视着正在崛起的中国大陆。 袁萌 2021年03...
2021-03-30 23:10:19
329
1
原创 北大申又枨继承鲁滨逊的创新数学思想
北京大学申又枨先生多年在教学第一线从事数学教育工作，对无穷小与无穷大在微积分教学领域中的重要作用有深入的理解，是一个真正的数学教育家。1965年5月，鲁滨逊在《非标准分析》第一版前言中写道：”1960年秋，我想到了现代数理逻辑的概念和方法能够为运用无限小和无限大的数来叙述微积分学提供一个合适的框架。我先是在普林斯顿大学（1960年11月）的一个讨论班的报告中报告了我的想法。随后又在符号逻辑学会（1961年1月）年会的一次发言中，以及在一篇刊登在阿姆斯特丹皇家科学院院报的文...
2021-03-29 23:39:12
683
2
原创 清明时节，思念友人张锦文
中国数学界元老申友枨先生的学生，中科院计算所研究员张锦文(中共党员，司局级)，安葬于北京八宝山公墓，老干部墓墙第979号墓室内。其生前遵照老师的教导多年来一直从事非标准分析的工作。安葬时袁萌将张锦文生前最心爱的出版物《鲁宾逊非标准分析》中译版，新手放于其墓室内，让它相伴张锦文的在天之灵。直到永远。袁萌2021年3月27号...
2021-03-27 12:01:30
441
2
原创 鲁宾逊《非标准分析》中译版正式上线
受人尊敬的中国数学界元老、北京大学数学掌门人申又枨主持了鲁宾逊非标准分析的中译版翻译工作，中科院张经文、北师大王师强以及袁萌等参与了该中译版的翻译工作。申又枨先生亲自执笔翻译了该书的第十章“关于微积分的历史“，于一九七八年三月二十三日为该中译本写了出版前沿，前沿说明该中译版翻译者的姓名。然而很不幸的是同年四月申又枨永远离开了我们，享年七十七岁。今天3月26日，我们把《鲁宾逊非标准分析》中译版上线，供广大读者下载学习研究。此举为国内高校的微...
2021-03-27 00:03:44
794
5
原创 关于鲁宾逊《非标准分析》的翻译问题
1980年，中国科学出版社出版了鲁宾逊非标准分析中译版，翻译者由中科院张经文(已故)，北京师范大小写王学强(已故)，袁萌也参与其中部分章节的翻译。该译文的出版产生巨大影响，有利于促进了无穷小微积分的发展。袁萌陈启清(代表)2021年3月18日...
2021-03-18 22:04:16
420
2
原创 《马克思数学手稿》与非标准分析
1975年，马克思数学手稿中文版正式出版，引起全国关注。中国科学院计算所数学逻辑张敬文研究员组织研讨办学习马克思手稿。袁萌应邀前往作马克思数学手稿和非标准分析的报告。报告中指出应站在非标准分析的角度看待马克思关于变化率记号0:0的辩证含义，它预示着现代非标准分析的诞生。当今，我们仍然需要站在非标准分析的高度来看待马克思关于微积分发展史的现代思想与作用。请批评指正袁萌陈启清(代笔)2021年03月15日...
2021-03-15 21:32:09
454
1
原创 纪念非标准分析诞辰60周年
1961年春天，鲁宾逊在荷兰数学刊物上发表微标准分析，上世纪，世界最伟大的数学家哥德在1970年说：“非标准分析是未来的数学分析”。为隆重纪念非标准分析诞辰60周年，我们将发表系列文章，来推进这一学科的发展。我们倡导的无穷小微积分属于哥德的无穷小分析，是非标准分析的基础部分，无穷小分析前景无限。袁萌陈启清(代笔)2021年3月13日...
2021-03-13 09:19:06
243
1
原创 微分定义，误人子弟
当前在国内高校微积分教科书中，函数微分定义为它的线性主部，在大前提“自变量增量趋于零”的前提下。但是加上“自变量增量趋于零”是错误的，会误人子弟。在无穷小微积分教科书中，函数微分等于导函数与无穷小自变量增量的乘积。直接定义，简单明了。请读者见J.Kaser的著作《无穷小基础》。 袁萌 陈启清(代笔) 2021年03年11日...
2021-03-11 23:02:24
909
2
原创 无穷小微积分的理论基础
当前关于无穷小微积分的理论基础，在国内几乎无人关注。1986年，美国著名模型论专家，J.kaser唯一奠定无穷小微积分理论基础，发表一部名著《无穷小微积分基础》。2018年6月，我们把这部名著(电子版)收录在“无穷小微积分”专业网站的文件库中，供大家下载学习研究。今后，让我们共同努力，把学习与研究无穷小微积分的理论基础落到实处，提高我们的数学水平。袁萌陈启清(代笔)2021年03年10日...
2021-03-10 22:23:32
551
原创 无穷小的节日
我叫无穷小，今天是我们的节日。通常，人们把我当作是极限论的无穷小，其实我不是，我是真的无穷小，超实数无穷小。我的绝对值小于任意非零正实数，我的标准部分是实数零。今天我装扮成可爱的数学小精灵，走进数学大课堂，坐在最前排，等待老师把我介绍给大家。老师问：“它是谁呀？”学生们都摇头说：“不知道！”老师又说：“它是无穷小呀！”顿时掌声雷动，热烈欢迎，我心里美滋滋的。据两会消息，科技部王志纲部长宣布：在十三五期间，我国已经建立了13个数学研究中心，并开展相关研究工作。这反应了我国数学事业发展的大好局面。
2021-03-09 23:19:41
279
原创 现代无穷小微积分的教科书
上世纪70年代，基于无穷小方法的微积分在美国出现，随后传入中国。著名数学家J.casler的无穷小微积分教书收录在无穷小微积分专业网站之中供读者下载使用。袁萌陈启清(代笔)2021年3月7日
2021-03-07 21:05:32
335
1
原创 微积分为何需要改革？
两会消息，我们要成为强大的科技强国，就需要有现代数学基础的支撑.现代基础数学发源于希尔伯特的几何基础，20世纪60年代，数理逻辑模型论的兴起，20世纪80年代，“无穷小微积分”的标准正式确立，至此进入了大学课堂。这三篇珍贵的数学文献已被我们的无穷小微积分网站收录其中，供读者下载学习研究。微积分为何需要改革？因为极限论微积分是19世纪的老古董，摆不上现代基础数学的桌面。微积分怎样进行改革？且听我们下回分解 袁萌 陈启清(代...
2021-03-05 22:53:01
400
1
原创 赞美无穷小，为它加油
根据542篇历史文献，在上世纪下半叶，为了无穷小概念，出现了一股数学发展大洪流，在这股洪流里，无穷小高举数学大旗，走在洪流的前面。今日，为加强学术交流，我们为无穷小微积分专业网站(www.wqxwjf.com)申请了专门的电子邮件信箱([email protected])，邮箱为“无穷小微积分”汉语拼音首字母组成。我们希望，通过借助该电子邮箱，大家都来探讨无穷小，共同推动我国基础数学的发展。 袁萌 陈启清...
2021-02-28 22:00:12
305
2
原创 现代数学之根
现代数学如同一颗大树，不断的生长，营养从根部源源不断的吸取，当前，全国高校设立基础数学中心。基础数学也要像现代数学一样，从根部吸取营养。德国伟大的数学家，希尔伯特，在1999年的代表作《几何基础》，就是现代数学之根，三年前，我们把希尔伯特的《几何基础》(英文版)收录到微积分网站之中，供读者下载。注:值得注意的是，在希尔伯特《几何基础》中已经提出被阿基米德有序域的概念，这就是无穷小微积分的基础。袁萌、陈启清2021年2月27日...
2021-02-27 11:29:43
332
2
原创 无穷小微积分是基础数学吗？
毫无疑问，建立在数理逻辑模型论之上的无穷小微积分属于基础数学研究领域，排斥它是不正确的。为了开拓前进的道路，我们率先把数学经典名著模型论引入到无穷小微积分专业网站供读者下载学习，不学习数学模型论，甘当现代数学文盲，前途实在可危也。袁萌、陈启清2021年02年24日...
2021-02-24 22:36:06
321
原创 无穷小微积分的春天到了
今天，与教育部科技司消息，为贯侧落实有关文件的精神，全国高校建设基础数学中心工作正在进行中。无穷小微积分的春天终于到来了。无穷小微积分与基础数学有什么关系？且听下回分解。袁萌 陈启清2021年2月22日...
2021-02-22 22:13:51
309
1
原创 微积分改革派与守旧派
2009后6月4号，无穷小微积分专业网站正式上线，在数学发展史上，这是一个具有标致性的里程碑事件。无穷小微积分专业网站是一个中英文数学经典著作的大汇总，是全世界独一无二的网站，内容丰富，具有参考价值。当前，微积分改革派与守旧派形成僵持，前者，微积分主张建立在数理逻辑最新成果：“紧致性定理”之上，而微积分守旧派固守十九世纪的极限论不动，不肯跨入二十世纪现代数学门槛。袁萌 陈启清2021年02月18日...
2021-02-18 21:58:50
474
1
原创 无穷小微积分开启新的征程
牛年新春快乐2021年，数学界，独一无二的无穷小微积分将开启新的征程。半个月之后，请关心微积分发展史、思想理论的读者继续关注无穷小微积分网站的更新。袁萌、陈启清2021年2月4日...
2021-02-04 22:25:41
363
3
原创 人类对无穷小认识的进步
根据俄罗斯学者的多年研究,非标准无穷小方法，在上世纪下半叶，得到快速发展。人类对无穷小的认识，从无到有就是历史的进步。在此期间，我们在数学方面做了什么? 请见本文附件.袁萌 陈启清 10月7日附件:… …The second half of the 20th century is a period of significant progress in these methods and their rapid development in a few directions....
2020-10-07 10:20:10
2853
19
原创 数学的好奇心
很难说，任何人对数学都有好奇心。对数学没有好奇心的数学教师不是好教员。大学生学习无穷小有何好处？请见本文附件。注：附件中的"extra tool"是什么？袁萌 陈启清 9月28日附件：… … The infinitesimal and traditional approaches, giving the stunt ant an extra toolwhich may become increasingly important in the future....
2020-09-28 15:18:42
1621
2
原创 缺乏公理的微积分
缺乏的反义词是富含。实际上，无穷小微积分就是富含公理的微积分。进入本世纪，富含公理的微积分成为了发展趋势。坦率地说，本文的“缺乏公理的微积分”指的是：国内现行微积分教课书。袁萌 陈启清 9月26日...
2020-09-26 19:28:54
1306
2
原创 无穷小微积分是数学必修基础课
当今，我们可以说：无穷小微积分是数学必修基础课。为什么？百度一下无穷小微积分。进入该网站，下载“无穷小微积分”教课书。比较该教科书的内容目录即可知道：无穷小微积分与传统微积分是完全一样的。因此，在当条件之下无穷小微积分是数学必修基础课。无穷小微积分原本就是微积分！说明：我们提供的无穷小微积分教材是世界一流水平的微积分教课书。袁萌 陈启清 9月25日...
2020-09-25 14:15:52
1362
2
原创 鲁宾逊是如何发现无穷小的？
1960年深秋，鲁宾逊在多年研习数理逻辑以及数学发展史的基础上，开始思考微积分的理论基础问题，并且有所发现。突然之间，在鲁宾逊的脑海里面浮现出一个念头，那就是利用哥德尔形式化方法复活老版莱布尼兹的无穷小微积分。鲁宾逊的研究成果发表在次年的数学期刊上。从此，无穷小微积分开启了现代化进程。所以，没有数理逻辑就没有无穷小微积分。袁萌 陈启清9月23日...
2020-09-23 16:58:52
1539
3
原创 无穷小的灵感初现
记得，1957年4月初的一天早4点许,天空蒙蒙发亮，袁萌开完南京第十中学高三毕业告别晚会之后，心情激动，思绪万千，在独自回到家的路上，走到《新华日报》总社大门旁边,报纸橱窗已经贴出当日报纸.在报纸橱窗前面，袁萌驻足观看当日报纸。突然之间，在袁萌脑海无穷小的灵感出现里面“无穷小的灵感初现”。注：这种无穷小是常熟，而不是变化的量（函数）?从此，开启了数十年的无穷小的征途……袁萌 陈启清9月20日...
2020-09-20 12:23:05
1371
1
原创 无穷小的真假辨析
16,17世纪，莱布尼兹，欧拉时代，使用理想的真无小创建微积分，取得广泛应用。到了19世纪,魏式退出山寨版“无穷小”凑合用。带了20世纪六十年代，鲁宾逊利用数理逻确立了真无穷小、奠定了微积分的严格基础。数学无穷小时代到了！袁萌 陈启清 9月16日...
2020-09-16 18:54:40
1681
2
原创 无穷小的真假辨析
16,17世纪，莱布尼兹，欧拉时代，使用理想的真无小创建微积分，取得广泛应用。到了19世纪,魏式退出山寨版“无穷小”凑合用。带了20世纪六十年代，鲁宾逊利用数理逻确立了真无穷小、奠定了微积分的严格基础。数学无穷小时代到了！袁萌 陈启清 9月16日...
2020-09-16 18:09:58
1250
1
原创 无穷小浮出水面50年
五十年前,美国数学科普出版物《数学 月刊》发表微积分教学改革的论文，内容详实，确立了无穷小微积分的学术地位。从地以后，无穷小微积分逐渐在世界范围内发展起来,成为一种趋势。这就是无穷小浮出水面50年!2023年，在俄国无穷小放飞互联网是这种发展趋势的一部分。袁萌 陈启清 9月11日...
2020-09-13 16:52:32
1150
1
原创 教师节谈“强基计划”
近日，教育部“强基计划”启动。为此，大批数学“拔尖生”进入高校学习基础数学，应当懂得无穷小微积分，而不是相反，背离了“强基计划”的初衷。袁萌 陈启清 9月10日
2020-09-10 10:32:39
1216
1
原创 我们从640KB走来
在上世纪90年代初期，个人计算机内存只有640KB；在这种客观情况下，历史要求我们设计制作三卷合订本的配套全文检索系统，攻坚克难，夜以继日，取得成功,由人民出版社在全国发行。当今，50年过去了，计算机内存增加了千万倍 我们面对同样的历史任务。我们从640KB走来！PHP Linux Mysql必定大宣神通历史将会记住这一切！袁萌 陈启清 8月28日...
2020-08-30 09:25:54
1573
1
原创 微积分教学的一朵鲜花
微积分教学中，超实无穷小是鲜花，还是毒草？超实无穷小是一种“理想数”，其标准部分是实数零。由于数理逻辑紧致性定证明了超实无穷小的存在以及在数学中的实用性，所以是微积分教学的一朵鲜花。与此相反，在传统数学中, 超实无穷小是逻辑谎言，误人子弟,是大毒草；所以无穷小是微积分教学的一朵鲜花袁萌 陈启清 8月24日...
2020-08-23 10:21:37
1372
3
原创 无穷小微积分在中国传播40年
记得在上世纪1978年，中国科学院计算机研究所张锦文研究员托人从美国带回J.Keisler教授“无穷小微积分”（英文原版），交给中国人民大学袁萌学习与研究。从此以后，结合教学实践袁萌在中国人民大学与北京大学的讲堂上不断地讲授无穷小微积分的基础知识。进入本世纪，袁萌带队进行“无穷小微积分”放飞互联网至今。这就是无穷小微积分在中国传播的40年。无穷小微积分专业网站是独一无二的传播基地。袁萌 陈启清 8月21日...
2020-08-22 18:54:52
1337
2
原创 无穷小微积分不减反增，何故？
今天，百度一下“无穷小微积分”，相关搜索结果为36.5万个!近40天来，我们忙于三卷扫描工作无暇顾及无穷小微积分。但是，无穷小微积分不减反增，何故？这是因为无穷小微积分已经深得人心也。袁萌 陈启清 8月20日...
2020-08-21 11:12:22
1283
1
原创 三卷扫描结果装入数据库
不做扫描数据预修改，三卷扫描结果装入数据库没有什么用处。但是怎么预修改，很有讲究。每一个句子记录应该添加哪些附加信息？一般而言，检索的目标不是语句的本身，而是该语句所在的位置。例如，语句所在的卷数、页数和行数等等。袁萌 陈启清 8月20日...
2020-08-20 10:30:19
1147
3
原创 全文检索与数学证明
初看起来,全文检索与数学证明似乎没有关系。其实不然。何故？全文检索就是在有限步骤内确定一类特定的句子是否存在。而数学证明就是在由此说、你步骤之内路逻辑?判定一个给定的句子是否成立。所以，全文检索与数学证明在理论本质上是一回事。请见：好消息：三卷扫描的效果特别好！袁萌 陈启清 8月17日...
2020-08-17 13:32:52
1177
1
原创 拒绝配套全文检索没有道理
一般而言，思想、理论表现为一个句子集合。如果上级单位要求对该理论“全面系统学、深入思考学”，那么，拒绝配套全文检索没有道理!为什么？因为，配套全文检索是“全面系统学”、“深入思考学”的辅助工具。袁萌 陈启清 8月12日...
2020-08-15 20:17:39
1034
2
原创 汉子扫描任务在进行中
扫描任务在进行中，… …为帮助读者学习研究 马克思主义经典著作，建立全文检索，汉子扫描，这一举措是必须的。我们热烈欢呼新华字典第十二版以及在线版同时发行！袁萌 陈启清 8月10日...
2020-08-11 17:04:07
1289
5
原创 多日未发文，何故？
坦然地说，一切为了“备战”第二套三卷句集全文检索的启动！今天上午第二套三卷句集全文检索软件开发已经正式启动 。第二套指的是什么著作？不言自明第一套是么？为什么？不言自明。袁萌 陈启清 7月31日...
2020-08-02 09:03:35
1472
2
原创 天问一号发射的瞬间
天问一号发射的瞬间是：2020年7月23日12时41分15秒167毫秒。这是值得 记念的瞬间！注：天问一号每毫秒飞11.2米第二套全文检索系统，正在进行中，… …袁萌 陈启清 7月25日
2020-07-26 09:40:47
1596
2
原创 太阳系的人造小行星
此刻，天问一号是一个太阳系的人造小行星，在椭圆轨道上运行。袁萌 陈启清 7月24日阿联酋首个火星探测器在日本升空中国新闻网 07-20 10:17中新网7月20日电 据日本共同社报道，当地时间20日早上，日本三菱重工公司成功发射一枚火箭，搭载着阿联酋的“希望”号火星探测器，这次火星探索之旅是阿拉伯国家的首个火星任务。据报道，当地时间20日早上6点58分，搭载着“希望”号探测器的H2A火箭从日本西南部鹿儿岛县的种子岛航天中心发射升空。在迪拜的穆罕默德.本.拉希德航天中心研...
2020-07-24 14:24:04
1462
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人