袁萌专栏 - CSDN博客

置顶假冒“国产”Linux为什么要狠批？

2011年，6月16日，科技部在上海召开一次“重大专项新型举国体制研讨会”...

原创

2011-12-20 08:48:56

14646

27

置顶再论云计算进中国，我们该怎么办？

去年12月30日，我写了一篇短文，题为“2011年云计算进中国，我们该怎么办？“（简称“云计算进中国”），在当时，此文并没有引起国内业界的足够注意。这是什么原因呢？答曰：认识不足也。实际上，“云计算进中国”一文提出一个很尖锐的实际问题：“前不久，国家发改委与工信部联合发出云计算试点...

置顶我和Java的一些往事

大家知道，在1991年，几乎与Linux同时，SUN发布了Java编程语言。不久，我的大学同学（比我低两年）...

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

纪念无穷小微信公众号开通210天昨天乘地铁看到有人用手机打开“无穷小微积分”微信公众号，看短文，我的心情很爽这种情况只有我国境内才可能发生，是中国的一种特色。 58年前，美国数学家鲁宾逊利用数理逻辑紧致性定理严格地引入了现代无穷小。利用现代无穷小概念展开微积...

无穷小呼唤法律顾问

五年前，无穷小放飞互联网，至今有了专门的网站与微信公群众号“无穷小微积分”。无穷小网站的顺利运行需要一位知识产权法律顾问，最好是f法律顾问团。袁萌 4月19日附：无穷小应该从何处放飞？（此文发表于2013年07月01日）为保证《微积分阅览室》8月18日对外开放（试...

为无穷小寻求法律保护

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

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

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

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

在1973年，世界知名荷兰数学家Arend Heyting（1898-1980）高度赞美非标准分析（NSA）："a standard model of important mathematicalresearch".也就是说，非标准分析（NSA）...

鲁宾逊与无穷小

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

无穷小与大科学的关系

1961年，美国数学家鲁宾逊发明了无穷小微积分，同年，美国橡树岭（Oak Ridge）国家实验室主任Alvin M. Weinberg发文宣传“大科学”（Big Schience），时间相同，巧也！毫无疑问，基于无穷小方法发展出的微积分是“小科学”（Little S...

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

吴允曾（1018.04.04 –1987.6）北京大学教授，知名数理逻辑学者和计算机科学专家。今天是吴允曾先生诞辰100周年纪念日。吴允曾先生是可替代集合论（An AlternativeSet Theory）学者，引入中国的第一人。可替代集合论（AST）将ZFC公理...

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

清华大学校门难进，但是，谭泽光主编的微积分教材水平很低，误人子弟。清华大学微积分教材，从牛顿式极限概念入手，不提微积分基本定理，更不涉及集合、逻辑与实数系统，误人子弟也。今年1月16日，国家教育部发布高中数学课程新标准，内容比清华大学微积分教材还要高...

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

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

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

在中国互联网上，第一次出现超实数标准部分的严格定义，由于事关重要，文字转录两遍才算“通过”。《6.18无穷小飞互联网行动计划》，施行五年，辛苦之处，只有“我知” 。袁萌 4月1日附:互联网上摆战场，无穷小方法 pk (ε,δ)极限论(此文发表于2013年10月0...

纪念数学家胡世华先生逝世20周年

回顾往事，中科院胡世华院士离开我们已经20年了。胡世华先生是我国数理逻辑事业的开创者与领头人。胡世华（1912.1 - 1998.4）1935年毕业于北京大学，1936-41年前往奥地利、德国留学，学习数理逻辑与数学基础。胡世华于20世纪30年代末，...

无穷小放飞互联网，恰逢其时，毋庸置疑

大家知道，现代无穷小诞生于形式化公理系统的沃土之上。在我们国内，菲氏微积分占据着课堂，宣称“无穷小不存在”，拒绝现代无穷小。面对这种情况，无穷小放飞互联网，抵消菲氏微积分的“胡说”，恰逢其时，毋庸置疑。注：当前，无穷小微积分网站，运行...

现代数学，寻根问祖，刨根不止

现代数学的“老爷子”究竟是谁？是康托尔的朴素集合论？思想深度不够。弗雷格的形式语言，开创现代数学之先河，才够资格。为什么？十九世纪70年代，德国数学家弗雷格创立逻辑量词理论，在当时被学界所忽略，后来，弗雷格的奠基工作被意大利数学家皮亚诺和英国逻辑学家罗素介绍给后人。...

逻辑量词符号“∀”是谁最先发明的？

回顾历史，弗雷格最先精确定义了逻辑量词的概念，肯定了它是一个“思维符号”。可惜偶的是，弗雷格所用的思维符号不是我们今天习惯使用的符号。查阅历史资发现：In 1935, Gentzen（根岑） introduced the ? symbol, byanalogy（模仿...

现代数学的基本元素—思维符号

当今，我们所面对的“数学”是现代数学。这是一种“共识”。在数学家的脑壳中，对于不断发生的思维活动，德国数学家弗雷格发明了一种思维（表意）符号语言。按照弗雷格的说法，称为“思维符号”语言。也就是说，数学家相互交流使用的就是“思维符号语言”。一百多年之后...

现代数学研究什么？（重发）

2015年06月29日，老翁发表短文，题为“现代数学研究什么？”，现在看起来，论点没有错。重发此文，以飨读者。开口闭口自变量、因变量，不是现代数学。袁萌 3月26日附：现代数学研究什么？全文如下：在中世纪，数学研究的对象多半局限于具体的数量与空间关...

置顶 假冒“国产”Linux为什么要狠批？

置顶 再论云计算进中国，我们该怎么办？

置顶 我和Java的一些往事