- 博客(53)
- 收藏
- 关注
RSS订阅原创 无穷小微积分根正苗壮，扎根中国新征程
经过档案查证，无穷小微积分的理论思想与符号系统，在1675年10月出现在莱布尼兹的研究手稿中，这说明，无穷小微积分的“根”就在这里。 自上世纪30年代末期，无穷小微积分引入中国，至今已经40多年了。 当今，我国阔步走在科技强国的大道上，公理化无穷小微积分迎来发展的好时光，开始了发展的新征程。袁萌 2月28日...
2018-02-28 21:06:50
1183
原创 查阅莱布尼兹档案，为无穷小微积分寻根
自上世纪60年代，出现了公理化无穷小微积分，受到菲氏微积分徒子徒孙的排挤。 作为一套科学的计算系统，微积分（Calculus）是谁发明的？当今，微积分学使用的数学符号是谁提出的？我们需要实事求是，查阅历史档案才能搞定。 In themanuscripts of 25 October to 11 November 1675, Leibniz recorde...
2018-02-28 18:25:01
1289
原创 最简明的微分定义
今年下半年，在我国微积分下放中学已成定局面。寻找最简明的微分定义已是当务之急。 当今，世界著名数理逻辑模型论专家J.Keisler给出的微分定义如下：DEFINITIONSuppose y dependson x, y=f(x).（i）The differentialof x is the independent variable dx =Δx. (ii) The...
2018-02-27 21:34:48
1720
原创 再批国标数学教材的微分定义
当前，国家要求加强基础研究，全国普通高校“国标”数学教材关于微分概念定义有误，影响极坏，不得不批。 5年前，老翁发文客客气气地“思考”这个问题，现在不用客气了。 袁萌 2月27日附： 关于函数增量(Δy)与微分（dy）的思考 (此文于2013-07-28发表)7月28日，J. Keisler《基础微积分》的第2.1节导数、第2.2节微分...
2018-02-27 10:59:05
1401
原创 国标高数教材搞乱了微积分学界
当前，全国普通高校几乎都采用同济、复旦编写的高等数学教材。也就是说，继承了菲氏微积分的“衣钵”。 继承优良传统不要紧，但是，胡乱继承就不好了。 比如，国标“微分定义”存在含混之处，误人子弟。 老翁纳闷，堂堂同济、复旦大学推出的“国标”数学教材，竟然存在基本概念混乱，而且这种教材每年印刷上千万套，二十多年不修改，真够可以的了。...
2018-02-27 04:31:19
2157
原创 微分定义的含混之处
同济、复旦编辑的“国家标准”教材对一元函数微分的定义存在含糊不清之处，理由如下： “…，则称函数y = f(x)在点x0是可微的。 AΔx叫做 函数在点x0相应于自变量增量△x的微分，记作dy”， 什么叫”函数在点x0相应于自变量增量△x的微分，记作dy”？短语“在x0相应于自变量增量△x”是什么意思？为什么要加上“相应于自变量增量△x”这...
2018-02-27 02:38:11
1319
原创 微分是线性主部定义应该怎么说？
在上海同济大学、复旦大学编写的的高等数学教材中，把一元函数微分定义为函数增量的“线性主部”，在此定义等式后面加上一个括弧，里面注明：自变量增量趋于零。 这种简单错误出现在全国高校通用数学教材中，让人笑掉大牙。 说句实话，微分定义等式后面的括号定语是完全不必要的。 这就是菲氏微积分徒子徒孙的杰作！不怕丢人。袁萌 2月26日...
2018-02-26 20:51:42
10685
原创 微分学与积分学可否合并？
仔细观察国内媒体对微积分的科普文章，几乎全是胡说八道，违背历史事实，误人子弟也。 前天，老翁发表短文“微积分是什么？”，但是，百度搜索不到，现在重新发表如下，以飨读者。袁萌 2月26日附：微积分是什么？ 微积分学（Calculus，拉丁语意为计数用的小石头） 是研究极限、微分学、积分学和无穷级数等的一个数学分支，并成为了现代大学教育的重要组成部分。历史...
2018-02-26 14:37:29
2532
原创 微积分文盲与人造卫星
1957年9月，我考入南京大学数学天文系，学习微积分，懂得了人造卫星的飞行原理。1957年10月4日，苏联发射了世界上第一颗人造卫星。这个卫星里的主要仪器设备是化学能电池无线电发报机。之后，美国、法国、日本也相继发射了人造卫星。对此，我激动万分。1968年11月10日，我作为首批“五七干校”先遣队队员，奔赴东北大兴安岭“五七干校”进行劳动锻炼。 1970年11月4日，中国发射...
2018-02-25 15:05:40
1297
原创 微积分基本定理：微分符号与积分符号是逆运算
简单地说，微积分基本定理分为两个部分： 第一部分：d∫fdx = fdx，意思是：函数f积分的微积等于该函数的微分； 第二部分：F = ∫dF，意思是，函数F微分的积分等于该函数的自身。 据此，微分与积分是互逆运算，也就是说： d∫ = ∫d 这就是全部的微积分学。 从历史发展上来看...
2018-02-25 04:26:26
14123
2
转载 微积分大笑话，误人子弟
今年，国家教育部1月16日发文，要求在今年9月份开始，微积分下放中学。 为此，老翁上网搜索“微积分”关键词，发现搜索到的文章都是微积分大笑话，胡说八道，愚昧无知。 在相关介绍微积分的科普文章中，错误概念连篇，违背历史事实，误人子弟。 老翁本不想批判这些谬论，但是，想想00后“小宝宝”的未来，不说话不行了。 让我慢慢说来。袁萌 ...
2018-02-24 16:24:56
3340
原创 微积分是什么？
微积分学（Calculus，拉丁语意为计数用的小石头） 是研究极限、微分学、积分学和无穷级数等的一个数学分支，并成为了现代大学教育的重要组成部分。历史上，微积分曾经被称为“无穷小的计算”（即无穷小微积分）。更本质的讲，微积分学是一门研究变化的科学，正如：几何学是研究形状的科学、代数学是研究代数运算和解方程的科学一样。微积分学又称为“初等数学分析”。微积分学在科学、经济学、商业管理学和工业工程学领域...
2018-02-24 15:05:33
2354
原创 超实数银河知多少？
在有限超实数之外，在无穷大的那一边 情况怎么样？ 大家知道，在超实数系统中，有两个“等价类”，一个是单子，一个是银河（Galax）。银河中任意两个超实数相差是有限超实数，据此，银河构成不同的“等价类”。 假定H、K是两个无穷大整数，围绕H、K的银河记为Galax（H）与Galax（K）。容易证明，这两个银河的交集为空集合。也就是说，两者不连通，可望不可及...
2018-02-23 15:35:12
1240
原创 中国数学发展之短板
经查，中国数学会下设数理逻辑专业委员会，现任主任、副主任的专业方向均是集合论，而且是点集理论，完全不涉及公理集合论、模型论、递归论和证明论，数理逻辑的四大支柱学科。 鉴于上述情况。中国数学发展存在短板，需要补课。 当今，数学发展缺少不了形式化、公理化。 微积分下放普通高中，这是进步。但是，下放什么样的微积分，仍然是个问题。 ...
2018-02-23 14:31:45
1315
原创 再论无穷小是什么？
进入上世纪中叶，数学公理化浪潮扑面而来，无法抵挡。群环域与实数均已公理化，无穷小微积分借此而生。 无穷小是什么？无穷小不是什么？我们必须搞清楚，不能糊涂。 实际上，我们所说的“无穷小”不是别的什么东西，他们是超实数系统*R中大于零而小于任何正实数的超实数。无穷小不存在于实数系统之中。 超实数存在吗？回答这个问题，首先要把实数系统公理化，然...
2018-02-23 09:46:53
1292
原创 纪念无穷小放飞互联网5周年
纪念无穷小放飞互联网5周年今年新春一过，无穷小就开始忙活起来，博客、微博、微信公众号，“三管”一起上！我国是一个人口大国，无穷小上网如此折腾，响声肯定不小。回顾以往，无穷小放飞互联网，至今已经5年有余。当前，在国内学术界，不知道超实数无穷小的人，少矣！超实数无穷小，闪亮登场，而传统无穷小量显得陈旧、古板，不讨人喜欢。今年的计划是，让更得多的高中生知晓超实数无穷小，开阔他们的视野，明辨数学是非。此刻
2018-02-23 08:21:36
1169
原创 实数的公理化定义
在域的公理化定义基础上，容易给出实数的公理化定义，如下文所述。 说明：1961年，美国数学家鲁宾逊在实数公理化基础上，利用数理逻辑模型论紧致性定理，证明实数的非标准模型存在，这就是超实数需要的诞生。由此，无穷小微积分就名正言顺了。袁萌 2月23日附：实数的公理化定义： Let denote the set of all real numbers. Then: ...
2018-02-23 08:17:05
3778
原创 实数从何而来？
老实说，实数是人为虚构的“理想数”，并不实际存在。 从古希腊一直到17世纪，数学家们才慢慢接受无理数的存在，并把它和有理数平等地看作数；后来有虚数概念的引入，为加以区别而称作“实数”，意即“实在的数”。在当时，尽管虚数已经出现并广为使用，实数的严格定义却仍然是个难题，以至函数、极限和收敛性的概念都被定义清楚之后，才由十九世纪末的戴德金、康托等人对实数进行了严格处理。 ...
2018-02-22 16:13:51
1599
原创 域的公理化定义
在抽象代数中，群、环、域是三种数学结构。对于学习无穷小微积分而言，域的知识是必不可少的。袁萌 2月22日域的公理化定义如下： Formally, a fieldis a set F together with two operations called addition and multiplication.[1]An operation is a mapping ...
2018-02-22 15:26:02
1826
原创 环的公理化定义
在数学中，环与群都是很重要的数学结构。 记得，我的毕业论文题目就是关于素性环的几个定理（已发表）。 环（Ring）的公理化定义如下：A ring is a set Requipped with two binary operations[1] + and · satisfying the following threesets of axioms, ca...
2018-02-22 13:19:29
1505
原创 群的公理化定义
群是一个集合G，连同一个运算"·"，它结合任何两个元素a和b而形成另一个元素，记为a·b。符号"·"是对具体给出的运算，比如整数加法的一般占位符。要具备成为群的资格，这个集合和运算(G,·)必须满足叫做群公理的四个要求： 公理1. 封闭性： 对于所有G中的元素a, b，运算a·b的结果也在G中。 公理2. 结合性： 对于所有G中的a, b...
2018-02-22 09:00:21
3238
原创 塔尔斯基的实数公理系统为无穷小微积分奠基
近日，老翁在博文中提及群（Group）的公理化系统（4条），联想起塔尔斯基的实数公理化系统（8条）。有感。今日，老翁亲自动手试了一试，果然灵验。现在，把塔尔斯基公理系统附在下面，供大家阅读思考。袁萌 2月21日附：Tarski's axiomatizationofthe reals In 1936, AlfredTarski set out anaxiomatization of...
2018-02-21 16:57:46
1407
原创 群是什么？
在数学中，群是一种代数结构，由一个集合以及一个二元运算所组成。 一个群必须满足一些被称为“群公理”的条件，也就是封闭性、结合律、单位元和对于集合中所有元素存在逆元素。很多熟知的数学结构比如数系统都遵从这些公理，例如整数配备上加法运算就形成一个群。如果将群公理的公式从具体的群和其运算中抽象出来，就使得人们可以用灵活的方式来处理起源于抽象代数或其他许多数学分支的实体，而同...
2018-02-20 19:24:55
6029
原创 忆恩师周伯勋先生讲群论的情景
60年前，我在南京大学数学天文系学习数学，授课老师是周伯勋先生（已故，享年93）。 周先生指定的教学参考书是美国群论专家Marshall Hall（1910-1990）的群论（英文）。此书内容丰富，叙述严谨。 这是最甜蜜的回忆。每逢周先生讲课时，我都会早早地抢座位，坐在最靠讲台的第一拍座位，以便看得清，听得清。 讲课时，周先生有个习惯，总是...
2018-02-20 13:23:39
1394
原创 伽罗瓦不是群论的奠基人
国内文献（科普中国）把伽罗瓦说成是群论的发现者、奠基人。这不符合历史事实。 事实上，伽罗瓦的工作是利用置换群工具解决了多项式存在根式解的条件。 The study ofgroups originally grew out of an understanding of permutation groups（置换群）. Permutationshad the...
2018-02-19 16:51:41
2655
转载 什么是帕斯公理？
国人很少知道帕斯是个什么人？实际上，帕斯（MoritzPasch，1843-1930）是德国的伟大几何学家。 1884年，帕斯第一次提出形式公理系统的概念。他认为，数学公路不应涉及（或依赖）物理内容（或物理解释）。这一思想催生了后来的形式系统（方法）。 帕斯的数学贡献是：首次发现欧几里德平面几何学公理系统的缺陷，反对在几何证明中需要依赖图形的直觉。帕斯发...
2018-02-18 12:12:39
1532
原创 公理化、形式化是现代数学的本质特征
进入20世纪，数学公理化浪潮兴起。2018年，国家教育部发文，出台高中数学课程新标准，要求转变思路，培养学生的数学核心素养，其中第一条就是培养学生的数学抽象能力。 数学抽象能力有多种，其中第一种就是“公理化抽象”。所谓“公理化抽象.即根据数学发展的需要，构想出完全理想化的新的公理(或基本法则)，以排除数学悖论，使整个数学理论体系恢复和谐统一。例如：非欧几何学平行公理、...
2018-02-16 19:54:54
2782
原创 四论微积分下放中学
去年11月1日，老翁发表短文“三论微积分下放中学”，今年1月16日，国家教育部发文，要求微积分下放中学，“三论”提出的问题，算是解决了。但是，下放什么样的微积分，怎么下放？问题还没有得到彻底解决。 大家知道，微积分只有一种，但是，微积分的模型却有两个：无穷小微积分与极限微积分。也就是说，实数微积分与超实数微积分。 国外教学实验已经证明：讲授同样的内容，无...
2018-02-16 16:56:33
1330
原创 集合、函数、微积分，向中学数学教师致敬!
一个月之前，国家教育部发布普通高中数学课程新标准，高定在高中三年学习期间围绕集合、函数、微积分三门主课展开。同时规定，新课标自今年九月实施。 至此，中国普通高中数学教育走在了世界的前列。到2020年 ，中国每年有一千万人微积分“脱贫”，充实社会劳动力大军。 所以，中学数学教员是最值得敬慕的人。我们向他他们致敬！ 袁萌 2月16日 ...
2018-02-16 12:31:45
1249
原创 无穷小微积分奠基人是谁？
进入21世纪，希尔伯特、塔尔斯基与哥德尔等现代数学伟人相继离世。他们留给我们许多宝贵的思想财富。在我们的心底里面，一定要尊重他们。 在这些数学巨人面前，菲氏微积分就显得陈旧、过时。那么，新时代的微积分应该是什么样子呢？大家知道，在上世纪60年代，哥德尔曾经说过：无穷小微积分是未来的数学分析。 那么，无穷小微积分的奠基人究竟是谁呢？6年前，老翁发表短文介...
2018-02-15 09:10:15
1768
原创 无穷小微积分再次放飞互联网，祝大家新春快乐！
当前，在国内互联网上搜索“无穷小微积分”组合关键词，相关搜索结果稳定在6万篇左右。这是菲氏微积分徒子徒孙们抹杀不掉的事实。袁萌 2月14日附：（上传文件） Elementary Calculus: An Infinitesimal approach is a textbook by H.Jerome Keisler. The subtitle alludes to ...
2018-02-14 15:45:07
2419
原创 向无穷小知音者致以春节的问候！
一般而言。我每天清晨上传一篇博文，不断地唠叨着无穷小的故事。从每天的读者群人数的变动情况，我能够推断出一个结论：国内存在一群无穷小的知音群体，也可以说，他们是无穷小的痴迷者（男、女都有）。现代无穷小从何而来？它们是微小物理量在我们脑壳中的反映？非也。希尔伯特说，无穷小是理想元素。也就是说，无穷小是存在于公理化系统中，具体言之，是由数理逻辑模型论核心定理（紧致性定理）引入公理化数学中的“理想元素”。...
2018-02-14 11:27:27
1127
转载 关于希尔伯特的元数学思想
今天是2月14日，是希尔伯特逝世75周年的纪念日。我们用什么实际行动来纪念他？ 纪念希尔伯特最好的实际行动就是学习、研究他的学术思想，真正学懂、吃透。 希尔伯特关于第一篇证明论的工作是1922年发表的，在《数学的新基础：第一篇》中，他论述如何把数论用有限方法讨论，而数学本身却一般须用超穷方法。他指出，用符号逻辑方法可以把命题和证明加以形式化，而把这些形式...
2018-02-14 07:16:59
2659
转载 希尔伯特数学形式化与自动推理机
上世纪初期，希尔伯特力挺数学形式化、公理化，现在，希尔伯特的创新思想变成了自动推理机，成了第一生产力，广泛应用在科技、生产战线上，前景无可限量。 当今，大飞机与航天器的设计、生产都需要精密推理，进行系统验证。希尔伯特的“证明器”（Prover）派上用场，少了不行。 希尔伯特形式化学派，原本是书生“造反”，雕虫小技，不足道也。谁也没有想到，有今天的辉煌。袁...
2018-02-13 18:03:28
2006
原创 哥德尔对希尔伯特说：不！
1920年，希尔伯特对外宣布一项研究计划，想为整个数学提供一个安全、可靠的解决方案。 但是，In 1931 哥德尔的不完全性定理（ incompletenesstheorem）说明了：Hilbert's grand plan（宏伟的计划） was impossibleas stated.哥德尔对希尔伯特说：不！ 然而，哥德尔不完全性定理，催生了数理逻辑递...
2018-02-13 12:19:02
1667
原创 希尔伯特核心思想的公开表露
1920年，58岁高龄的德国数学家希尔伯特公开阐述了自己的想法（第一次！），为了整个数学的基础安全。他的核心思想有如下三点：（初看上去，有点匪夷所思也） 一、将所要讨论的古典数学理论T（有内容的）（如数论）公理化，把所得的公理化理论和所用的逻辑彻底地形式化,使得有内容的古典数学理论T（如数论）能表成一些形式符号和形式符号公式(注意：它们是没有内容的！)组成的系统（完全...
2018-02-13 05:58:32
2370
原创 紀念希尔伯特逝世75周年
紀念希尔伯特逝世75周年当前,国家要求全面加强基础科学研究.希尔伯特是数学基础研究的典范,取得巨大的历史成就.1943年2月14日,希尔伯特在纳粹统治下,凄惨离世.今天，我们纪念他，就是要回顾、重温他的业绩，感激他对人类数学事业的重大贡献。在19世纪下半叶至20世纪上半叶，为了给数学奠定一个牢固的基础，希尔伯特提出一个解决方案：数学全面实现公理化。老实说，在数学全面实现公理化这方面，我们落伍了，需
2018-02-12 04:54:15
2215
转载 希尔伯特：无穷小是理想元素
希尔伯特：无穷小是理想元素进入2018年1月，国务院、科技部和教育部接连发文，要求全面加强基础科学研究，培养高素质人才，体现了国家的意志。科普上世纪基础科学领军人物的生平事迹，教育下一代，很有必要。大家知道，希尔伯特（1867-1946）、塔尔斯基（1901-1983）是上世纪数学基础研究的领军人物。知晓他们的学术思想，深入进去，很有教益。袁萌 2月11日附：关于希尔伯特的形式主义学派一、形式主
2018-02-11 19:23:47
1387
原创 希尔伯特计划，为什么落空？
希尔伯特计划，为什么落空？ 在希尔伯特眼中，人类创造的所有数学（包括各个数学分支）都应该是完美的，不含有内部矛盾。 学生不会做数学题，老师就说这个学生“笨”。老师依据的思想就是希尔伯提出的一项“计划”。如果希尔伯特的这项“计划”真的完成了，那么，数学老师责骂学生“笨”，就是无可非议了。首先，我们要知道，希尔伯特老爷子的“计划”是什么？其他都是废话。袁萌 2月11日附：德国数学家大卫‧希尔
2018-02-11 11:58:10
1818
原创 超越数学，开阔视野
超越数学，开阔视野首先需要说明的是，本文标题中的“超越数学”的本意是“Beyond-mathematics”，也就是说，本文所谓的“超越数学”即是“超级数学”，如同高等数学或者“超等数学”一样。比高等数学还要高级的数学研究什么呢？是什么学问？简单地说，就是站在数学之外（Beyond）看数学的本质。站在数学之外，才能“看清”数学的本质。站在火星上看地球，才能懂得人类家园的美好。如何从数学家园中走出来
2018-02-11 05:47:23
1610
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人