近日,教育部“强基计划”启动。为此,大批数学“拔尖生”进入高校学习基础数学,应当懂得无穷小微积分,而不是相反,背离了“强基计划”的初衷。
袁萌
在上世纪90年代初期,个人计算机内存只有640KB;在这种客观情况下,历史要求我们设计制作三卷合订本的配套全文检索系统,攻坚克难,夜以继日,取得成功,由人民出版社在全国发行。
当今,50年过去了,计算机内存增加了千万倍
袁萌
微积分教学中,超实无穷小是鲜花,还是毒草?超实无穷小是一种“理想数”,其标准部分是实数零。
由于数理逻辑紧致性定证明了超实无穷小的存在以及在数学中的实用性,所以是微积分教学的一朵鲜花。
与此相反,在传统数学中, 超实无穷小是逻辑谎言,误人子弟,是大毒草;
所以无穷小是微积分教学的一朵鲜花
袁萌
记得在上世纪1978年,中国科学院计算机研究所张锦文研究员托人从美国带回J.Keisler教授“无穷小微积分”(英文原版),交给中国人民大学袁萌学习与研究。
从此以后,结合教学实践袁萌在中国人民大学与北京大学的讲堂上不断地讲授无穷小微积分的基础知识。
进入本世纪,袁萌带队进行“无穷小微积分”放飞互联网至今。
这就是无穷小微积分在中国传播的40年。
无穷小微积分专业网站是独一无二的传播基地。
袁萌
今天,百度一下“无穷小微积分”,相关搜索结果为36.5万个!
近40天来,我们忙于三卷扫描工作无暇顾及无穷小微积分。
但是,无穷小微积分不减反增,何故?
这是因为无穷小微积分已经深得人心也。
袁萌
不做扫描数据预修改,三卷扫描结果装入数据库没有什么用处。
但是怎么预修改,很有讲究。每一个句子记录应该添加哪些附加信息?
一般而言,检索的目标不是语句的本身,而是该语句所在的位置。例如,语句所在的卷数、页数和行数等等。
袁萌
初看起来,全文检索与数学证明似乎没有关系。其实不然。何故?
全文检索就是在有限步骤内确定一类特定的句子是否存在。
而数学证明就是在由此说、你步骤之内路逻辑?判定一个给定的句子是否成立。
所以,全文检索与数学证明在理论本质上是一回事。
请见:好消息:三卷扫描的效果特别好!
袁萌
一般而言,思想、理论表现为一个句子集合。
如果上级单位要求对该理论“全面系统学、深入思考学”,那么,拒绝配套全文检索没有道理!
为什么?因为,配套全文检索是“全面系统学”、“深入思考学”的辅助工具。
袁萌 陈启清 8月12日
坦然地说,一切为了“备战”第二套三卷句集全文检索的启动!
今天上午第二套三卷句集全文检索软件开发已经正式启动 。
第二套指的是什么著作?不言自明
第一套是么?为什么?不言自明。
袁萌