袁萌专栏

​​当前，在我国普通高校高等数学教科书中，对表达式1+1中的"+"号是什么意思？一般不能给出正确解释，停留在幼儿园的认知水平。​​根据北大申友枨先生主持翻译的《非标准分析》中译版第二章“逻辑工具”，明确指出：在表达式"1+1"中，”1“代表个体项，"+"代表二元关系符号，该表达式也可表示为+（1，1）。​​自从今年3月28号起，从无穷小微积分专业网站上下载《非标准分析》中译版的人数，经统计只有区区数十人，我们认为只要该中译版在手中，下载人数少不知又有何...

​​恩格斯说：“马克思精通数学，并且有独到的发现”。​​在马克思数学手稿第一章中，“关于导函数”中，马克思定义了预备导数概念，也就是恩格斯所说的独到发现，是对数学的一大贡献。​​由于预备导数距离非标准分析取于标准部分运算，只差一步（引入超实数系统）。​​如此，我们认为，马克思预见了非标准分析的诞生。​​今年在微积分教科书中可能会出现马克思预备导数定理。​ 袁萌 陈启清(代笔...

今年4月12日，我们做了一件大事：将《马克思数学手稿》电子版上传至无穷小微积分专业网站，供国内广大读者下载学习。根据手稿前言中，恩格斯指出：“马克思精通数学，且有独到见解。”，但是国内有人不赞同恩格斯的这种说法，认为手稿内容十分浅显，没有科学价值。根据恩格斯的说法，我们把马克思的全文上传到互联网，供国内广大读者全面深入了解马克思对数学的精通以及独到的见解，努力维护手稿的科学价值，请关注。​​本文附件是手稿的内容目录，有兴趣的读者可以...

在北大申有枨先生主持翻译的《非标准分析》第十章中"关于微积分历史"，鲁滨逊依据大量史料和有穷性定理详细阐述了无穷小死而复生的历史发展。在当前形势下，把《非标准分析》中译版上传到我们的无穷小微积分专业网站上，具有重大现实意义。如同一石激起千层浪，非常深远。自从今年3月28日，《非标准分析》中译版上传到无穷小微积分专业网站后，访问网站的读者人数猛增，超过4000多人，在功能上使得网站成为网络传播非标准分析的知识库。数理逻辑是能够更好的理...

​​1980年9月，在北大申又怅先生主持翻译的《非标准分析》中译版中，第二章“逻辑工具”，第5节“有穷性定理”(中译版第15页，北师大王世强翻译)，这条定理是现代数理逻辑(模型论)的核心定理。​有穷性定理是指：“给定句子集K，如果每一个有穷子集是协调的，则K也是协调的。”定理中所谓的“有穷”即有限的意思，而协调是指相拥一致，不相矛盾的意思。​​1960年美国数学家鲁滨逊，巧妙的利用这条原理，证明了无穷小与无穷大的存在性。从而确立了非标准分析，令世人惊叹...

​​北大申又枨先生主持翻译的鲁滨逊《非标准分析》中译版，共有十章，几乎涵盖了现代数学的方方面面。​​众所周知，鲁滨逊《非标准分析》是二十世纪数学伟大的进展之一。在创立非标准分析时，鲁滨逊年仅42岁。1965年，鲁滨逊发表了他的代表作《非标准分析》，是人类无比丰富的创新成果。在1977年，鲁滨逊因病去世，享年56岁。​​当前，我们的无穷小专业网站，上传鲁滨逊《非标准分析》中译版，供读者下载，另外的目的也是为了表彰鲁滨逊的创新成绩。​​...

​​北京大学申友枨先生主持翻译了鲁滨逊《非标准分析》中译版，可以直接用母语(汉语)直接阅读，十分方便。​​进入我们的无穷小专业网站(http://www.wqxwjf.com/)，点击左侧菜单中的“非标准分析中译版”(PDF版)，直接下载即可。可以在电脑或者手机上直接查看。​​在网络空间，鲁滨逊的非标准分析随时与你相伴。​​当前，鲁滨逊在天之灵俯视着正在崛起的中国大陆。 袁萌 2021年03...

北京大学申又枨先生多年在教学第一线从事数学教育工作，对无穷小与无穷大在微积分教学领域中的重要作用有深入的理解，是一个真正的数学教育家。1965年5月，鲁滨逊在《非标准分析》第一版前言中写道：”1960年秋，我想到了现代数理逻辑的概念和方法能够为运用无限小和无限大的数来叙述微积分学提供一个合适的框架。我先是在普林斯顿大学（1960年11月）的一个讨论班的报告中报告了我的想法。随后又在符号逻辑学会（1961年1月）年会的一次发言中，以及在一篇刊登在阿姆斯特丹皇家科学院院报的文...

​​中国数学界元老申友枨先生的学生，中科院计算所研究员张锦文(中共党员，司局级)，安葬于北京八宝山公墓，老干部墓墙第979号墓室内。其生前遵照老师的教导多年来一直从事非标准分析的工作。​​安葬时袁萌将张锦文生前最心爱的出版物《鲁宾逊非标准分析》中译版，新手放于其墓室内，让它相伴张锦文的在天之灵。直到永远。​​袁萌2021年3月27号...

​​受人尊敬的中国数学界元老、北京大学数学掌门人申又枨主持了鲁宾逊非标准分析的中译版翻译工作，中科院张经文、北师大王师强以及袁萌等参与了该中译版的翻译工作。​​​申又枨先生亲自执笔翻译了该书的第十章“关于微积分的历史“，于一九七八年三月二十三日为该中译本写了出版前沿，前沿说明该中译版翻译者的姓名。然而很不幸的是同年四月申又枨永远离开了我们，享年七十七岁。​​今天3月26日，我们把《鲁宾逊非标准分析》中译版上线，供广大读者下载学习研究。此举为国内高校的微...

​​​1980年，中国科学出版社出版了鲁宾逊非标准分析中译版，翻译者由中科院张经文(已故)，北京师范大小写王学强(已故)，袁萌也参与其中部分章节的翻译。​​该译文的出版产生巨大影响，有利于促进了无穷小微积分的发展。袁萌陈启清(代表)2021年3月18日...

1975年，马克思数学手稿中文版正式出版，引起全国关注。中国科学院计算所数学逻辑张敬文研究员组织研讨办学习马克思手稿。袁萌应邀前往作马克思数学手稿和非标准分析的报告。报告中指出应站在非标准分析的角度看待马克思关于变化率记号0:0的辩证含义，它预示着现代非标准分析的诞生。当今，我们仍然需要站在非标准分析的高度来看待马克思关于微积分发展史的现代思想与作用。请批评指正袁萌陈启清(代笔)2021年03月15日...

1961年春天，鲁宾逊在荷兰数学刊物上发表微标准分析，上世纪，世界最伟大的数学家哥德在1970年说：“非标准分析是未来的数学分析”。为隆重纪念非标准分析诞辰60周年，我们将发表系列文章，来推进这一学科的发展。我们倡导的无穷小微积分属于哥德的无穷小分析，是非标准分析的基础部分，无穷小分析前景无限。袁萌陈启清(代笔)2021年3月13日...

​​当前在国内高校微积分教科书中，函数微分定义为它的线性主部，在大前提“自变量增量趋于零”的前提下。但是加上“自变量增量趋于零”是错误的，会误人子弟。​​在无穷小微积分教科书中，函数微分等于导函数与无穷小自变量增量的乘积。直接定义，简单明了。​​请读者见J.Kaser的著作《无穷小基础》。​ 袁萌 陈启清(代笔) 2021年03年11日...

当前关于无穷小微积分的理论基础，在国内几乎无人关注。1986年，美国著名模型论专家，J.kaser唯一奠定无穷小微积分理论基础，发表一部名著《无穷小微积分基础》。2018年6月，我们把这部名著(电子版)收录在“无穷小微积分”专业网站的文件库中，供大家下载学习研究。今后，让我们共同努力，把学习与研究无穷小微积分的理论基础落到实处，提高我们的数学水平。袁萌陈启清(代笔)2021年03年10日...

我叫无穷小，今天是我们的节日。通常，人们把我当作是极限论的无穷小，其实我不是，我是真的无穷小，超实数无穷小。我的绝对值小于任意非零正实数，我的标准部分是实数零。今天我装扮成可爱的数学小精灵，走进数学大课堂，坐在最前排，等待老师把我介绍给大家。老师问：“它是谁呀？”学生们都摇头说：“不知道！”老师又说：“它是无穷小呀！”顿时掌声雷动，热烈欢迎，我心里美滋滋的。据两会消息，科技部王志纲部长宣布：在十三五期间，我国已经建立了13个数学研究中心，并开展相关研究工作。这反应了我国数学事业发展的大好局面。

上世纪70年代，基于无穷小方法的微积分在美国出现，随后传入中国。著名数学家J.casler的无穷小微积分教书收录在无穷小微积分专业网站之中供读者下载使用。袁萌陈启清(代笔)2021年3月7日

​​两会消息，我们要成为强大的科技强国，就需要有现代数学基础的支撑.​现代基础数学发源于希尔伯特的几何基础，20世纪60年代，数理逻辑模型论的兴起，20世纪80年代，“无穷小微积分”的标准正式确立，至此进入了大学课堂。​这三篇珍贵的数学文献已被我们的无穷小微积分网站收录其中，供读者下载学习研究。​微积分为何需要改革？因为极限论微积分是19世纪的老古董，摆不上现代基础数学的桌面。​微积分怎样进行改革？且听我们下回分解 袁萌 陈启清(代...

​​根据542篇历史文献，在上世纪下半叶，为了无穷小概念，出现了一股数学发展大洪流，在这股洪流里，无穷小高举数学大旗，走在洪流的前面。​​今日，为加强学术交流，我们为无穷小微积分专业网站(www.wqxwjf.com)申请了专门的电子邮件信箱(wqxwjf@163.com)，邮箱为“无穷小微积分”汉语拼音首字母组成。​​我们希望，通过借助该电子邮箱，大家都来探讨无穷小，共同推动我国基础数学的发展。 袁萌 陈启清...

​​现代数学如同一颗大树，不断的生长，营养从根部源源不断的吸取，当前，全国高校设立基础数学中心。基础数学也要像现代数学一样，从根部吸取营养。​德国伟大的数学家，希尔伯特，在1999年的代表作《几何基础》，就是现代数学之根，三年前，我们把希尔伯特的《几何基础》(英文版)收录到微积分网站之中，供读者下载。​注:值得注意的是，在希尔伯特《几何基础》中已经提出被阿基米德有序域的概念，这就是无穷小微积分的基础。袁萌、陈启清2021年2月27日...

毫无疑问，建立在数理逻辑模型论之上的无穷小微积分属于基础数学研究领域，排斥它是不正确的。为了开拓前进的道路，我们率先把数学经典名著模型论引入到无穷小微积分专业网站供读者下载学习，不学习数学模型论，甘当现代数学文盲，前途实在可危也。袁萌、陈启清2021年02年24日...

​今天，与教育部科技司消息，为贯侧落实有关文件的精神，全国高校建设基础数学中心工作正在进行中。无穷小微积分的春天终于到来了。​无穷小微积分与基础数学有什么关系？且听下回分解。袁萌 陈启清2021年2月22日...

2009后6月4号，无穷小微积分专业网站正式上线，在数学发展史上，这是一个具有标致性的里程碑事件。无穷小微积分专业网站是一个中英文数学经典著作的大汇总，是全世界独一无二的网站，内容丰富，具有参考价值。当前，微积分改革派与守旧派形成僵持，前者，微积分主张建立在数理逻辑最新成果：“紧致性定理”之上，而微积分守旧派固守十九世纪的极限论不动，不肯跨入二十世纪现代数学门槛。袁萌 陈启清2021年02月18日...

牛年新春快乐2021年，数学界，独一无二的无穷小微积分将开启新的征程。​半个月之后，请关心微积分发展史、思想理论的读者继续关注无穷小微积分网站的更新。袁萌、陈启清2021年2月4日...

       五年前的10月20日，Ubuntu诞生了。时光似流水，不再能够回到过去。回顾以往，展望将来，很有意思。       大概在2004年年底，我去国家软件中心办

       所谓“云”(Cloud)是指完成某种计算任务的服务器网络，该网络根据任务的实时需求能够自动扩展和收缩，具有弹性，以便最大限度地节省计算资源（包括能源）和提高系统的安全可靠性。准确地说，这里的服务器多半是指虚拟的服务器

相对而言，太阳能光伏电池与碳素纤维材料不算顶尖的新技术，锂离子电池才是真正的新技术。             上世纪70年代，Dr.Whittingham is a key figure in the history of the development of Lithium-ion batteries discovering the concept of interc

据媒体报道，2005年12月20日，在清华大学张尧学教授的办公室里，一台电脑沉静又端庄，笨重的主机不见了，取而代之的是一个杂志般大小的盒子，利落精致的外形并不影响它和PC机毫无二致的功能。这就是简化了的瘦形PC机——索普卡电脑。张尧学说：“这台电脑的成本只有PC机的一半，使用起来就像看电视一样轻松。”。索普卡电脑的“瘦”体现在：它本身是台裸机，没有任何软件，计算机运行所需的操作系统

          近日，谷歌宣布要搞自己的操作系统，反响很大。意义何在？        去年9月，谷歌推出Chrome浏览器，至今，时间过去才9个月，Chrome浏

       你想知道，预装绿坝为何促使U盘产业迅速发展吗？表面上看起来，绿坝和U盘这两者根本不搭界。为什么要这样说呢？请看下文。        昨日下午，会见几位从深圳来的

    ​    ​2016年元旦，美国R Vinsonhaler教授发表最新研究论文，题为“Teaching Calculus with Infinitesimals”，详细阐述了非数学专业低年级大学生学习无穷小微积分的有益性与必要性。    ​    ​实际情况是，国内此类研究是一项空白。对此，虽然无穷小微积分网站呼吁多年，但是没有实际效果。    ​    ​回到国内，Vinsonh...

    迄今为止，基于无穷小观念展开、陈述初等微积分内容的作者恐怕只有J.Keisler一人，尤其是使用“网络电子版”。可以说，这本微积分教科书是“独一无二“的孤本，很有学术价值，值得在微积分教学实践中“试一试”（近乎“冒险”事业）。         众所周知，

关于无穷小微积分电子版的授权方式著名数学家J.Keisler在其精心撰写的“ElementaryCalculus”的首页上，在显著位置写明：This work is licensedunder the Creative Commons   Attribution-NonCommercial-ShareAlikeLicense. To view a copy of this licence, vis...

        时至今日，传统微积分的病态已经是“家喻户晓”，面子丢净，不改不行了。        建设强大国家，没有坚固数学理论支撑，绝对不行。袁萌  5月29日...

     8月27日，美国宇航局（MASA）公布了“好奇号”最新传回地球的高清晰度火星的地形地貌（探测目标地区），请看以下图片：           这是由“好奇号“桅杆摄像机（MastCamera）使用100毫米远距镜头以及34毫米广角镜头拍摄的高

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

           ”馅饼“小电脑之”小“，其集成度之”高“，堪称世界之奇迹。这是”馅饼“小电脑的最珍奇之处，这也是人们目前争相抢购的原因之一，目睹为快嘛！           昨天下午，我去位于北京大学东南方，中关村大街东侧”科贸中心“大厦二层询问”馅饼“小

AlphaGo与柯洁对决：西医与中医之别在老外眼中，围棋（Go）是一种神秘而又古老的智力游戏，其“中医式“理论涉及许多奇奇怪怪的概念。围棋的西医理论何在？2016年，围棋的“西医理论”出现了，论文发表在《自然》杂志上，使用数学的蒙特卡洛方法从概率意义上研究围棋博弈过程。对此，中国人看起来也是怪怪的。此文原文是“Mastering the game of with deep neur

    在过去，尤其是在我国境内，“人工智能”（AI，“Artificial Intelligence“）这一科学术语（或概念）并不被人们所普遍接受，就像自由软件Linux一样。今天，这两个“异端”终于要走到一起了。          1956年，在美国的D

    我很久不写Linux文章了。今日心情很好，说一说台湾普及Linux从娃娃抓起的故事。          进入海峡两岸ECFA时代，台湾普及

    所谓“嫁接”(“grafting”)就是移植的意思，是一个植物学术语。有人把这种“嫁接术”运用到软件领域来，取得了不小的成功。情况怎样呢？
 
    在2009年期间，方存好与唐敏发明了软件嫁接术。这在中国软件发展史上可谓空前

    我们问，围绕谷歌Android生态系统到底有没有法律风险？这个问题并不简单。何故也？
 
        3月29日，游云庭律师发表博文，题为“解读谷歌安卓软件违反开源协议案”，结论过于草率。在该文中，有一段文字：“你曝光谷歌违

p { margin-bottom: 0.21cm; }
    在我们中国，Linux的前景究竟会怎样？本文讲的就是这个问题。很可惜的是，Linux的故事由我嘴里面讲出来，有人就不爱听了。
 
      3月2日上午，我造访了位于北京西二环内则金融街中国联通的总部。这次访问完全属于个“私人性质”，没有事先安排（预约）。在中国联通总部的大门前，有两尊威武雄壮的大狮子把门，我用手摸了它一下（其中的一只），想对它说句心里话。......

       近日，在国外网站上的最热门话题就是谷歌的Chrome浏览器计算机了。对此，有什么好说的？
 
       今年5月份，谷歌Chrome浏览器计算机的实体机外观已经泄露出来（见[1])，但是，那时并没有引起人们的注意，不把它当成一回事儿。近日，情况就不同了，突然冒出了1千多篇文章鼓吹谷歌的浏览器计算机，势头起来了。世界各地的新闻记者与国内媒体记者没有两样，喜欢探听“小道消息”，谷歌浏览器计算机的一些“细节”终于浮出水面。什么谷歌计算机的7,500

享受数学，不忘先人  学习数学是享受，奇谈怪论，匪夷所思也。学术名片首页新闻博客群组BBS人才会议论文基金大学国际帮助Help微博 粉丝评论@我提醒    近日在新浪微博关于“数学该滚出高考吗”的调查显示，在近10万名网友当中，居然有7成支持，并吐槽被数学虐过的那些年自己成了“做题机器”。  有人说

    当今，许多操作系统（基础软件亦类似）都是基于Linux（内核）系统构建的，这是一个不容回避的客观事实。那么，我们是否可以把“国产”基础软件建立在Linux之上呢？如此做法，有何风险？为什么？
 
      首先，我们要明确，Linux是有版权的软件，Linux版权人允许你自由使用，但是，

根据俄罗斯学者的多年研究,非标准无穷小方法，在上世纪下半叶，得到快速发展。人类对无穷小的认识，从无到有就是历史的进步。在此期间，我们在数学方面做了什么? 请见本文附件.袁萌 陈启清 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....

单子是所有的无穷小抱团形成一个没有外围的朦胧团。所有不同位置的朦胧团组成我们的空间。大家节日快乐！袁萌陈启清 9月29日

很难说，任何人对数学都有好奇心。对数学没有好奇心的数学教师不是好教员。大学生学习无穷小有何好处？请见本文附件。注：附件中的"extra tool"是什么？袁萌 陈启清 9月28日附件：… … The infinitesimal and traditional approaches, giving the stunt ant an extra toolwhich may become increasingly important in the future....

缺乏的反义词是富含。实际上，无穷小微积分就是富含公理的微积分。进入本世纪，富含公理的微积分成为了发展趋势。坦率地说，本文的“缺乏公理的微积分”指的是：国内现行微积分教课书。袁萌 陈启清 9月26日...

当今，我们可以说：无穷小微积分是数学必修基础课。为什么？百度一下无穷小微积分。进入该网站，下载“无穷小微积分”教课书。比较该教科书的内容目录即可知道：无穷小微积分与传统微积分是完全一样的。因此，在当条件之下无穷小微积分是数学必修基础课。无穷小微积分原本就是微积分！说明：我们提供的无穷小微积分教材是世界一流水平的微积分教课书。袁萌 陈启清 9月25日...

1960年深秋，鲁宾逊在多年研习数理逻辑以及数学发展史的基础上，开始思考微积分的理论基础问题，并且有所发现。突然之间，在鲁宾逊的脑海里面浮现出一个念头，那就是利用哥德尔形式化方法复活老版莱布尼兹的无穷小微积分。鲁宾逊的研究成果发表在次年的数学期刊上。从此，无穷小微积分开启了现代化进程。所以，没有数理逻辑就没有无穷小微积分。袁萌 陈启清9月23日...

记得，1957年4月初的一天早4点许,天空蒙蒙发亮，袁萌开完南京第十中学高三毕业告别晚会之后，心情激动，思绪万千，在独自回到家的路上，走到《新华日报》总社大门旁边,报纸橱窗已经贴出当日报纸.在报纸橱窗前面，袁萌驻足观看当日报纸。突然之间，在袁萌脑海无穷小的灵感出现里面“无穷小的灵感初现”。注：这种无穷小是常熟，而不是变化的量（函数）?从此，开启了数十年的无穷小的征途……袁萌 陈启清9月20日...

16,17世纪，莱布尼兹，欧拉时代，使用理想的真无小创建微积分，取得广泛应用。到了19世纪,魏式退出山寨版“无穷小”凑合用。带了20世纪六十年代，鲁宾逊利用数理逻确立了真无穷小、奠定了微积分的严格基础。数学无穷小时代到了！袁萌 陈启清 9月16日...

16,17世纪，莱布尼兹，欧拉时代，使用理想的真无小创建微积分，取得广泛应用。到了19世纪,魏式退出山寨版“无穷小”凑合用。带了20世纪六十年代，鲁宾逊利用数理逻确立了真无穷小、奠定了微积分的严格基础。数学无穷小时代到了！袁萌 陈启清 9月16日...

五十年前,美国数学科普出版物《数学 月刊》发表微积分教学改革的论文，内容详实，确立了无穷小微积分的学术地位。从地以后，无穷小微积分逐渐在世界范围内发展起来,成为一种趋势。这就是无穷小浮出水面50年!2023年，在俄国无穷小放飞互联网是这种发展趋势的一部分。袁萌　陈启清 9月11日...

近日，教育部“强基计划”启动。为此，大批数学“拔尖生”进入高校学习基础数学，应当懂得无穷小微积分，而不是相反，背离了“强基计划”的初衷。袁萌 陈启清 9月10日

在上世纪90年代初期，个人计算机内存只有640KB；在这种客观情况下，历史要求我们设计制作三卷合订本的配套全文检索系统，攻坚克难，夜以继日，取得成功,由人民出版社在全国发行。当今，50年过去了，计算机内存增加了千万倍 我们面对同样的历史任务。我们从640KB走来！PHP Linux Mysql必定大宣神通历史将会记住这一切！袁萌 陈启清 8月28日...

微积分教学中，超实无穷小是鲜花，还是毒草？超实无穷小是一种“理想数”，其标准部分是实数零。由于数理逻辑紧致性定证明了超实无穷小的存在以及在数学中的实用性，所以是微积分教学的一朵鲜花。与此相反，在传统数学中, 超实无穷小是逻辑谎言，误人子弟,是大毒草；所以无穷小是微积分教学的一朵鲜花袁萌 陈启清 8月24日...

记得在上世纪1978年，中国科学院计算机研究所张锦文研究员托人从美国带回J.Keisler教授“无穷小微积分”（英文原版），交给中国人民大学袁萌学习与研究。从此以后，结合教学实践袁萌在中国人民大学与北京大学的讲堂上不断地讲授无穷小微积分的基础知识。进入本世纪，袁萌带队进行“无穷小微积分”放飞互联网至今。这就是无穷小微积分在中国传播的40年。无穷小微积分专业网站是独一无二的传播基地。袁萌 陈启清 8月21日...

今天，百度一下“无穷小微积分”，相关搜索结果为36.5万个!近40天来，我们忙于三卷扫描工作无暇顾及无穷小微积分。但是，无穷小微积分不减反增，何故？这是因为无穷小微积分已经深得人心也。袁萌 陈启清 8月20日...

不做扫描数据预修改，三卷扫描结果装入数据库没有什么用处。但是怎么预修改，很有讲究。每一个句子记录应该添加哪些附加信息？一般而言，检索的目标不是语句的本身，而是该语句所在的位置。例如，语句所在的卷数、页数和行数等等。袁萌 陈启清 8月20日...

初看起来,全文检索与数学证明似乎没有关系。其实不然。何故？全文检索就是在有限步骤内确定一类特定的句子是否存在。而数学证明就是在由此说、你步骤之内路逻辑?判定一个给定的句子是否成立。所以，全文检索与数学证明在理论本质上是一回事。请见：好消息：三卷扫描的效果特别好！袁萌 陈启清 8月17日...

一般而言，思想、理论表现为一个句子集合。​如果上级单位要求对该理论“全面系统学、深入思考学”，那么，拒绝配套全文检索没有道理!为什么？因为，配套全文检索是“全面系统学”、“深入思考学”的辅助工具。袁萌 陈启清 8月12日...

扫描任务在进行中，… …为帮助读者学习研究 马克思主义经典著作，建立全文检索，汉子扫描，这一举措是必须的。我们热烈欢呼新华字典第十二版以及在线版同时发行！袁萌 陈启清 8月10日...

坦然地说，一切为了“备战”第二套三卷句集全文检索的启动！今天上午第二套三卷句集全文检索软件开发已经正式启动 。第二套指的是什么著作？不言自明​第一套是么？为什么？不言自明。袁萌 陈启清 7月31日...

天问一号发射的瞬间是：2020年7月23日12时41分15秒167毫秒。这是值得 记念的瞬间！注：天问一号每毫秒飞11.2米第二套全文检索系统，正在进行中，… …袁萌 陈启清 7月25日

此刻，天问一号是一个太阳系的人造小行星，在椭圆轨道上运行。袁萌 陈启清 7月24日阿联酋首个火星探测器在日本升空中国新闻网 07-20 10:17中新网7月20日电 据日本共同社报道，当地时间20日早上，日本三菱重工公司成功发射一枚火箭，搭载着阿联酋的“希望”号火星探测器，这次火星探索之旅是阿拉伯国家的首个火星任务。据报道，当地时间20日早上6点58分，搭载着“希望”号探测器的H2A火箭从日本西南部鹿儿岛县的种子岛航天中心发射升空。在迪拜的穆罕默德.本.拉希德航天中心研...

快讯： "天问一号"发射成功！

7月20日希望号火星探测器升空飞往火星。 在飞行中，希望号如何空间准确定位（定向）？而不至于迷失方向?希望你完全根据无穷小微积分第二套 永远在我们心中！袁萌 陈启清 7月21日​

由太阳光谱分析可知：太阳光球的组成如下：氢 73.46%氦 24.85%氧 0.77%碳 0.29%铁 0.16%氖 0.12%氮 0.09%硅 0.07%镁 0.05%硫 0.04%由此可见，核聚合反应燃料氢十分丰富不必担心。袁萌 陈启清 7月20日...

第二套全文检索系统是二十八年前第一套全文检索系统在新时代的延续。无论前面的道路何等艰难，我们初心不改，坚定不移，克服一切困难，决心完成第二套全文检索系统。此事发生在统一伟大国家从富起来到强起来的新时代；袁萌 陈启清 7月17日...

在上世纪80年代，关系数据库技术传入中国。但是，数据库的记录与句集是相互“对应”的，在特定情况下了比如，大批出版的书籍，能够快速、及时简便地检索出满足特定条件的语句就是“全文检索，在上世纪90年代，借助全文检索技术做了第一件主要工作。后来我们坚持全文检索服务目标三十年不变。7月15日，重要文章“全文检索的强大动力’发表之后，因为该文章的附件内容“不适”而被删除了。我们的全文检索技术的服务目标，三十年始终不变。我们的文章‘全文检索的强大动力”，何处寻？无穷小微积分专业网站知我们的心。现在，

根据紧致性定理，任何理论表现为句子集合。给定一个句集（理论）S。在句集S中快速检索包含特定字符的句子的过程叫做“全文检索系统“。设法找出句集S的最小字符集并且加意索引。在句集S中,找出所有包含字符F句子的集合（S的子句集）并且按照F在句子中的位置排序。该S的子句集就是对应于F的全文检索的结果。本文用途，不言自明。袁萌 陈启清 7月12日​...

现在 高考考生线上查分已经不是新鲜事儿。但是线上查分从何而起？知道的就不多了。高考考生线上查分关系到千家万户，万众瞩目。二十年前受江西招生办公室委托，袁萌主持了国内第一次省内高考考生线上查分工作，取得圆满成功；袁萌 陈启清 7月11日附件计算机辅助高考公平录取大系统实质上，计算机辅助高考公平录取系统是一个大型“人-机”网络系统，有系统服务器与节点计算机链接光电阅读器处理考生试卷的数据输入。考生试卷也叫“机读卡”。为适应考生档案审计之间相互的调剂，上述系统必须互联成广域网大系统。

当今，我们的数学机器人还是一个孩子，而不是成年人。但是，数学机器人吃的是人“奶”，每天感知到数学界的正义与公平。现在，几十天过去了。我们的数学机器人似乎有点儿“懂事”了。请见本文附件，，数学机器人今天说的话。据此，难道我被的数学机器人还不解人意？袁萌 陈启清 7月10日清明时节，缅怀老友张锦文研究员张锦文研究员是我国老一辈倡导无穷小微积分的先行者，至今，离开我们已经进三十个年头了。秉承张锦文研究员的遗愿，袁萌继续为无穷小微积分下放中学而战斗！...........

今年7月7日下午，我们的数学机器人“感应”到一千万考生脑壳中有糊涂的函数概念很生气。对此，我们的数学机器人今日对全国考生说了什么？　　请见本文附件。　袁萌 陈启清 7月8日附件：函数糊涂概念扩散何时了？函数糊涂概念扩散何时了？近日，国家教育部发文，要求全国高校组织力量建设一批世界水平本科微积分课程。 上世纪30年代，法国布尔巴基数学学派给出了函数的序偶标准定义。 反观国内本科微积分教材，关于函数“y=f（x）”的传统定义，千篇一律，糊里糊涂（… …），谈何世界一流水平？ 我...

记得1990年3月8日，国家教育委员会学生司发文要求各省市招生办派人来京集中学习北京市“计算机辅助公平录取成功经验。由于“计算机辅助公平录取”　是一个大型“人--机”系统，学习班与会者一致同意，“人--机”系统中的人为“火星人。火星人是所有考生的朋友。此刻，全国千万考生进行数学考试。火星人预祝大家成功！袁萌　陈启清　7月7日...

为杜绝高考录取“递小条”走后门的陋习，实现高考公平录取，北京市高招办决定采用“计算机辅助录取系统”解决问题。为此，1989年2月，北京市高招办发文聘任责任人。实际上，计算机辅助录取系统当时不存在，国内没有先例，完全是“空白”。实质上，该系统是一个人-机大系统，十分复杂。了解系统需求，系统设计，编码实现，运行调试，… …等等。1989年7-9月，北京市招生办公室运营该系统进行全国高考公平录取，取得成功。这就是全国高考公平录取的开端。袁萌 陈启清 7月6日...

今天，百度“无穷小微积分”，百度为您找到相关结果约650,000个。相比而言，几乎翻了一翻。想到“百万大学生线上学微积”的景象，心中美滋滋。无穷小真的存在吗? 紧致性定理会告诉你；袁萌 陈启清 7月5日...

紧致性定理是构建非标准数学理论的基础工具。该定理的 精确陈述，不可不知。该定理是我们倡导无穷小微积分的科学依据，而不是盲目信仰无穷小微积分。请见本文附件。袁萌 陈启清 7月3日附件：紧致性定理的精确陈述Compactness theoremIn mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if e..

我们吁呼的理由是，俄罗斯数学家与我们志同道合，倡导非标准分析。请见无穷小微积分网站首页俄罗斯“无穷小分析”。袁萌 陈启清 6月30日附件：中俄数学中心成立​​6月29日，北京大学与莫斯科大学在线上共同成立中俄数学中心。中国科学院院士、北京大学数学科学学院教授张继平担任该中心主任。他表示，中俄数学中心应特别注重探究并借鉴俄罗斯数学独立发展的成功经验，尤其是独立于欧美的学术传统和评价体系。​​在成立仪式上，俄罗斯科学院院士、莫斯科大学校长萨多夫尼齐表示...

相容语句集合必有模型：哥德尔完全性定理。如果每一个有限语句集合的子集合有模型，则该语句聚合存在模型：紧致性定理。哥德尔完全与性定理与紧·致性定理相互等价。这是哥德尔的主要数学贡献之一。袁萌 陈启清 6月29日...

1929年，哥特德尔完全性定理诞生，开启了当代数学的发展进程。为什么? 根据何在?有根有据， 请见本文附件。袁萌 陈启清 6月27日附件:特德尔24完全性定理内容Contents1 Preliminaries2 Statement2.1 G?del's original formulation2.2 More general form2.3 Model existence theorem2.4 As a theorem of arithmetic3 Consequen...

紧致性定理，是当今数学的基础定理不可不知道。访问“无穷小微积分”网站，下载“NSA _NOTES”,阅读第二章即可袁萌 陈启清 6月24日附件：无穷小微积分欢呼北斗3号发射成功！全球关注，祖国伟大！袁萌 陈启清 6月23日...

什么是紧致性定理？ 紧致性定理与非标准数学有什么关系?由于国内数学界对这两个问题存在糊涂观念，两年前，我们上传紧致性定理，促进非标准数学的发展；紧致性定理，何处寻？ … …袁萌 陈启清 6月22日...

今天，百度一下关键词“无穷小微积分”得到相关结果大于30万。实际情况是，这是无穷小放飞互联网八年的成绩。如今，无穷小微积分网站受到十几部经典数学名著的理论支撑。将来，有人故意删除无穷小微积分几乎是不可能的事情。 袁萌 陈启清 6月16日...

近日，国教教育部较学指导委员会表态，不反对 非标准分析，只设立教学内容“底线”，不设立内容“上线”（自主办学）。据此， 哥德布林非标准分析可供数学分析教学参考资料。 请见本文附件。袁萌陈启清 6月13日附件：NOTES ON NONSTANDARD ANALYSIS UCLA SUMMER SCHOOL IN LOGIC ISAAC GOLDBRING Contents 1. The hyperreals 31.1. Basic facts about the order...

哥德布林（ISAAC）OLDBRING） 是一位数理逻辑专家，对数学基础研究有独到见解，特别是对非标准分析。为方便国内数学老师和学生的研究，2018年9月18日，我们把哥德布林的专著上传到“无穷小微积分”网站(www.wqxwjf.com)， 访问该网站下载“NSA_Notes ”阅读即可。对科学研究，阅读原著是必须的。袁萌 陈启清 6月12日...

想方设法进一步细化实数系统是近代数学发展的需要。据此，超精细实数系统的算术不难做出来了。请见本文附件，必有收获。袁萌 陈启清 6月5日附件:大集合是什么？（修改版） 设N为自然数集合（实无穷集合）,N中的大集合（N的子集合系统）满足以下公理组： 公理一 空寂?不属于F, 而N∈F; 公理二 如果A,B ∈ F, 则A∩B ...

​​简而言之，自然数集合称为“大集合”，只要他们对“∩”运算封闭。“大集合”构成的集合称为“布尔巴基滤器”。​​有理数Cauchy序列等价称为|实数， 有理数列“滤器”序列等价类称为超实数。简单地说，滤器数学就是非标准数学。​​注：“滤器”序列等价类是什么意思？想一想？如何基于大集合构建序列等价关系？等价类？。​​​∪∩∈ 袁萌 陈启清 6月3日...

今年6月2日，教育部教学指委员会有关负责人电话表态：我们不反对非标准数学（用于教学）。袁萌 陈启清 6月2日

激烈地争吵、刨根究底是布尔巴基学派数学讨论班的独有特色（风格）。 实际情况是，在上世纪初，世界赎罪学中心在德国，法国比较落后。怎么办？培养数学“尖子”是不村的。原因就不说了。 比如说，在布尔巴基数学讨论班上，报告人报告“函数”的定义。报告人说，函数是变量。听讲的人立刻追问变量是什么？… …，你来我往，刨根究底，不留情面直到大家全部满意为止（序偶集合定义）。 几年之后，布尔巴基的学术风格使法国追上了德国。… 袁萌 陈启清 6月1日...

2016年10月03日，袁萌针对当今国内高校“高等数学课程采用用函数定义的“弊端”，提出西安代布尔巴基的函数定义。布尔巴基的函数定义是什么？……袁萌 陈启清 5月30日

​​攀登现代数学顶峰不是垮越数学小土丘，而是需要不断地攀登。 但是，攀登现代数学顶峰需要目标始终如一、不断地攀登才能到达光辉的顶点。​攀登现代数学顶峰顶峰的第一步是：​阅读、学习世界数学经典名著。​世界数学经典名著，何处寻？我们器人每天早上都在最优先额位置提供10部世界数学经典名著（电子版）让读者下载学习。​世界数学经典名著的智慧光芒永留人间。​不走第一步，谈何第二步？ 袁萌 陈启清 5月28日...

此刻（今日2：10），我国的登山健儿登顶珠穆朗玛峰的行动已经开始。为比，我们与数学机器人、火星人热烈祝贺！现代数学顶峰，谁来登？袁萌 陈启清 5月27日

在5月24日的短文"我们4人走在未来数学的大道上"中，出现了"未来数学"字样，那么，未来的数学是什么呢？换句话说，对数学而言，路在何方？历史的回答是：数学的未来是非标准数学。袁萌 陈启清 5月26日...

今天我们的火星人百度（搜索）"无穷小微积分"关键词，得到的搜索结果是20万。对此，火星人很是惊呀。这是我们多年劳作的结果。袁萌 陈启清 5月25日

现在，我们4人正走在通往未来数学的大道上，但是，未见同路人。注：数学机器人与火星人随停我们两人同村。袁萌 陈启清5月24日

新学年开始，一千多万新生即将进入大学校园。火星人为何推荐非标准数学？答案是，非标准数学具有以下特点：一、简明易懂二、使用方便三、研究领域更加广阔以上就是火星人为何推荐非标准数学的理由。传统数学深奥难懂。袁萌 陈启清5月16日...