2017年10月_yuanmeng001

原创一百年沧桑巨变，数学大树依然长青

一百年沧桑巨变，数学大树依然长青在十九世纪初期，希尔伯特提出一个“大纲”，想给整个数学奠定一个牢不可破的基础。大纲内容如下（有三点）：1、A formulation of all mathematics; in other words allmathematical statements should be written in a precise formal language, andmani

2017-10-30 21:49:02 1728

原创弗雷格的伟大历史贡献：量词的引入

弗雷格的伟大历史贡献：量词的引入记得，60年前：1957年的初秋，我进入南京大学数学天文系学习数学。莫绍揆先生在授课中大量使用逻辑“量词”，感觉怪怪的，不知是什么人发明的这玩意儿。实际情况是，“量词”的引入是逻辑学发展历史上的一个标志性的“转折点”。应该说，有了“量词”就有了“量词语句”，从而也就有了形式语言，催生了整个二十世纪的数学的全面形式化。从本质上来说，当代

2017-10-29 03:21:09 1910

原创新时代的数学研究要有新气象

新时代的数学研究要有新气象准确地说，对我国数学发展而言，自上世纪1978年至本世纪2017年10月24日可称之为“现代数学初期阶段”，而进入新时期的数学发展阶段可称之为“我国数学发展的新时期”。现在的问题是：我国进入新时期的数学应该如何“起步”？是补十九世纪近代数学的课？还是从上世纪前半期的世界现代数学开始补课，然后设法赶超美日发达国家？答案：当然是后者。这是一个基本认识问题。这个问题不解决就会迷

2017-10-26 10:28:25 1468

原创哥德尔定理的正规表述

哥德尔定理的正规表述 1931年，25岁的“小毛头”哥德尔证明了一条定理如下：“Anyrobust mathematical system contains statements that are true yet unprovablewithin the system.”哥德尔定理的意思是说：“任何强壮的数学系统必定包含一个真的陈述句，然而，在该系统中，这个陈述句却是不可证明的。”记得，在

2017-10-23 02:03:57 1624

原创致批驳哥德尔不完全性定理者

致批驳哥德尔不完全性定理者近年来，国内有人公开发表言论，批驳哥德尔的不一致性定理，扰乱社会视听，必须反击。什么是数学？什么是逻辑？什么是数理逻辑？1977年，美国著名学者Jon Barwise(1942– 2000)在其代表作数理逻辑手册（Handbook）将数理逻辑大致分为4个部分：1、集合论；2、模型论；3、递归论；4

2017-10-21 07:42:00 3086

原创哥德尔不完全性定理探索数学边界

哥德尔不完全性定理探索数学边界在上世纪的前三十年，世界范围内出现了一股深入探究数学基础的风潮，每年涌现数千篇相关博士论文，可谓百花齐放，百家争鸣。1931年，年仅26岁的“小毛头”哥德尔（Godel 1901 - 1978）发表文章，断言：任何包括算术的公理系统都是不完全的，也就是说，在这个公理系统上存在一些真命题是不可证明的。这篇论文触及到数学的“固有边界”，人类不会逾越这条边界。这个定理的证

2017-10-20 05:10:35 1883

原创我为国内微积分“小糊涂”感到悲哀！

我为国内微积分“小糊涂”感到悲哀！大约在５年前，２０１３年２月３日，我在短文“证明连续函数的一致连续性为何那么困难？”一文中，为我国微积分“小糊涂”感到悲哀。现重新发表此文，以飨读者。袁萌　１０月１６日现附上此文如下：　　大家知道，函数f在闭区间[a，b]上的一致连续性是指：对任意ε>0，必存在一个 δ.>0，只要│x' – x''│δ，则必有│f(x') -f(x'')│ε。　　康托尔定理是断言

2017-10-16 14:05:34 1427

原创我国高等数学教材不能误导学生

我国高等数学教材不能误导学生４年前，我提出这个观点，至今无人理睬。现在，重新发布此文，以飨读者。袁萌　　１０月１６日附：关于传统微积分学的病态此文发表时间：2013-10-12　　在传统微积分学中，关于函数f的(逐点定义)导数（Derivatives）是一个最基本的概念。但是，它有时却给传统微积分学带来了麻烦，使传统微积分学出现反直观的“病态”（Pathology）。　　给定函数　　f(x) =

2017-10-16 08:30:26 3400 1

原创函数一致性导数的定义

函数一致性导数的定义在4年前，我在短文“何谓一致性导数？”一文中表示，愿意与“９０后”读者交朋友。现将该文重新发表如下：袁萌　１０月１６日大家知道，传统“逐点定义”(pointwise)的函数导数会导致“病态”现象，比如，在一点处，函数导数值为正，但是，函数在此点却不是增函数。那么，我们该怎么办呢？如果我们采用如下导数定义，问题就解决了。：假定函数f在开区间(a，b)内有定义，如果对每一个闭子区间

2017-10-16 07:22:07 3221

原创我国数学基础教育的困境

我国数学基础教育的困境当前，我国正处于历史发展的最好时期，每年有千万青年学子进入大学深造，学习微积分成为社会劳动大军的预备队。可是，大学的数学教材（“十一五”国家级规划教材）很不理想，仍然停留在十九世纪数学发展水平，不适应现代社会发展的需要。比如，在校学生只知道连续函数存在少数几个不光滑的点（此处函数的导数不存在），而不知道连续函数可以处处不可微分。学校稀里糊涂地培养出一批头脑呆板的“小糊涂”。例

2017-10-16 05:34:02 1283

原创符号

符号进入数理逻辑研究领域，经常需要与表意符号打交道。为方便读者阅读，本文收录相关符号列表如下。袁萌 10月15日常用符号表：ˉˇ¨〃々—～‖…‘’“”〔〕〈〉《》「」『』〖〗【】±+－×÷∧∨∑∏∪∩∈√⊥‖∠⌒⊙∫∮≡≌≈∽∝≠≮≯≤≥∞∶∵∴∷♂♀°′〃℃$¤￠￡‰§№☆★〇○●◎◇◆ 回□■△▽⊿▲▼◣◤◢◥▁▂▃▄▅▆▇█▉▊▋▌▍▎▏▓※→←↑↓↖↗↘↙〓ⅠⅡⅢⅣⅤⅥⅦⅧⅨⅩ①②③④

2017-10-15 16:13:35 1999

原创数学三大流派之我见

数学三大流派之我见2017年10月12日中午，南京大学数学天文系57级老同学相约聚会南京大学，回顾当面苦读情景，谈及数学的三大流派。记得，在南大学习期间，我就很关心数学的基础研究，简直入了迷。袁萌 10月14日十九世纪下半叶，康托尔创立了著名的集合论，在集合论刚产生时，曾遭到许多人的猛烈攻击。但不久这一开创性成果就为广大数学家所接受了，并且获得广泛而高度的赞誉。数学家们发现，从自然数与康托尔集合

2017-10-14 07:13:40 2876

原创关于数学基础的研究现状

关于数学基础的研究现状这个课题，国内研究不多，特别是对于现代数学基础的研究更为少见。1900年元旦，希尔伯特在巴黎召开的世界数学家代表大会上提出23个数学问题，其中第一个就是关于连续统假设（CH）的问题。此问题立即引起德国“小毛头”Zermelo（1871 - 1953）的兴趣，一头钻进去了。在18世纪70年代，德国数学家康托尔创立了朴素集合论，引发很大争议。部分大数学家对于康托尔提出的集合论很不

2017-10-13 03:45:12 2274 1

原创梦游ZFA仙境，遥想当年苦读

梦游ZFA仙境，遥想当年苦读2017年10月11日夜间，我梦入ZFC公理集合论仙境，四处都是集合、集合的集合以及集合的集合的集合，……意境虚幻，仿若仙境，不忍离去。10月12日中午，部分南京大学数学天文系57级老同学相约聚会南京大学（共计20人），遥想当年苦读情景。现将ZFC公理集合论公理体系附在下面，供读者参考，有困难者，不必阅读。袁萌 10月12日ZFC公理体系（共计8条）：1.Axiom

2017-10-12 20:06:31 1432

原创无穷小微积分是植根于现代数学基础上的一朵鲜花，而不是鬼话、毒草

无穷小微积分是植根于现代数学基础上的一朵鲜花，而不是鬼话、毒草如果不懂得现代数学发展史，我们就是数学文明的文盲。数学悖论的产生导致数学的第三次理论危机。也就是说，悖论（Paradox）会导致理论系统的逻辑矛盾，产生理论系统的不一致性。1897年，福尔蒂揭示了集合论中的第一个悖论。两年后，康托发现了很相似的悖论。1902年，罗素又发现了一个悖论，它除了涉及集合概念本身外不涉及别的概念。罗素悖论曾被以

2017-10-09 17:04:05 1759

原创数学三大危机与无穷小微积分

数学三大危机与无穷小微积分大家知道，数学发展史上出现过三大危机：第一,希帕索斯发现了一个腰为1的等腰直角三角形的斜边(即根号2)永远无法用最简整数比(不可公度比)来表示,从而发现了第一个无理数,推翻了毕达哥拉斯的著名论断（只存在有理数）；第二,微积分的合理性遭到严重质疑,质疑者宣称“无穷小是逝去量的鬼魂”，险些要把整个微积分理论推翻;第三,罗素悖论：S由一切不是自身元素的集合所组成,那么，

2017-10-08 15:43:37 4420 2

原创知乎网站胡说八道，误人子弟！

知乎网站胡说八道，误人子弟！今天上午，孩子教我使用“知乎”搜索微积分词条，结果让我大吃一惊。搜索结果，全是胡说八道，误人子弟！知乎说：微积分的严格的数学基础在20世纪初就已经建立完成了。（实际上，我印象中是19世纪末，不过记不清楚还是保险起见为好。）逻辑上就是普通的逻辑。没有专门为其搞出什么特别的逻辑或哲学。我记得罗素对这个成就大为称赞的时候还说，把微积分严格的形式化完成之后，终于可以避免

2017-10-08 13:26:10 5839 1

原创再与复旦大学《数学分析》编者商榷

再与复旦大学《数学分析》编者商榷由于贵校《数学分析》是“十一五”国家级规划数学学教材，影响面很大，其中某些基本概念值得商榷。进入本世纪，德国大数学家希尔伯特（David Hilbert，1862─1943）倡导数学公理化方向，对二十世纪的数学发展影响甚大。一般认为，数学研究对象是由一组不含矛盾的公理系统确定的，其真伪性和存在性与具体物理实验无关。而贵校《数学分析》教材则持有相反观点，认为客观世界的

2017-10-08 06:29:41 1349

原创与复旦大学《数学分析》编者商榷

与复旦大学《数学分析》编者商榷在2012年12月19日，我在“超实数*R真的存在吗？短文中曾论及超实数*R的存在性。无穷小是超实数，当然其存在性也在所论之列。首先需要指出的是：数学的存在性与物理的存在性并不相同。在大多数数学家看来，数学对象的存在性是指：如果该数学对象包含在一个不会导致逻辑矛盾的公理系统中，数学家们就认为该数学对象是存在的。数学家的存在性观念与物理学家是有区别的。数学只是描述物理现

2017-10-07 21:17:20 1359

原创超实数（Hyper-reals）是什么人发明的？

超实数（Hyper-reals）是什么人发明的？在英语里面，形容词“Hyper”有高度紧张的含义。所谓“Hyperrealss”意思是超级紧密的实数系，是一种比实数更加紧密的理想数系。从中学时代起，学生都知道：几何直线（数轴）上布满了所谓“实数”，点与实数是一一对应的，没有任何空隙。实际情况是，几何直线的数学结构远远不是这么简单，它可以承载更加紧密的数系。何故？拿出证据来。实际情况是，年仅28岁的

2017-10-07 18:24:21 5176

原创微积分的历史演变与现状

微积分的历史演变与现状站在现代数学的高度观察微积分学的历史演变与现状，实事求是，还原历史原来的面貌，具有极大的现实意义。J.keisler在其巨著《基础微积分》后记中做到了这一点。袁萌 10月7日附：基础微积分EPILOGUE（后记）How does theinfinitesimal calculus as developed in this book relate to t

2017-10-07 10:53:23 3160

原创倡导无穷小微积分，理论自信来自何方？

倡导无穷小微积分，理论自信来自何方？关于无穷小微积分，要说的话很多，但是，必须有一些预备知识。为此，将基础微积分”后记”（Epilogue）附后，以便将来引用、讨论。袁萌 10月7日附：基础微积分后记（Epilogue) EPILOGUE（后记）How does theinfinitesimal calculus as developed in this book relate to t

2017-10-07 05:08:35 1425

原创超实微积打先锋，理论自信做后盾

超实微积打先锋，理论自信做后盾无穷小放飞互联网，4年时间过去了。如今国内有了超实微积毕业生，他们理论自信走向社会去打拼。老实说，超实微积毕业生，人数少，力量大。他们坚信微积分的未来是超实无穷小微积分。至此，超实微积有了接班人。不可否认的事实是，4年来，有人跟进超实微积互联网传播不停步。这批人有了理论自信，坚定了道路自信。如果没

2017-10-06 18:35:27 1310

原创应聘大学教师，超实无穷小功不可没！

应聘大学教师，超实无穷小功不可没！ 2013年6月18日，超实无穷小放飞互联网，至今时间已经过去4个年头了。大学2013级学生已经毕业走上求职的道路。在应聘大学教师的时候，有的应聘者对应聘考官说：“我来贵校应聘的目的是拯救微积分（基本定理）。 ”考官听了这句话，摸摸脑袋，怕自己听错了。停了一会儿，考官对应聘者说：反了，反了！菲氏微积分不要你来拯救。你快走吧！我们

2017-10-06 14:35:33 2204

原创拯救微积分学的基本定理

拯救微积分学的基本定理2013年6月18日，无穷小放飞互联网之后，微积分学的许多重要定理被菲氏微积分的徒子徒孙们在网络上公开玷污（强奸）了、原意扭曲了，令人心痛、可气。怎么办呢？努力拯救之！比如说，微积分学基本定理，这原本是一个基本定理，被这帮家伙说成是一个计算公式，叫什么“牛顿-莱布尼兹”公式，完全掩盖了它的理论内容。袁萌 10月6日附：微积分学基本定理的原文，供参考。第4.2节微

2017-10-06 12:20:19 1727

原创无穷小微积分与Moodle系统

无穷小微积分与Moodle系统2013年6月18日,当我们把无穷小微积分(分章节)制作成袖珍电子书准备放飞互联网时.就想借助Moodle模块化课程管理软件包建立所谓“网络电子阅览室”。后来，考虑到系统承载力的问题，没有继续搞下去。老实说，第一批袖珍电子书的内容选材已经基本确定。对此，我心中还是有些小疑虑，不能完全放下心来。为什么？在国内数学圈子里面，人们对微积分学引进超实数*R的认识不会一致。由于

2017-10-05 17:28:27 1592 1

原创再告菲氏微积分的徒子徒孙，无穷小放飞互联网不可阻挡

再告菲氏微积分的徒子徒孙，无穷小放飞互联网不可阻挡坦率地说，无穷小微积分一旦制作成为袖珍电子书，将其有组织地放入高效内容管理系统（比如，Moodle软件包），大规模推向各高校适当的学习社区（或论坛），搅局传统菲氏微积分小课堂，…….呜呼！大家知道，互联网是个网络教学的大课堂，教学效果得以放大。比如，一元函数的有序偶定义，传播开去，开阔了学生的眼界，站得高，看得远。何乐而不为？经过近五年的努力，无穷

2017-10-05 04:35:31 1655

原创无穷小放飞互联网，第一本袖珍电子书

无穷小放飞互联网，第一本袖珍电子书作为无穷小放飞互联网一个样本，这大概是第一本微积分袖珍电子书。请读者注意该袖珍电子书的布尔巴基学派严谨性、一般性的风格。一元函数的定义：一元实函数是有序实数偶（a,b）的集合f，对任何一个实数a，必然发生以下两种情形：1，恰好有一实数b存在，使得有序实数偶（a,b）属于集合f，在此种情况下，我们说，f(a)有定义，且记为f(a)= b，实数b称为函数f在a的值；2

2017-10-04 19:05:45 1898

原创告菲氏微积分的徒子徒孙，无穷小不是空穴来风！

告菲氏微积分的徒子徒孙，无穷小不是空穴来风！无穷小微积分不是空穴来风，讲科幻故事。在上世纪80年代兴起的微积分改革高潮中，基于公理化的无穷小微积分登上了历史舞台。说话要有凭据，要拿出真凭实据。著名的模型论专家J.Keisler在《Foundations forInfinitesimal Calculus》（无穷小微积分基础）的第15章的前言中给出了说法。无穷小微积分的理论基础很深，需要使用

2017-10-04 12:28:03 2120

原创重返母校怀抱，老同学聚会南京大学

重返母校怀抱，老同学聚会南京大学 2017年10月12日，南京大学数学天文系57级老同学相约聚会母校南京大学，重温少年时代的梦想。六十年前的今天，我从南京市第十中学毕业考入南京大学数学天文系学习数学。记得，数学分析授课老师是何旭初先生，主要参考书是原联菲赫金格尓兹著《高等微积分学》（九大本）以及配套习题集《数学分析习题集》（吉米多维奇）。时至今日，60年过去了，少年变成老翁，每日还在不断唠叨

2017-10-03 14:31:09 2211

原创科技界的看门人—微积分

科技界的看门人—微积分2015年，美国数学会（NAA）公布了一项全国性关于大学微积分的研究报告，提出了一些看法与建议。对我们有一定的借鉴意义。请见文章：“Insights and Recommendations from the MAA National Study of CollegeCalculus””（MAA Notes (2015)）我们说，微积分文盲无缘科技工作岗位，是有一定根据的。该研

2017-10-03 11:41:49 1268

原创创建微积分学电子版，将微积分教学改革进行到底！

创建微积分学电子版，将微积分教学改革进行到底！时代的进步，我们有理由相信：传统微积分教育模式、教员为主导的粉笔黑板模式即将成为过去。什么是微积分学的电子版？是微积分学的.pdf文件吗？当然不是。所谓“电子版”，其实就是电子化的计算机辅助学习系统，特别是网络系统。学习高度抽象的微积分，实现计算机辅助学习？真好像是天方夜谭故事。但是，这是无穷小放飞互联网行动的必由之

2017-10-02 04:31:18 1457

原创无穷小微积分落地生根在中国的现实意义

无穷小微积分落地生根在中国的现实意义据统计，2015年全国普通高中1.32万所，招生796.61万人；在校生2374.40万人，应届毕业生797.65万人。　 2015年全国高校计划招生6999865人，由此可见，如果微积分不下放中学，那么，我国每年大约有一百万应届高中毕业生不能升入大学深造而直接进入社会参加劳动，成为微积分文盲劳动大军的一员。、如此以往，十年下来，社会将积累性的增加近千万微

2017-10-01 15:20:36 1701

原创无穷小微积分落地生根在中国的可能性分析

无穷小微积分落地生根在中国的可能性分析据统计，2015年全国普通高中1.32万所，招生796.61万人；在校生2374.40万人，应届毕业生797.65万人。普通高中教职工254.32万，专任教师169.54万人，生师比14.01:1，专任教师学历合格率97.7%。现在，我们把目光聚集在普通高中专任数学教师身上，他们大约有十万人左右（估计数）。平均而言，这批数学教员都是“80后”，喜欢上网、玩手机

2017-10-01 09:39:21 1174

原创无穷小微积分落地生根在中国，我们要有数学基础理论的自信！

无穷小微积分落地生根在中国，我们要有数学基础理论的自信！无穷小微积分教材（公理化方法）的作者J.Keisler的老师A.Tarsky是研究数学真理的先驱人物，他的著作回答了一个基本问题：在数学中，“真”（True）命题是什么？考虑句子集合：S = { 0ε，0ε。0ε1/3，…，0ε，… } 其中，n代表自然数我们容易想到，句集S的任意有限子集S’必定是真的（有模型），那么

2017-10-01 02:51:19 1556

袁萌专栏