2015年06月_yuanmeng001

原创数学是什么？

一般人认为，数学基础研究中的形式化处理方法的奠基人是德国数学家大卫.希尔伯特（Divid Hilbert，1862– 1943）。什么是数学的形式化处理方法？在这种观点之下，数学是什么呢？希尔伯特的形式化处理方法有两条基本原则：一、数学中所有的数学符号完全看做没有任何意义的内容，即使将符号、公式或证明的任何有意义或可能有的解释也不必理会它，而只是把它们看作纯粹的形式对象

2015-06-30 15:36:23 2419

原创快讯：阳光动力2号正在飞越太平洋！

根据阳光动力2号官网消息：太阳能飞机于日本当地时间6月28日18点零3分起飞，计划用120个小时(5昼夜)飞抵美国夏威夷，航程7,900公里。看来，阳光动力2号这次飞越太平洋是故意“绕大弯子”飞往夏威夷，以便避开太平洋坏天气区域。当今，瑞士探险家仍然傻呆呆地痴迷于科学，不会去做生意赚钱。我们国内“小毛头”多半心眼很精明，钱字当头。愿老天爷保佑他们一路

2015-06-30 09:53:46 1824

原创自然数从何而来？

从孩童时代起，我们就学习数“数”，熟悉了自然数1,2,3，...，但是我们并不清楚这些自然数来自何方？为什么叫“自然数”？19世纪的德国数学家克罗内克认为：“上帝创造了自然数，别的都是人造的。自然数在直观上是清楚的，故可以接受，而其他则是可疑。”他的意思是说，只有自然数是真实存在，其余都只是人为做出的一些文字符号罢了。他还主张在自然数的基础上来构造整个数学。1907年，荷兰

2015-06-30 07:44:14 2616 1

原创当代数学七大难题

当代数学家们在干什么？1900年，德国大数学家希尔伯特（Hilbert）给全世界数学家提出了23个数学问题，至今已经解决了9个。2000年，美国克雷Cray）数学研究所给世界数学工作者提出七大数学难题，至今已经解决了一个。这七个数学难题是什么呢？本世纪七大数学难题如下：：（一）Poincaré conjecture（庞加莱猜想已解决）；（二）P versus NP（多项

2015-06-29 15:08:39 5789

原创现代数学研究什么？

在中世纪，数学研究的对象多半局限于具体的数量与空间关系，但是，从十九世纪开始，数学家们逐渐转向数学研究过程内过部所发生的事情，而对于数学究竟是什么，兴趣不大了。现在，如果你追问一个数学家，数学研究什么？他会对你笑一笑，说声“抱歉”，或者，随便用几句话搪塞你了事。拒绝抽象思维就等于拒绝数学。如果你拒绝思考定义在区间[a,b]上所有函数f构成的抽象集合“F”（F仅仅是一个大写字母），那

2015-06-29 06:19:50 2916

原创数理逻辑量词的引入

虽然数学科普是我的心愿，但是科普数学确实存在一定的实际困难。为什么呢？科普数学需要一套公认的数学语言，也就是说，使用一套符号体系表达意思。但是，数学符号不是一般人生来就懂得的，而且比较难于记忆。比如，量词（Quantifer）符号“∃”与“∀”，前者表示“存在”；后者表示“所有”。这两个怪怪的符号源自意大利大数学家Peano的手笔。“∃”是拉丁字母“E”从右向左翻转而得

2015-06-28 01:43:43 3026

原创愿Linux红帽旋风吹得更加猛烈吧！

大约在2000年年初，《中国青年出版社》准备从台湾引进图书（中译本）“Linux红帽旋风”（美国Robert Young），让我为该书写一个前言。该书作者罗伯特.扬是美国红帽公司（RedHat）的奠基人，主张“软件开源，服务为王”。什么是“软件开源”？这是一个根本问题。如果把开源软件当做“幌子”骗人，实际推行的却是另外一套（把开源软件变成国产私有软件），那么，性质就变了。

2015-06-27 08:07:53 2214 2

原创回忆与陈景润讨论歌德巴哈猜想的情景

1962年秋天，我从南京大学分配至北京工作，经常去中科院数学所找老同学“谈数学”。在我一生中，那是一段快乐的时光。当时，陈景润一个人住在数学所宿舍（中关村88楼）一层的楼梯台阶下面的小屋子里，床铺就是研究工作台，四周乱七八糟，有点气味，容不下外人进去“谈数学”。记得，有一次在数学所职工食堂巧遇城景润。我们在一张桌子吃午饭，谈论起歌德巴哈猜想话题。我问他，你的“大偶数

2015-06-26 04:45:47 2640 1

原创 Linux在中国的没落

6月23日，Linux kernel 4.1（LTS）发布，在国际自由软件世界引起热烈反响。反观我们国内，官方机构没有任何动静；在民间，Linux激情已经消失。与十几年前相比，Linux在国内已经没落。问题出在那里？政府主管部门没有给Linux一个正式的”名分“，连“小三”都不如。在民间，Linux被一些投机分子利用，蒙蔽官员，搞“假、大、空”。linu

2015-06-25 08:39:34 3268 6

原创哥德尔不完全性定理：现代数学的边界

德国数理逻辑学家哥德尔（Kurt Godel，1906-1978）是康托尔的继承人，也是现代数学边疆的开拓者。1931年，年仅25岁的哥德尔在其博士论文（只有两页纸）证明了知名的“不完全性定理”，其结论如下：：1）If the system isconsistent（不矛盾）,it cannot be complete（完全的）；2）Th

2015-06-25 01:58:55 2976

原创康托尔连续统假设正确吗？

大家知道，在1874年，康托尔利用”对角线法“巧妙地证明了实数集（也叫”连续统“，Continum）是不可数集合，让数学家大开眼界。但是，实数本身是不是最小的不可数集合，当时康托尔自己并不知道。为了弄清楚这个问题，虽然康托尔自己付出了最大的努力，但是，毫无结果。连续统是不是最小的不可数集合，对于数学基础研究而言，是一个根本问题。为此，1900年，在法国巴黎召开的第二届世界数学家大会上，希尔

2015-06-24 06:31:11 9622

原创康托尔定理是怎样证明的？

康托尔定理指的是什么？定理的内容很有兴趣，但是，定理的证明方法（所谓“三角线证明法”，Diagonal Method）却很独特，超出一般人的想象力。康托尔定理是对于一般的任意集合A来说的，定理是说：给定任意集合A就怎么怎么样。集合A是抽象的集合，定理内容属于什么具体范畴很不好确定，看上去定理内容就有点“奇怪”。

2015-06-23 04:50:30 9672 3

原创康托尔是怎样发现超限数的？

大家知道，超限数（Transfinite）集合论的核心概念。我们搞清除了超限数是怎样发现的这个问题，实质上就等于搞清除了集合论是怎样创立的。在三维空间中，坐标原点O的直角坐标是（0,0,0）。由此，我们可以推想，在无限维空间中，也有类似情况。回顾历史，19世纪的欧洲，三角级数是一个非常热门的研究领域。但是，三角级数收敛的关键问题是极限函数变现的唯一性，如果三角级数收敛的唯一性不能证

2015-06-22 01:10:29 3611 3

原创罗素悖论的始末以及对现代数学走向的影响

在数学基础的研究中，罗素悖论十分有名，但是往往将其内容过于通俗化，对数学无益，反而有害。回顾历史，在康托尔的朴素(Naive)集合论中，对于集合概念的使用过于宽泛，把一切可以定义的“汇集”（Collection）统统叫做”集合”(Sets)，留下隐患。康托尔认为，所有的“集合”可以重新构成一个新的“集合”。在1901年5、6月期间，“小毛头”罗素在康托尔关于无穷集合

2015-06-21 02:28:24 3003

原创回到经验数学的时代

在19世纪70年代，数学家一般凭借直观与经验研究数学问题，头脑中没有现代的集合（Set）概念，分不清自然数与实数的本质区别。在那个时代，数学家们把无穷小量当成趋于零的变量对待，如同当前国内数学教科书里面的无穷小定义。集合论创始人康托尔（1845-1918），那时还是一个“小毛头”，在其研究数论的文章中，称这种关于无穷小量的观念是“abomination"（令人言恶的东西），如同"c

2015-06-19 09:10:41 1719

原创近代数学史上的最大冤案

上世纪70年代，康托尔天才地严格证明了一条数学定理：正方形中的几何点与其边上的几何点的个数相等。由此，康托尔开始深入研究下去，得到一系列的推论，最终创立了集合论。很不幸的是，康托尔创造性的发现不被当时学界理解、赞扬，反而遭到严厉的批评，甚至是人身攻击。比如：法国学术权威庞加莱公开表示：康托尔的思想是"grave disease"（致命性的疾病）；德国大数学家克隆耐克发表文章，公

2015-06-18 07:55:52 2632

原创微积分是现代数学大厦的大门厅

大家知道，进入大厦必须首先跨入大厦的门厅，别无他途。空集Ø是数学大厦的看门人。任何进入数学大厦的人必须与空集“打招呼”。空集Ø里面没有任何元素，所以，空集Ø也可表示为{}(集合的数学符号)，里面什么元素也没有。在现代数学中，数字0一般定义为空集Ø。虽然空集{}本身不是数字0。由此，数字1定义为{Ø}，数字2定义为{Ø，{Ø}}，......我们注意：集合的包含关系Ø⊆{Ø}表示自然

2015-06-17 10:37:00 2547 1

原创现代数学的引路人

引路人（Guide)就是向导（或指导）人的意思。现代数学门类繁多，错综复杂，特别需要有一个引路人，以便不致于迷失方向。现代数学的引路人就是集合论（Set theory）的奠基人，德国数学家康托尔（Georg Cantor，1845-1918)。为什么这么说？自古以来，数学是一门关于计算的学问，离开计算谈何数学？十九世纪70年代，二十多岁的“小毛头”康托尔对这种“

2015-06-17 04:58:36 2554

原创微积分下放高中的现实意义

根据媒体报道，2015年高考全国考生942万人，比2014年多3万人。2015年高考本、专科招生计划人数共700万人。也就是说，大约有250万人不能升学。根据相关调查，全国高中教育阶段在校学生数为4527.49万人，平均每个年级约有1500万人。综合以上所述，在今年高考录取完毕之后，约有800万高中毕业生进入社会构成社会劳动大军的一部分。这是未来几年的趋势。

2015-06-16 17:25:27 2876 3

原创超实数系*R的引入

走进中学数学课堂，老师在黑板上划一条几何直线。对同学们提问：在这条直线上，有没有两个无限接近的点？同学们立刻哗然，今天老师是不是“头脑发疯”了？老师对同学们说：现代量子物理学研究表明，空间中存在最短的“线段”（普朗克长度）。在几何直线上，如果两个点的距离小于这个最短的线段，那么，这两个点就叫做“无限接近”。在直观上，同学们很容易接受这种说法。然后，老师再对同学们说：

2015-06-16 11:14:33 2558

原创我国中学数学教育内容陈旧，属于中世纪数学水平

查阅2015年高考数学试题，没有任何微积分内容，让人失望。一千万微积分现代文盲进入社会劳动大军，令人堪忧。现在，微积分课程已经进入所有俄罗斯中学。中国与俄罗斯青年交流，中国“小毛头”显得傻傻的，对微积分毫无所知。今年高考数学试题内容仅限于几何、三角、代数，考察的多半是考生的答题技巧，而不是对数学基本概念的理解。孩子的聪明才智得不到充分体现。回顾历史，

2015-06-16 04:55:18 2388 5

原创希尔伯特空间科普，从冯纽曼说起

把时针指向1956年的秋天，在选择高考志愿问题上与同班好友曾心愉（后任复旦大学物理教授）发生分歧。后来，去他家，找他父亲“说理”。曾的父亲曾远荣教授恰好就是我在南京大学数学天文系学习期间的大学老师（泛函分析课程）。曾远荣教授（1903-1994）是我国泛函分析领域的带头人（一级教授）。他对我说：Von Neumann（1903-1956）是二十世纪的大数学家，是希尔伯特空间公理

2015-06-15 11:35:18 2424

原创关于量子力学的公理化问题

回顾历史，，美国大数学家馮.纽曼(匈牙利人，Von Neumann,1903-1957)是把量子力学建立在严格数学基础上的第一人。1926年，冯.纽曼首先意识到量子系统的状态（所谓“量子态”）可以表现为复数无限维希尔伯特（Hilbert）空间中的一个“点”，与牛顿经典力学仅仅局限于有限维空间”大唱反调”，此时，冯.纽曼才是一个23岁的“小毛头”。随后，在1932年，冯.纽曼首次将量子力学”公理

2015-06-14 06:05:14 2735

原创量子计算与通讯的基本原理（量子纠缠）

1935年5月4日，爱因斯坦在《纽约时代》发表署名文章，严厉批评量子力学“超距感应”（即”量子纠结“，Entanglement），他说：超距感应是“spookyaction at a distance"，意思是：超距感应是”魔鬼超距作用”。爱因斯坦认为，使用波函数描述物理真实是“not complete”（是不完备的）。什么是“超距感应”？我们设想：有两个人在异地玩扑克

2015-06-13 04:37:06 6244 1

原创量子时空：普朗克长度与普朗克时间

普朗克个人想人类留下长度与时间的”自然单位“，以便人类将来与外星人沟通、交往时使用，不至于“丢面子”。但是，在自然宇宙中，究竟有没有普朗克所谓的”自然单位“？至今，科学家并不知晓。在中学时代，我们都知道万有引力常数G。对于G的具体数值与单位，我们是否能够记住并不重要，只要知道这个常数G是”恒古不变“的一个数字就行了。这是现代文明人的常识。大家知道，爱因斯坦相对论中的

2015-06-12 03:20:39 5416

原创量子时空观与黑洞研究

1986年，印籍科学家Abhay Ashtekar(1949- ) 使用量子时空观把爱因斯坦广义相对论（引力理论）重新写了一遍，引发新一轮理论物理“量子化”的国际浪潮。近二十年以来，在理论物理学中出现了一门新分支：量子几何（Quantum Geometry）。随后，有人把量子几何观念引用到施瓦茨球（即“黑洞”）的怪异球面上，企图彻底消除施瓦茨球的“奇点”。什么是量子几何呢？

2015-06-11 02:47:24 2075

原创宇宙中为何存在“黑洞”？

大家知道，在满天星斗的天空中，没有上帝的位置。要问宇宙中为什么存在“黑洞”，请教爱因斯坦与施瓦茨（Karl Schwarzschild，1873– 1916）。1915年初，爱因斯坦发表了广义相对论，其核心部分是由十个非线性偏微分方程组构成的所谓“引力场方程”，结构复杂，精确解不易求得。1915年12月22日，施瓦茨给爱因斯坦写信表示：如果不使用“引力场方程”的

2015-06-10 04:09:11 2275

原创爱因斯坦方程与小黑洞

在我们国内，关于黑洞（Black hole）的科普很玄奥，让人一头雾水，没有趣味。实际情况不是这样的。1911年，爱因斯坦悟出一个道理：惯性力与重力在物理上是无法区别的，也就是说，两者是等价的，由此导出了时空（Spacetime）与物质相互关联的理论，即1915年发表的广义相对论。广义相对论由10个非线性偏微分方程式组成，很复杂，让人惧怕。1916年初，罗伦兹的一个

2015-06-08 04:08:00 2775

原创人类智擒超高能中微子探秘宇宙黑洞

我们的问题是，本身不带电荷的中微子自由穿越宇宙深空，直奔地球而来。人类如何截获它？研究它？太阳老确实了，发射出来的中微子，其能量一般在20百万电子伏以下，算不上什么“超高能中微子“。实际上，捕获超高能中微子，首先要避开太阳低能中微子的干涉捣乱。科学家反复思考，终于想出一个妙法。南极大陆冰层厚度一般有3公里多，南极冰都是原始纯净水，结冰没有气泡，很实在。科学家在南极选择了一块

2015-06-05 14:37:30 1939 1

原创中微子有多大？

中微子（Neutrino）又称为“微中子”，是一种比中子还要小百万倍的基本粒子。我们一般人很难想出它的大小。在量子物理学里面，谈论粒子的大小，一般不用粒子球体的直径，而是使用粒子的“横截面”面积，表示粒子相互作用的概率大小。在基本粒子世界里，粒子“横截面”面积的单位是什么呢？实际上，基本粒子“横截面”面积单位是“Nanobarn”（纳米面积单元），一个“Nanobarn”等于1

2015-06-04 03:36:33 5001

袁萌专栏