Category Archives: 关于科研的文章

关于“研究生只求毕业拿证”

如果说,现在真的发现,大部分研究生的心态是只求拿证毕业,那这很可能首先因为研究生学位教育的意义已经只剩下这个了。如果说,研究生导师大部分也都想明白了,那他们很难跟研究生有什么共同的利益和目标,简而言之他们就很难是一路人。但是,大学生(包括研究生)“保就业”是严肃的政治问题。上面为了维持现状,不要造成培养方与被培养方一拍两散,造成大量“毕业即失业”的热血方刚人员流入社会造成不稳定因素,那就必须设置一个更大的约束环境。比如,让“学位证”变得更重要些、更有用些。因此,国家自然就要带头尊重学历,不能助长“学历不重要、能力才重要”的这种说法了;必须要让这个社会在最大程度上“唯学历”,才能使得大家仍然不得不听话支来读研究生,实现维稳。比如,让学历与体制紧密挂勾,而且给各种学术机构发放“牌子”的评审中,“人才培养”方面都需要重点考核,倒逼下面把研究生培养的数量当正事来办。这样能造成你至少还必须要个学位证,保证了研究生的生源。

今时今日,如果纯粹为了知识,并不需要来读大学,只需要学好英语。因为哈佛、MIT还有很多其他世界最著名的高校已经把大量公开课放到网上免费看了。对于中国人来说门槛只有英语。甚至若是字幕组给力的话,还不一定需要多高的英语水平。相比之下,正而八经来读大学,还需要自己掏钱交学费,全日制脱产。大学教学如果直接播放MIT的网课,比你找个博士青椒来PPT教学,有百利而无一害。

无非是因为“知识”并非人的全部,所以“高等学校”的意义也不仅是知识,而是人的全面发展,所以其意义才并非完全消失。但总的来说,光为了知识来读学位,必要性就会大减。所以你很难会遇上为了知识来找你这个研究生导师学习的研究生。

若说不仅为了知识,还为了将来能独立走学术道路,因而来找一个有资格的导师带路,抱有这种目标的人当然就更少了。不过相应地,有这种能力的导师也远不如光有研究生导师资格的人数多。有这种能力的导师遇到有这种目标的学生的概率也不高,一辈子能遇到一、两个,这个数据可以从很多科学家传记和谱系中获得。

所以剩下的大部分情况,研究生培养就既与知识无关,更与科学研究无关了,只有维稳的意义。那情况当然只会是,学生是恰好倒霉栽在某课题组之下的,纯粹为了拿证,那也只好听从安排;导师也清楚,自己实际并没有在学术意义上的角色需求,那还不如在短短两三年内尽可能榨干学生的其他利用价值。总之导师和学生没有共同关心的问题,话不投机半句多。这种形势就跟小公司的老板差不多。本质上是政策上为了维稳而扩招,造就了一大堆实际上只是维稳关系的“导师和学生”,变成了主流,给人一种“研究生培养风气败坏”的感觉。事实上真正意义上的导师和学生,包括真正意义的科学研究,数量既没增也没减。

问题在于,为什么学生对于导师会有可压榨的价值?反过来说,所谓学生对于导师没有可压榨的价值,应该是这么一种情况:研究人员想要保住饭碗而必须做出的高质量的成果量,而这种成果是无法基于现有的研究生素质基础而达成的。这样学生对于研究人员而言就没什么压榨价值了。如果情况是这样,导师和学生照样会“一拍两散”,实现不了维稳的目标了。所以现实中形成的必然是相反的模式,那就是研究人员去做一种平庸的、研究生不用多学习就能帮得上忙的研究,然后这样的研究必须能被承认。所以为什么你发现生化环材领域从上到下共同默许这么多平庸的研究课题,却能报奖报项目。

本质上还是为了维稳。

剩下的问题就在于,“研究被承认”这件事,也不是国内政策说了算。因为,你得在国际期刊发论文、在国际顶级期刊发论文、乃至拿诺贝尔奖,才属于“被承认”。闭门造车地自己承认自己,虽说也是一种方法(例如国家奖),但仍然不能完全服众。那怎么办呢?那就只好攻占“国际期刊”这个舞台了。让中国人做主编、中国人审稿、甚至中国人办国际期刊,把“话语权”拿回来,使得叫研究生直接当劳动力能做出来的研究课题,自然也“被承认”。

许多问题一分析都能归到“合法性焦虑”的本质上。“合法性焦虑”在最近这几年作的恶其实不少,只不过都是隐性的。

关于格式与排版的想法

本文只是一些散乱的想法。

引子

我个人对排版有一些天然的兴趣。

我从刚开始有电脑就先接触到了字体和排版的知识。这也可能是时代特色。在小学五年级我家就给我配了一台486电脑。那时候你出去书店买电脑书和杂志,看到的几乎都是讲386电脑。而且那台电脑还配了一台针式打印机。我之前从不同角度回忆过我小时候学电脑的经历,可以看这里这里,和这里。当时这台电脑的一个主要用处就是WPS排版打印。我一开始学习的内容也主要是这个,学习编程也是后面的事情。从这以后,我家电脑一直配着一台打印机,这是跟很多其他人家不同的一点。身边有一台打印机,我就经常打印各种东西玩。有一段时间,有一种纸,用喷墨打印机打上之后可以熨到衣服上,我妈都挺感兴趣,一起玩过一阵子。

到了我读高中的时候,我是一名特别潮流的电脑爱好者,懂Visual Basic编程、懂玩儿Photoshop做图片效果,用Flash做动画,用FrontPage做网页。我还记得我在网易空间(当时提供给个人申请的主机空间)做过个人网站,发布一的是数学学习笔记,具体是关于函数的。至于Word和Excel这些就更不在话下了。

大概也在那个时候,改革开放的大潮使得市面上出现了一些全彩页“进口杂志”,来自外国的那种很有设计感的排版,更当时国内传统的黑白排版形成了鲜明的对比。我对前者产生了很大的兴趣。在那段时间我特别沉迷于模仿这种西式排版做一些自以为特别酷的东西,即有打印出来的,又有网站的。后来过了好些年才发现,这种排版有点泛滥,相当一部分杂志只是空有其表。典型的就如国内航班飞机上的那些杂志。这种经历至少让我在排版上的审美经过了一些蜕变而有所提高。

我是知乎的早期用户,应该是知乎公开注册的同一年成为其用户的。我记忆中在知乎成为网站之前就看过一个同名称的博客,在上面经常有一些关于字体和排版的知识讨论。知乎刚成立的时候上面讨论最多的也是这些。

知乎网站的时间点,是在我博士毕业到出来工作的时候。现在一看一眨眼十几年过去了。我平庸而古怪地混迹于“学术圈”时间也不短。职业缘故我对字体排印的主要关注点集中在了学术交流的媒体(论文、报告PPT、海报)上。

学位论文的格式要求

从我读书的时候开始,学位论文的格式要求就是学校发给学生的一个Word文件。里面大致规客了页面、段落、字体、图表、参考文献格式之类。以往我没有在意这个格式要求本身的缺陷。似乎一直以来大家都习惯了,反正还是有很多细节需要导师亲自进行要求。例如物理量的字母和数量单位的格式、数学表达式的格式、图和表的格式等。背后可能还代表着大家习惯认为,格式要求是没有什么理论基础可言的。要求这样就这样。但是我在这方面的知识其实早已让我明白了一些可称之为“原则”的东西,我还做过一个介绍这方面知识的PPT,用来给新进组的研究生讲的。

但是直到今天我才从某个角度发现学生手头上的学位论文格式要求有何问题。以往觉得“没要求到”的,需要各学生的导师进一步要求的东西,其实在学位论文格式文件里是有的。那些要求本身都有国际标准或国家标准。但是在格式要求文件里遇到要遵守相关国家标准的时候,都只提一句“按照19XX年发布的《XXXX》执行”就完事了,没有一一附出这些提到的标准原文。可能一方面是因为国家标准是有知识产权要卖钱的,学校不能擅自就把全文分发给学生?但无论如何,这样规定一下,等同于没有规定。

例如关于物理量计量单位的表达要求,说是“国务院1984年发布的《中华人民共和国法定计量单位》及GB3100~3102的规定执行”,关于数字,说是“按国家语言文字工作委员会等七单位1987年发布的《关于出版物上数字用法的试行规定》”,但这些原文都没有附。学生看到了等于白看,最后还是只根据格式要求本文写出来的一些规定来编辑自己的学位论文。

学位论文是一名研究生在学术文书排版方面唯一的学习机会。类似地,学位论文答辩,也是他进行正式口头学术交流的唯一学习机会。期间学术会议的额外机会是不可保证的。比如我带的最近这两届学生,都因为疫情而完全没有参加学术会议的机会。所以我从内心很重视学生学位论文的格式,只不过年复一年都忙得不可开交,很多我想重视、想教的东西都没有真的做好。学校发的这个格式要求本身如果能完善,那倒是可以给一些爱学习的学生有真正提高这方面素养的机会。可惜的是这个格式要求可能年复一年没人管过,也没人改进过。

我的“品味”

在长期的学习过程中,我对一件事的确认不断地强化,那就是我跟Clifford Truesdell和Walter Noll有着相同的“品味”。

我赞同并欣赏已有物理理论的公理化努力。我认为这是一个有意义的研究领域。我希望有一天我们的本科教材能替换成这一领域的研究成果。事实上,我在流变学讲义中就尝试遵循一些已经建立的公理化引入。

我第一次看到Water Noll的neo-classical space-time构建是在下面这个地方:

W. Noll (1966), The Foundations of Mechanics, In: G. Grioli, C. Truesdell (eds), Non-linear Continuum Theories, Springer-Verlag

这书的印刷是用打字机的,有很花体notation是后面再用手写补上的。我不知道这些笔迹是不是Noll本人的。但从排版上可以说是非常不友好。我对时空构建的内容也完全陌生。但是不知道为什么,我一开始就感受到这个话题是很可能感兴趣的,鬼使神差地把它硬啃完了,果然感受到了无法用言语形容的美学享受。除了美的享受之外,时空构建的严密性,可以让后续的很多连续介质力学当下教材中容易让学生搞混的话题变得根本不可能搞混。

早期,我补习数学的唯一参考就是

S. Hassani (1999), Mathematical Physics: A Modern Introduction to Its Foundations, Springer

我知道这本书,也是从早年流传的“Fang的书单”中知道的。这本书对Fang而言是新书,他只是说好像还可以。现在回看,这本书给了我两个影响:1)是这本书内容很全,且在一本书之内Notation和概念体系是统一的。让我在刚学数学就感受到了世上只有一个数学,而不是割裂看似无关的不同课程。后者可能是很多数学或物理专业的本科生在现在的教育体系中获得的印象。2)由于要做到1)这书不可避免地要如其副标题所言比较现代。例如所有构建都从集合出发,coordinate-free的线性代数,把张量引入为多线性形式等。之前一度有一点让我很诧异的是,为什么我看过一些书,在知乎上就产生了一个感觉就是我看得懂那些科班出身的人说什么,还好像能对一些超越本科的话题进行评论。如果不完全是错觉,那可能是因为我一开始就接触现代的数学文本。

后来我从Hassani的书后参考书目又直接或间接地知道了很多书和作者。例如Halmos和 Hoffman and Kunze的线性代数。后者成为了我第一本主要学习的书。Hoffman and Kunze其实是一本处处透着抽象代数的普通线性代数,coordinate-free的色彩更浓了。一个让我曾经困惑,却反而是极其具有启发性的特点是,作为一个线性代数,全书没有“cross product”这个词。翻遍全书只有tensor product没有tensor,进行tensor product的对象叫多线性形式。现在回想起来,我敢说很多力学课程的讲述者与许未必能解答学生在一切其他不同地方看到用“张量”二字称呼的对象是不是同一个东西,有什么联系。

贯穿我教学的一种倾向就是希望传达知识的统一性,一种关于世界的一元论。我很厌烦的一种看法就是,在这个课你就这样来,到了那个课了你又就那样来。前面学过的知识,好像有些道理,但在后面的课总是无法直接使用。一个人在学生时期要同时掌握很多割裂的课程知识,而它们的融汇贯通则要靠每一个人在日后职业生涯中的个人的、私下的、也许很民科的总结,或者更多情况下干脆是忘却或放弃。

coordinate-free其实是线性代数的其中一种品味。现在在知乎上流行着一种批评以矩阵代数为主的线性代数教材。由于这是国内教材流行的体例,这种批评又附带着包括对国内教学落后的批评。但事实上线性代数教材一直有两种传统。矩阵代数这种是十九世纪末二十世纪初唯一的主流。coordinate-free是比较现代的风格,是随着抽象代数的发展之后反作用于本科线性代数教学上的结果。而就算后者更现代,在后者出现后也还有人喜欢按前者的方式写书,流行全球,那例如那本“Linear Algebra Done Right”,还有C. Lay的那本。

当然,我本人喜欢抽象代数的品味。具体说的话,这可能来自Bourbaki。但我最初也是有教学上的实际动机的。我希望我的流变学课程是介绍基于张量的本构关系的,这里面一个最重要的思想就是标架不变性。整个33课时的流变学课,跟高分子材料性质相关的非线性粘弹性本构的罗列,我只花了一两课时,剩下的32课时一半是在打数学基础,剩下的就是连续介力学基础。因此我一定要介绍一套方便描述和理解标架不变性的数学语言。一个基于矩阵和坐标的数学基础必然是不利于这个教学目标的。因此我的讲义很少出现坐标和矩阵来定义或引入代数概念,总是逼迫读者基于集合与代数操作来理解抽象的代数对象。而且在讲微积分部分的时候,也延用了这种风格,虽然微积分和数学分析部分我是参考看另外的书的(微积分看WCT 1965,数分看Rudin),但是我花很多时间尝试把数学实质重新用代数的方式描述了。除此之外,在引入Noll的neo-Classical space-time之前我还介绍了欧几里得几何的一个比较现代的构建,同样仅使用用讲义内的概念和notation。关于物体及其质量的公理化引入,我又恶补了测度论,但这个知识我是依靠网上的讲义的。现在还没完全弄好的点是,由于严格来说物体实际上不是一个sigma代数,而是一个布尔代数;物体的质量是在布尔代数上的测度,而并不是一个勒贝格积分。因此在这种新基础上是否仍有绝对连续的类似概念和拉尼定理的类似定理还不可知。Truesdell在他自己的著作中没有解决这个问题,然后说读者要是直接当作sigma代数和勒贝格积分也没什么问题。目前我讲义就是活在这个模糊的基础上

Walter Noll也有类似的品味。他写过一本书:

Walter Noll (1987), Finite-Dimensional Spaces: Algebra, Geometry and Analysis. Vol. 1, Springer-Verlag

这本书是作者认为自己一生中最重要的著作。他描述说这本书的approach是“uncompromisingly coordinate-free and R^n-free when dealing with concepts”。考虑到这本书副标题包括了几何和分析,它恰好完成了我努力想要在讲义中做到的事。作者在自述中还说:

I have been accused of being  too “Bourbakistic”. I plead guilty. I believe the work of Bourbaki was the most important contribution to mathematics in the 20’th century. Bourbaki was not a single individual but a group, some of whose members I met personally. Bourbaki was started, in 1935, by some young French mathematicians who disliked the way mathematics was taught in France at the time. To quote from the book Bourbaki, a Secret Society of Mathematicians, by Maurice Mashaal: “Gradually, the group’s extensive reflections and lively discussions led to a new vision of mathematics, a modern way of teaching and even doing it.”

In 1973 my colleague and friend Juan Schaffer and I became involved in an undergraduste honors program at CMU entitled “Mathematical Studies”. We  disliked the way mathematics was taught at the time and proposed a new way to present mathematics as an integrated whole and to avoid its traditional division into separate and seemingly unrelated courses, My involvement in this program finally lead to this treatise. Therefore, it is the result of a task similar to that undertaken by Bourbaki, albeit on a limited scale.

Noll’s papers (cmu.edu)

在书中他又说:

About 25 years ago I started to write notes for a course for seniors and beginning graduate students at Carnegie Institute of Technology (renamed Carnegie-Mellon University in 1968). At first, the course was entitled “Tensor Analysis”. I soon realized that what usually passes for “Tensor Analysis” is really an undigested mishmash of linear and multilinear algebra, differential calculus in finite-dimensional spaces, manipulation of curvilinear coordinates, and differential geometry on manifolds, all treated with mindless formalisms and without real insight. As a result, I omitted the abstract differential geometry, which is too difficult to be treated properly at this level, and renamed the course “Multidimensional Algebra, Geometry, and Analysis”, and later “Finite-Dimensional Spaces”. The notes were rewritten several times.

Walter Noll (1987), Finite-Dimensional Spaces: Algebra, Geometry and Analysis. Vol. 1, Springer-Verlag

这简直就是复述了我自己在学习数学时的感觉。我曾经找过其他标题有tensor的不同的书,想要把数学和物理学中所有用tensor来称呼的东西都归纳一下,提取他们的共性,然后以恰当地、简洁而又有预见性的语言在课堂上告诉学生,到底什么是张量,且说完后它既解释了连续介质力学中出现的张量,又要能解释数学书、广义相对论等一切学生将来可能碰到被称为“张量”的东西。在这过程中我接触到叫“tensor analysis”的书或话题,都一律把张量明确地或暗中地定义为一个带有若干个上标和下标的数、上下标的各类操作,以及曲线坐标变换原理(Christ-Awful symbol)。一开始我觉得,对于这种完全不考虑与其他数学衔接的数学书(至少,它不从集合出发定义义自己的概念)很不“专业”。后来我明白为什么会充斥这种书。这个知识是供要学广义相对论的学生恶补数学与言用的。潜台词就是这一套数学操作你反正要用,学懂学对就是了,考试做题就能拿到分,一种“会算就行”逻辑下的数学书。也就是在很多类似这种体验之后,我竟然明白了一个本来应该是物理学专业的人才有体验的现状,那就是他们的教学体系并不尽如人意。Noll在上述引文中对当时教学的批评,现在还是一样。

Truesdell一开始对张量的理解也是坐标式的。Walter Noll在NFT第3版中说,他在博士学位论文中采用一种coordinate-free的风格,Truesdell不习惯,强迫Noll补上坐标变量表述。但是后来Truesdell接受了前一种风格,在一封给Noll的信(1958)写道:

“I must also admit that the direct notations you use are better suited to fundamental questions than are indicial notations. Your present mathematical style is smoother and simpler than that in your thesis.”

C. Truesdell, W. Noll (2004), The Non-Linear Field Theories of Mechanics, 3rd ed., Springer-Verlag

我也在很长一段时间很烦summation rule。凡是看到通篇summation rule的课本我都弃如敝屣。我认为summation rule对于经典力学是一个很坏的发明(也许在广义相对论中是不可替代的,但经典力学的简单性完全没必要);它让方程的物理思想变得模糊甚至消失。物理学在理论中对数学的使用理应体现数学思想和物理思想的统一性,而不只是把数学当作语言和工具。在这个意义上summation rule是一种冗余产物,或者又是“会算就行”思想的产物。

“会算就行”,是工程教育的一种风气。“无需会算,却要真懂”的思想或品味,之所以会从我这儿产生,主要还是由于我是化学背景半路出家学习数学和物理的特殊情况。结果恰巧契合了上述的这些品味。工程课本会让你相信“会算才懂,懂就是会算,不会算就是不懂”,因为这些课本的教学目标是工程应用。不会算,懂也白懂。事实上,所谓“会算”,是一种肤浅的会算,所谓“不会算”,其实更会算。之所以不要后者,是因为工科教育的发展,学生多了,资质平庸了,教学时间有限了,各方面资源限制都不允许学生遍历抽代拓扑微分几何之后再“杀鸡用牛刀”地去解决一些以地球作参考系、对称均质的简单问题——明明记公式查表就能办到。

Truesdell在一本书理性热力学的书中也说过,要尊敬这些工程师们。他们正在做的事情甚至包括测量人造卫星表面的温度。工程师们测温度的情况,既不是平衡态,也不是准静态过程,但仍然依赖它完成了很多伟大的工作,然而在公理化的热力学中温度是平衡态概念。虽然从今天的角度看Truesdell提出的问题不是一个哲学问题,而是一个可以被研究的科学问题(远离平衡态体系有“等效温度”),但这些一般观点说明了,就算表面上现代社会已经承认“科学对技术的巨大作用”,从而在工程师教育体系中引入了大量现代科学基础,但实际上工科教育并没有正面地做好任何科学的教育。甚至由于这种教育的产物充斥在了学术圈,古典意义的科学研究受到的评价是非常负面的,尽管背后的哲学也是非常工具理性的。人们渐渐对作为纯精神构建的学术研究不再耐烦,对于“仅因为普适美而非要用牛刀杀鸡”不再理解。