2018年04月_yuanmeng001

原创无穷小微积分微信公众号开通150天！

无穷小微积分微信公众号开通150天！菲氏微积分没有自己的微信公众号，让读者失望。如今无穷小微积分有了魏新公众号方便广大读者学习微积分，是一个重大的进展。同时，无穷小微积分有自己的专门网站，其中有数千篇微积分短文可供读者检索阅读。在国内互联网上，现代无穷小无处不在！袁萌 4月30日附：热烈欢呼无穷小微积分微信公众号开通！（此文发表于2017年12月1日）至此，广大智能手机用户可以通过微信平台“无

2018-04-29 21:27:02 1677

原创 IBM沃森系统与芯片设计制造

IBM沃森系统与芯片设计制造大家知道，IBM沃森的软件系统DeepQA内部含有自动定理证明（ATP）模块。这个软件模块是芯片制造（设计验证阶段）所必须的。现代无穷小的引入建立在形式化语言公理系统之上，自动定理证明与其有关。有人想看IBM沃森的笑话，殊不知它的自我学习功能很强，越用越聪明。傻帽儿！袁萌 4月28日

2018-04-28 13:08:28 1282

原创 IBM沃森系统计算能力应该有多大？

IBM沃森系统计算能力应该有多大？在上世纪下半叶，在NBC电视节目中出现一个很热的“智力秀”（Gane Show），叫“Jeopardy!”。简而言之，在电视秀节目中，对弈的两个人，比试的是“抢答”问题，在限定的时间中，最先给出答案者得分。在一场“智力秀”得分最多者取胜，而且奖金不菲。IBM公司创建的沃森智能系统在这种电视“秀”节目中能否取胜？也就是说，对于任何自然语言表达的问

2018-04-27 17:11:50 1745

原创纪念无穷小微信公众号开通210天

昨天乘地铁看到有人用手机打开“无穷小微积分”, 微信公众号，看短文，我的心情很爽，这种情况只有我国境内才可能发生，是中国的一种特色。 58年前，美国数学家鲁宾逊利用数理逻辑紧致性定理严格地引入了现代无穷小。利用现代无穷小概念展开微积分学是一种“数学美”。鲁宾逊的无穷小对我国数学界的不断渗入是菲氏微积分徒子徒孙们所惧怕的事情。袁萌 4月21日 ...

2018-04-21 17:38:02 1183

原创无穷小呼唤法律顾问

五年前，无穷小放飞互联网，至今有了专门的网站与微信公群众号“无穷小微积分”。无穷小网站的顺利运行需要一位知识产权法律顾问，最好是f法律顾问团。袁萌 4月19日附：无穷小应该从何处放飞？（此文发表于2013年07月01日）为保证《微积分阅览室》8月18日对外开放（试运行），15日我们开始加载上传数据。但是，出现了一个事先没有想到的问题。什么问题呢？毫...

2018-04-19 17:13:31 1120

原创为无穷小寻求法律保护

2018年4月18日上午，在北京大学知识产权学院张平（女）常务副院长的安排下，朱艺浩博士接待了我。实际情况是，已经合法备注网站“无穷小微积分”里面存放了袁萌数千篇关于“无穷小”的原创博文，形成了一定的知识产权，能否用商标法进行保护？这是一个新问题。袁萌所谓的“无穷小”是在形式化语言公理框架下展开的，不是传统的极限理论。目前，任何人使用...

2018-04-19 06:18:18 1210

原创乘复兴号返京，响应无穷小呼唤

4月16日，心中感知无穷小在向我呼唤，乘复兴号从浙大返京。查阅“无穷小微积分”網站的狀態，系統穩定運行，閱讀人數近百人。復興號急駛在祖國的大地上，長江、黃河相繼而過，無窮小在我心中不斷地呼喚著，…袁萌 4月16日...

2018-04-17 11:41:27 1089

原创无穷小微积分，未来的前景如何？

在1973年，世界知名荷兰数学家Arend Heyting（1898-1980）高度赞美非标准分析（NSA）："a standard model of important mathematicalresearch".也就是说，非标准分析（NSA）是未来重要数学研究的标准模型。时至今日，45年过去了，建立在非标准分析（NSA）之上的无穷小微积分得到广泛应用（包括教育系...

2018-04-07 04:36:45 1427

原创鲁宾逊与无穷小

1918年10月6日，鲁宾（）逊（A.Robinson,1918-1974，享年55岁）,诞生于德国，是犹太人。1933年，侨居英国伦敦，后移居美国。1974年4月11日，死于美国加州New Haven，其研究领域是数理逻辑（模型论）。 1961年，鲁宾逊创立了非标准分析（Non-StandardAnalysis），，也称为“无穷小分析”。国际数学界公...

2018-04-06 11:05:37 1301

原创无穷小与大科学的关系

1961年，美国数学家鲁宾逊发明了无穷小微积分，同年，美国橡树岭（Oak Ridge）国家实验室主任Alvin M. Weinberg发文宣传“大科学”（Big Schience），时间相同，巧也！毫无疑问，基于无穷小方法发展出的微积分是“小科学”（Little Science），一本书而已。 2018年3月14日，国务院发文（文号（国发）5号），要求...

2018-04-05 13:24:36 1206

原创纪念吴允曾先生诞辰100周年

吴允曾（1018.04.04 –1987.6）北京大学教授，知名数理逻辑学者和计算机科学专家。今天是吴允曾先生诞辰100周年纪念日。吴允曾先生是可替代集合论（An AlternativeSet Theory）学者，引入中国的第一人。可替代集合论（AST）将ZFC公理系统的无穷公理替换为无穷公理的否定而得到的一种新型集合论。在AST中，任何形式上有限的集合A都包含无穷...

2018-04-03 09:01:41 1469

原创清华大学微积分教材之我见

清华大学校门难进，但是，谭泽光主编的微积分教材水平很低，误人子弟。清华大学微积分教材，从牛顿式极限概念入手，不提微积分基本定理，更不涉及集合、逻辑与实数系统，误人子弟也。今年1月16日，国家教育部发布高中数学课程新标准，内容比清华大学微积分教材还要高出“一节”。袁萌 4月2日附：谭泽光是什么人？清华大学资深教授、考研数学辅导名家 ...

2018-04-02 08:21:09 6437 1

原创微积分教学融入我国基础教育，培养人才建设社会主义强大国家

2018年1月16日，国家教育部公布了高中数学课程新标准，标致着微积分教学融入我国的基础教育阶段（理工科教育）。新版本规定： A类课程包括微积分、空间向量与代数、概率与统计三个专题，其中微积分2.5学分，空间向量与代数2学分，概率与统计1.5学分。供有志于学习数理类专业的学生选择。 B类课程包括微积分、空间向量与代数、应用统计、模型四个专题，其中微积分2...

2018-04-02 03:27:30 1284

转载超实数的标准部分，如何定义？

在中国互联网上，第一次出现超实数标准部分的严格定义，由于事关重要，文字转录两遍才算“通过”。《6.18无穷小飞互联网行动计划》，施行五年，辛苦之处，只有“我知” 。袁萌 4月1日附:互联网上摆战场，无穷小方法 pk (ε,δ)极限论(此文发表于2013年10月08日)，全文如下：每逢谈起微积分，不少大学毕业生的态度都有点尴尬，表示他们在学校所学的...

2018-04-01 15:34:47 1957

袁萌专栏