闲扯科普兼数学

闲扯科普兼数学

原创 王道谊 滋兰 昨天

科普从来都不是一件容易的事，在“普”的过程中保持“科”的坚守，非常难。在日常生活工作中，一旦涉及和科学技术沾边的事，偏爱精确，仅仅正确是不够的。时间一长，得了obsessive-compulsive disorder（强迫症），饱受困扰多年。
这些天连续昏天黑地的，好多天没有和女儿聊天了。下午女儿抽空儿继续她的油画，得以闲聊一会儿。说到科普，女儿认为：科普过程中，有些可以不讲，但不能因为普而“不科”，甚至抱怨中学课本中的很多知识被“科普”了。
回想起“物体由物质构成，物体所含物质的多少为质量。质量不会因气候、海拔高度等变化而变化，是密度和体积的乘积。密度为单位体积的质量。” 绕来绕去，既不“科”也不“普”。还不如直接用东坡先生的方式描绘算了，“人生到处知何似，应似飞鸿踏雪泥”。
谈到科普，聊物理不太合适。数学大家都知道些，不妨聊聊。从小学到博士，到之后的兴趣所在，自以为学了很多数学。对于非数学专业理工科博士来讲，博士阶段的数学基础是泛函分析、张量，不理解希尔伯特空间、巴拿赫空间，不了解张量，就很难理解机器学习中常用的卷积神经网络、主成份分析、迁移学习、核函数、降维等思想。硕士阶段的数学基础是随机过程、矢量场、矩阵求导，不了解这些，连简单的多层神经网络的反向传播公式也推导不出来。通信原理、电磁场、排队论、传播动力学、循环神经网络、机器学习中的概率模型也都离不开这些基础知识。本科阶段的数学基础应该是多元变量微积分、复变函数、线性代数和概率论与数理统计。有了这些知识，看懂遗传算法、模拟退火算法、粒子群等算法、贝叶斯分类器、决策树、社交网络中的度分布等没有问题。仅学会高中学生选修的单变量微积分，也能帮助你计算抛物线下围成的面积，比2300年前的大师阿基米德用的方法牛多了。
林林总总，这么多年的学习，不可谓不多，走出校门，也没有忘记“苟日新，日日新，又日新”，但依然没有建立关于现代数学结构的整体认识。直到昨天我才问自己，为什么说实数域、有理数域，但不能说整数域？“科普化”处理，看来不只是影响了中学生，其危害程度远远超出了大家的认知。
现代数学以数理逻辑为共同的逻辑基础，以集合为共同的基本概念，以公理化方法为共同方法。布尔巴基学派认为，有三种基本的抽象结构：代数结构（群，环，域…），序结构（偏序，全序…），拓扑结构（邻域，极限，连通性，维数…）。基于这一严密的体系，现代数学才如此发达。
数学从来都存在严密性和实用性之争。但正是人们对严密性的不断探索，牛顿-莱布尼兹没有止步阿基米德的“分割法”，发现了积分和微分的互逆性，柯西也没有止步微积分基本定理，发明了ε-δ法则，完美解决了微积分的完备性问题。总之，不能仅注意“勾三股四弦五”的实用性。太“普”了，贪图省事儿，最终害己。

Being immersed in work, when I raise my head for a break, I’m grateful to see both the affectionate waters nearby and hills afar. --忘了出处。