[置顶] 假冒“国产”Linux为什么要狠批?

    2011年,6月16日,科技部在上海召开一次“重大专项新型举国体制研讨会”(科技部官方门户网站有报道),深刻阐明了什么叫重大专项的新型“举国体制”,以及新型“举国体制”与传统“举国体制”的...
阅读(14341) 评论(27)

[置顶] 再论云计算进中国,我们该怎么办?

    去年12月30日,我写了一篇短文,题为“2011年云计算进中国,我们该怎么办?“(简称“云计算进中国”),在当时,此文并没有引起国内业界的...
阅读(4582) 评论(9)

[置顶] 我和Java的一些往事

     大家知道,在1991年,几乎与Linux同时,SUN发布了Java编程语言。不久,我的大学同学(比我低两年)王克宏教授(清华博士导师)与SUN合作成立了中国最早的“Java研究中心”...
阅读(32758) 评论(215)

微积分的两派之争:传统守旧派与现代公理派

微积分的两派之争:传统守旧派与现代公理派经过5年的艰苦努力,国内微积分阵营形成两大派:传统守旧派与现代公理派。当前的实际情况是,校园微积分疑难讲座堪比“明星演唱会”,听众人山人海,讲堂爆满。这是微积分传统守旧派的优势。但是,微积分现代公理派不甘示弱,无穷小微积分放飞互联网大课堂,针锋相对,以理服人。   说白了,微积分两派之争,目的只有一个:争夺下一代的年轻学子。袁萌  11月22日...
阅读(18) 评论(0)

纪念无穷小微积分放飞互联网五周年

纪念无穷小微积分放飞互联网五周年在党的十八大召开之后不久,2012年11月26日,博文“一部经受时间考验的无穷小微积分教科书”放飞互联网,公开叫板传统微积分,开启了国内微积分发展的新征程。博文“一部经受时间考验的无穷小微积分教科书”,全文如下:请看下图:(在此省略) 此图就是现代模型论(Model  Theory)专家H. Jerome Keisler精心撰写的初等微积分教程(基于无穷小方法)的封...
阅读(34) 评论(0)

一元实函数数的序偶定义

一元实函数数的序偶定义2013年10月19日,放飞博文“袖珍电子书的样本:一元实函数的定义”行动具有重大意义,打响了挑战传统微积分的第一枪。全文如下:作为一个样本,这大概是第一本微积分袖珍电子书。请读者注意该定义的布尔巴基学派严谨性、一般性的风格。一元实函数的定义:一元实函数是有序实数偶(a,b)的集合f,对任何一个实数a,必然发生以下两种情形:1,恰好有一实数b存在,使得有序实数偶(a,b)属于...
阅读(170) 评论(0)

引入无穷小微积分的合理性

引入无穷小微积分的合理性我们设想,在实数集合R上,、定义了算术四则运算:+、-、×、÷,以及实数的大小顺序关系:≤。给定形式表达式:2+6,11+4,3×2,…,等等,等等(尽量多地设想)。我们规定,两个形式表达式用顺序关系“≤”连接起来,比如:2+1≤1。那么,这类形式表达式“2+1 ≤ 1”称为形式命题,记为 [2+1≤ 1]。    我们要问:形式命题[2+1 ≤ 1]是不是真的(真命题)?...
阅读(146) 评论(0)

微积分只有一种,但是,模型却有两个!

微积分只有一种,但是,模型却有两个!2017年11月15日下午,中国人民大学信息学院数学系办公室安排我会见数学系朱来义教授,探讨微积分教学有关事宜。朱来义教授,1991年7月毕业于北京大学数学系,获博士学位。1991年起任教于中国人民大学信息学院,现任教于中国人民大学中法学院,1993年晋升为副教授,1997年破格晋升为教授。自任教以来先后承担过本科的《微积分》、《数学分析》、《复变函数》、《实变...
阅读(386) 评论(0)

清华大学微积分教育领头人是谁?

清华大学微积分教育领头人是谁?经过网上搜索调查,清华大学,作为全国工科院校标杆院校,全校现行微积分教材的主编是韩云瑞教授(男,1941-)。1981年到清华大学数学系任教,先后曾任基础数学教研组主任,校聘微积分课程负责人,数学系副主任,连续几年被聘为清华大学责任教授。2004年起担任中国高等教育学会教育数学专业委员会副理事长。韩云瑞教授的学术研究领域为泛函分析和控制理论。2004年开始从事教育数学...
阅读(568) 评论(0)

电子科大微积分讲座堪比“明星演唱会”

电子科大微积分讲座堪比“明星演唱会”党的十九大刚闭幕,10月24日晚,电子科大举办《微积分疑难分析讲座》,听众人山人海,场面堪比“明星演唱会”!匪夷所思也。此消息一经传出(人民日报微博),在短短5天之内,上网点击阅览人数超过1200万,可谓“横扫全国高校”,无人不知也。实际情况是,电子科大有自己的微积分教材,全是菲氏传统微积分老一套,停留在十九世纪学术水平,全然脱离上世纪数学发展的主流大方向(公理...
阅读(88) 评论(0)

模型论的诞生及其对现代数学的影响

模型论的诞生及其对现代数学的影响简而言之,在上世纪数学形式化浪潮中,人们的目光对准了用形式语言描述的“理论”,研究这些形式理论的性质。比如,一个形式理论,在什么条件下,具有模型(Model)。由此,产生了所谓的“模型论”。假若把微积分用形式语言表述出来,作为一种形式理论,那么,实数系就是该“理论”的模型。在形式理论研究中,人们发现,只要这个形式理论的任意有限子集合(构成所谓“子理论”)有模型,则该...
阅读(138) 评论(0)

前后花费近50年,引进现代微积分值不值?

前后花费近50年,引进现代微积分值不值?  回顾以往,改革开放之后(1978年)之后,现代公理化微积分开始传入中国。请见博文“现代微积分何时传入中国?”党的十八大之后,无穷小微积分放飞互联网,这是第一步。十九大之后,再花费5年时间,继续走第二步,使其在中国大地上“落地生根”,开花结果。可以公平地说,现代公理化微积分传入中国,前后整整花费了近50年!袁萌   11月2日附:现代微积分何时传入中国?在...
阅读(155) 评论(0)

无穷小微积分:发源于西方,扎根在中国

无穷小微积分:发源于西方,扎根在中国回顾历史,在三百多年前,随著物理、天文学的进步,诞生了无穷小演算(微积分学的本意)。但是,无穷小的概念存在内部矛盾,多有诟病。进入上世纪,随著形式化数学的兴起,1961年,鲁滨逊使得无穷小严谨地进入数学的研究领域,无穷小微积分真正地复活了。这是无穷小微积分发源于西方的证据。为什么说。无穷小微积分扎根于中国?早在2012年11月,十八大之后,在中国大地上,实施无穷...
阅读(154) 评论(0)

无穷小微积分放飞互联网,如何让其“飞”起来?

无穷小微积分放飞互联网,如何让其“飞”起来?十八大之后,无穷小微积分放飞互联网,上传数据,建立专业性网站,只是第一步。十九大之后,进入新时代,仅靠上传数据,被动展览,不行了。当今,需要做的事情是(第二步):必须将科普数据“推出去”,最终推送到读者手中。这就是让数据“飞起来”的意思。    真理不怕见阳光。让广大青年学子懂得什么是现代公理化的微积分,让微积分“老糊涂”回家休息。    实际情况是,全...
阅读(139) 评论(0)

浙江大学微积分“老糊涂”讲课,“小糊涂”热烈捧场

浙江大学微积分“老糊涂”讲课,“小糊涂”热烈捧场10月31日,媒体报道,浙江大学苏德矿老师(今年60岁)讲授微积分,数百微积分“小糊涂”热烈捧场,网络直播“点赞者”高达200万。依据我的判断,苏老师一定是菲氏微积分的徒子徒孙,玩不转公理化微积分。可谓微积分“老糊涂”讲课,“小糊涂”捧场。十八大之后,无穷小微积分放飞互联网,至今已有5个年头,但是,还没有进入浙江大学的校园,需要继续努力。十九大之后,...
阅读(497) 评论(0)

三论微积分下放中学

三论微积分下放中学四十年前,袁萌主张微积分下放中学,为此,奔走大江南北,没有结果。十八大之后,又提此事,有文章可证。当今,已经进入十九大新时代,再次提出微积分下放中学老问题,期望引起社会共鸣。再过几年,我国进入小康社会,人们期盼更好的生活,更加现代的文化氛围。只懂得几何、三角、代数的高中生,整天玩弄智能手机,而不懂得其中的“道理”,显然不合时宜。回顾历史,1879年,德国数学家弗雷格开启了形式化数...
阅读(155) 评论(0)

一百年沧桑巨变,数学大树依然长青

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

数学形式化的现代意义

数学形式化的现代意义十八世纪下半叶,使用形式语言工具研究数学自身的规律,引发当代数学的兴起。1911-13年,罗素《数学原理》的发布,将基础数学全部形式化,在数学界,这是一重大事件。上世纪60年代,我国大搞文革运动,视形式化为“形而上学”,错过了发展机会。在此期间,基于形式化方法的“自动推理”(AR,Automated Reasoning)算法在国外蓬勃发展起来(注:AR属于人工智能AI研究领域)...
阅读(163) 评论(0)

弗雷格的伟大历史贡献:量词的引入

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

现代数学的开山鼻祖--弗雷格

现代数学的开山鼻祖--弗雷格弗雷格(Gottlob Frege,1848–1925)是德国大数学家,是现代数学形式化发展的开山鼻祖。回顾我们国内,十八大之后,无穷小微积分放飞互联网行动,预示着数理逻辑模型论(Model theory)的强势兴起。因为,离开模型论形式化方法,无穷小微积分就无从谈起。党的十九大为我们开启新的征程,目标是建设现代化中国特色社会主义强国。大家知道,数学发展必须符合世界发展...
阅读(180) 评论(0)

试谈数学教育与社会发展变革的关系

试谈数学教育与社会发展变革的关系大家知道,《数学通报》是当今国内广大读者(主要对象是中学数学教师)所喜闻乐见的数学普及月刊。该刊创办于1936年8月,后因抗日战争爆发,于1939年11月被迫停刊。新中国成立后,《数学通报》于1951年11月复刊。后来,因文革于1966年7月再次停刊。在这次停刊十年多之后,于1979年7月,《数学通报》复刊至今。从以上《数学通报》两次停刊的事实可以看出,数学普及教育...
阅读(184) 评论(0)

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

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

浅谈美国数学研究的现状

浅谈美国数学研究的现状大家知道,十九大把我国推上了一个发展新时期的“起跑点”。但是,站在跑道上的不只是我们一个国家。在上世纪30年代,美国境内出现了一次数学基础研究的“大爆发”,形成了数理逻辑的各个新分支。在这一时期,日寇侵占我国,全国人民奋力抗战,顾不上数学的研究。历史发展的事实是,我国解放之后的第一个三十年,在数学教育上实施“全盘苏化”,崇尚菲氏微积分,造就了大批微积分“小糊涂”,成为社会劳动...
阅读(211) 评论(0)
4617条 共231页1 2 3 4 5 ... 下一页 尾页
    个人资料
    • 访问:7925675次
    • 积分:148699
    • 等级:
    • 排名:第4名
    • 原创:4546篇
    • 转载:41篇
    • 译文:10篇
    • 评论:24194条
    文章分类
    文章存档
    最新评论
    voweber中文web技术开发站