一些对数学领域及数学研究的个人看法（转载自博士论坛wcboy）

Posted 2020-07-27

转自：http://www.math.org.cn/forum.php?mod=viewthread&tid=14819&extra=&page=1

原作者: wcboy

现在的论坛质量比以前差了，大部分都是来解题问答的，而且层次较低。以前论坛中，Qullien很令人印象深刻，但愿他能在国外闯出一片天空。现在
基础数学版代数&数论子版中那几个讨论代数几何的还不错。不期望目前论坛出现很多高层次高手，高层次高手应该站在好课题上高观点讨论数学，出
现这样的网友，看他们的言论非常过瘾。
以研究为目的的数学人，必须心中要有至少一个很棒的问题在手，而不是一味地读太多的书和深究一些价值不大的概念细节。

下面发一下自己对数学的人与事的个人看法。

怎样看待数学？不同的人看待数学的方式不同。如果想在数学上有所作为，必须理解数学的全局。但是数学内容如此众多，想全部细节都了解那是不可
能的。目前数学深深地烙上格洛腾迪克印记，一个数学研究人员完全不了解现代代数几何内容是不可思议的。在数学观上，普通人，普通数学人，普通
数学研究人，一般数学家，一流数学家，数学巨匠，他们的差别是巨大的。不同的数学观完全决定研究的起点和深度的巨大差异。
数学发展经历了古代初等数学、近代实用化数学，近现代公理化数学和目前的结构化数学。尽管数学风格的变迁，使看待数学的视野被极大拓宽和自由
，但数学的基本本质仍是不变。数学的基本本质就是几何结构和代数结构的延续和互相渗透。
为什么一个有理想的数学研究者必须尽可能地了解数学的最新进展（懂英语的重要性，看英语原著比中译本更易懂）,那是因为唯有如此,你才能了解目
前数学有哪些新的几何结构和代数结构出现，重要性如何。如果你没有跟踪最新进展，要么你在重复别人的研究，要么你根本没有数学研究能力并且根
本不理解数学在玩民科。追踪数学进展，并非要完全理解它的所有细节，其目的在于得到一个数学全局概观和下一步研究及学习路线。
就算你学完了某些（或即使所有（这没人可以做到））数学分支课本，那也只是变成一个普通的数学人，还没有进行研究的真正实力。只有当课本的内
容转化为自己的知识时，你才能理解数学家的研究，进而获得一些基本研究能力，但要到一般数学家研究能力，你必须具有一定的数学全局观，理解一
流数学家和数学巨匠的重要方法，并老老实实在他们限定的框架内解决一些必须克服的难题。而一流的数学家则必须完全理解数学巨匠的方法的优点和
局限性，并提出自己的不同方法而克服或缩小数学巨匠的方法的局限性，并引领时代潮流，驾驭数学朝数学巨匠指点的高端行进。
数学巨匠，完全不同于一流数学大师，他们不是引领数学主流而是反潮流的，一旦成功，则改变数学研究的风向，影响巨大而深远，为历史的里程碑。
一个人的数学天赋结构（天赋的高低、品种和快慢）决定了他的研究能力、方向和风格，比如一个人解题速度很慢，不意味天赋低，只是以放松的风格
来思考问题。尽管很多数学家说他们靠勤奋而成功，事实上他们的勤奋是建立在天赋之上才获得成功的。如果抽取天赋，即使再努力也不会成功。有的
数学家代数或数字天赋强大，如伽罗华，阿贝尔，拉马努扬，高斯，托伦斯陶，有的几何洞察力深远，如黎曼、高斯、庞加莱和瑟斯顿。没有数学天赋
的人，最好不要搞数学研究，否则成民科。天赋低的人数学竞争力弱，数学前途渺茫。为什么天赋重要，因为一个人不可能在懂所有数学专题细节后才
开始进行研究，在绝大部分情况下，是边研究边学习，这需要天赋自动引导研究路线和判断研究对象和方法的价值。进入一个全新的内容完全取决天赋
。大多数数学系的人的天赋都达不到研究级别。
一个人不懂stack、topos、etal cohomology、Godel不完全双 定理不要紧，带着自己的天赋和天赋积累的例子去看，天赋的高低决定懂的程度。最怕
的是不知道这些概念和构造的存在，因为在研究的阶段，你很可能会用上，至少可以让你学会以较高的数学观点看自己的课题。
非常同意Alain Connes的话：在我看来，关于数学首先要知道，我们无法通过学习变为数学家，而是通过做数学才能称为数学家（我加一句，必须有天
赋和基本基础的人）。
看万卷书破万个题的学习方式不是普适的，并且我认为是多为迂腐人所为，数学研究的起始只需要你的知识足够对付你所选课题的首期即可，后期必须
在天赋的引导下进行研究式学习来补充不足，天赋的最主要作用在于最后产生新想法、技巧或构造去攻克课题。
搞研究的人必须要先选合适自己天赋的课题，不能等到大部分基础打好后才选。有课题在手，使你容易选方向深入，在辨别中深入理解所需数学内容，
普通学习达不到这种效果，因为在思考课题时，有些内容可能比课本更深入了，变成自己的东西，课本学习就变得容易。选课题也是有天赋的。
数学研究的目的是什么？是解题。为什么不是乐趣和学习？一般的乐趣和学习是低层次行为，不属于研究目的。解题的关键是什么？是做出一个数学构
造。这个构造可以是一个例子的构造（构造一个例子去完成一个否定或辅助支持论断，比如构造一个具体的同调群结构（解决一个拓扑分类问题）或一
个特殊n体系统（解决天体力学中n体问题）），也可以是一般构造（比如椭圆函数和模形式的对应构造、亏格），还可以是基本构造（比如黎曼面、庞
加莱的拓扑同调及同伦技术、汉密尔顿四元数构造）去开始一门学科分支。解题的乐趣是研究数学最大的享受。
非常同意Weil的话：要想掌握高深的知识，唯一的途径是阅读大师本人的著作。Abel也如此认为。
只有读大师的书，他们才告诉你数学的真相和他们方法的原始构思和起源。大师的数学思想的价值是非大师不能比的，而且从大师的论文中，你还可能
读懂别人没读懂的隐藏思想。很明显，大师论文会明显或隐晦地回避他的方法的某些缺陷，这不是每个人都能读准的，有的被后人发现，有的没有，有
的还被误读。比如在看代数几何以前，先读一下Dieudonne关于代数几何的发展史及关于数学结构分类的文章和书是非常有益的，这有助于消除对高度
抽象的恐惧感和直接进入高度抽象后的抽象迷失症（不知道抽象的目的后的盲目抽象）。

尽管数学越来越抽象而高深，但是一个正常的数学研究者必须明白一个真相，数学的基本结构才是数学的核心，基本结构才是数学结构抽象赖以生存的
基础。基本结构分几何和代数两部分。
现有的代数基本计算构造包括实数、复数、矩阵、汉密尔顿四元数、凯利八元数、格拉斯曼代数、模代数（mod(n)），包含所有基本运算及置换运算。
几何基本结构包括解析几何结构和拓扑结构。所有数或函数域扩张是基本结构或混合结构的子部分或模拟。复数与实数结构有一个很大差别，数分解的
唯一性和非唯一性，这直接通向环的理想结构，方程解的性质分析直接导致用矩阵结构处理不同群的计算，模代数导致循环群和环的概念扩张（周期封
闭运算）。矩阵、汉密尔顿四元数、凯利八元数、格拉斯曼代数中非交换或非结合的主导地位。无穷结构（康托尔连续统）对代数结构的限制，导致连
续计算结构和离散计算结构的差异。
任何代数结构都必须用来处理几何结构，否则没有意义。代数是工具，几何是灵魂。正是复数、矩阵、汉密尔顿四元数、凯利八元数、格拉斯曼代数在
出现时没有对应的几何应用才导致争议或被忽视。几何结构用代数构造来处理才能到达深刻。
所有方程都是函数，函数基本可以和方程等价看待，如果在不违反康托尔连续统结构条件下。数论方程是离散几何形，分析方程是连续几何形。
基本计算构造中的一些基本计算形式必须被了解，比如分析中的泰勒形式，傅立叶级数，外微分形式，柯西复公式，调和级数。复数中的欧拉公式，复
函数的自然级数ｅ表示公式。
一些基本的思想，比如函数点化的函数（参数化）向量空间（甚至更抽象的等价类的moduli空间（概型））思想（一个高维图形或等价类可以看成抽象
空间的一个点），比如函数的（系数或系数加部分变量）形成坐标（环域）和变量形成的向量基，基本的如整多项式和劳伦斯多项式，系数和变量可以
不是实或复域，可以是矩阵或其他计算结构或混合结构。

格洛腾迪克的结构数学和希尔伯特的公理化数学看似相同，实则不同。公理化重在处理逻辑，而结构化重在处理构造。所以结构数学的计算技术得到强
化。在数学中，个人以为构造比逻辑重要和有效得多。
抽象代数最有价值部分是群的计算，尤其有限单群，其次环域分解，即什么样扩张域能使某个特定环的分解变成唯一的。代数几何的最好部分就是上同
调群的构造和计算。个人认为格氏代数几何虽然应用于拓扑和数论，但还是其数论的效用显著，几乎是为现代数论定身制作的。尽管同调群计算可以应
用于拓扑，但对拓扑的深层次问题的解决帮助不大，主要是庞加莱的同调和同伦技术不能处理这些深层问题，对此庞加莱本人十分清楚。

当对比前辈时，当代数学家的影响和地位一般都会被当代数学人拔高。历史长河将会自动降低大多数人的影响力。所以你必须对数学家的成就给予较合
理的评价，这样才能合理地理解数学思想和构造。一个盲从的人，其研究能力将被降低。就个人观点而言，能在庞加莱和希尔伯特后称为数学巨匠而无
争议的人只有格洛腾迪克。格洛腾迪克第一次真正地总结了所有现存的代数与几何结构，实现了纵横联合。但不应过分拔高其影响。个人认为他还是不
具备黎曼、庞加莱、伽罗华、高斯、阿贝尔、希尔伯特的影响，因为他们交给我们一些基本计算构造，而格洛腾迪克只是综合别人的构造。
几何的洞察力比代数天赋更宝贵，格洛腾迪克的几何洞察力比较弱，其代数几何更像是为从事数论的人打造的，适合算术几何化分析。这点可以从他的
拓扑比较弱，抽象代数比较强可以看出，尽管他最初从研究拓扑起家。他的代数几何继承了经典抽象代数构造和拓扑技术构造，尤其同调技术（庞加莱
的拓扑同调看来比希尔伯特的多项式同调更加深刻）。拓扑结构，格洛腾迪克的东西是罩不住的。康托尔连续统结构，格洛腾迪克的东西是罩不住的，
但格洛腾迪克试图用（拓扑斯和范畴）罩住它，这很不现实。
康托尔连续统是整个无穷构造绝对核心。康托尔连续统的构造并非完美，哥德尔只是从逻辑层面而不是从计算构造层面解决康托尔无穷结构。任何对康
托尔连续统结构的调整必将引起数学面貌的重大变化。如果从代数方面简单地处理康托尔连续统，就算以后被证明是对的，目前也是很难被认同的，就
如格拉斯曼、汉密尔顿的境遇，康托尔本人当时境遇很惨。约翰康威在康托尔连续统上做了一些探索，但那只是游戏而已，非标准分析就只是一个拙劣
的模仿产物。代数基本计算结构的新出现（发明），必须反应在几何结构重大自然发现中。格拉斯曼代数在多变量微积分张量结构中，汉密尔顿代数在
麦克斯韦方程中的应用，才使这些构造有意义。本人认为康托尔连续统构造不是令人满意的。
当前格洛腾迪克的东西被人过分拔高了。它的局限性是很明显的，它更像一个数学的抽象合纵，不能用作提供解决一些关键数学结构的代数构造武器，
尽管以后新构造会符合抽象代数的某些要求。现代几何尤其拓扑仍然笼罩在黎曼和庞加莱的影响下。
当代最有几何洞察力的人是瑟斯顿，但他那一套解决拓扑结构的方案不能令人满意。拓扑结构目前是最有研究价值的数学方向，但拓扑的研究现状令人
失望，完全没有突破黎曼和庞加莱的阴影。庞加莱本人完全清楚他主要拓扑构造技术的局限性。一般（点集）拓扑学纯粹是从概念上附和康托尔连续统
结构而创制的，没有多大意思。微分拓扑与点集拓扑和微分几何联系太紧，体现不出拓扑的基本思想，只有代数拓扑是希望所在，但现状（基于同调和
同伦计算技术）完全令人失望。拓扑结构和康托尔连续统间关联有很多不清楚的地方。

想要进入高端数学研究，必须学会鉴赏主要数学家方案的优劣（就如每个建筑师做自己的方案一样，会有不同效果），而不是全盘学习并完全陷入他们
的方案，而是要随时设想自己的方案与其比较。因为数学文献是海量的，即使高斯、庞加莱再世，他们也无法看完。这时研究者只能凭其天赋直觉来挑
选。如果一个方案没用或用处不大，马上抛弃，不要浪费时间去学习。现在没用或意义不大的数学内容太多。即使是数学大师，他们的一些东西也是用
处不大的。
有两种途径进入高端研究领域，在一个自己能深刻理解的数学基本构造基础上，寻找合适的现存顶级难题；其二是自己在思考数学基本构造的基础上，
发现并合理提出新的顶级问题独自为自己拥有（在未决前不公布），正如庞加莱在为解决天体力学的n体问题时所为，庞加莱的拓扑遗产比黎曼要深刻
多了，构造idea和技巧也多。
不是每个世界难题都有基础数学意义。费马大定理就是一个好题目，它见证并参与现代抽象代数结构（尤其环理想）和椭圆曲线模结构的全过程。而哥
德巴赫猜想就不是一个令人满意的难题，四色问题也是如此。庞加莱球面猜想的重要性被高估，尽管有瑞奇流技术，但没有直接产生有效代数拓扑构造
。一个难题的好坏在于研究它的过程中产生较大普适范围的基本构造。

拓扑不变量的观念太深地根植在数学中，已经成为一种负担。目前的拓扑不变量太粗糙，附加条件太多，稍精细的技术太难计算或实际不能计算。使用
不同不变量，使同一个拓扑形与其他不同拓扑形的形成不同拓扑等价类，即两个拓扑形是否等价，取决于不变量技术的选取。
事实上，拓扑形之间有些等价性是相对的，条件变了，等价性也变，有些则很隐晦的。同时，与康托尔结构发生关系，显然造成拓扑结构的复杂性。维
数有关键性作用，高维拓扑不能由低维拓扑直接而简单地推广，高维比低维深刻很多。
阿蒂亚和邱说数学家看见了这些几何形或拓扑形，但就是没有办法。几何洞察力，首先就是看见形的静态或动态特征，尤其对复杂图形和高维图形的想
象力（不要老想着几个简单图形，它们体现不出很多拓扑深入后的细节）,提取几何分解概念和结构，然后利用它们重新代数地构造所有拓扑形。
我并不认为当代这些名家真正看清了这些高维拓扑结构，如果看清了，必然在处理方式上有所反映。显然有一些重要概念没有得到完全理解。一些有效
的拓扑分解概念和要素，被深深隐藏，需要强大的几何洞察力和数学全局观。需要突破的关卡和迷雾众多，而且像一个复杂的关系套，需要连续理解和
挑战。同调和同伦技术不够深刻，不能全面反映所有拓扑形细节，它们不是一个理想的拓扑代数工具。拓扑基本计算构造应该不在目前所有代数基本构
造范围内，需要新的代数计算工具。
数学的直觉往往是以具体而恰当的例子来转换的，恰当例子越多，通过直觉得到的构造被“证明”越“正确”。具体的例子比抽象的定理叙述更有说服
力，更容易理解新构造。当你学习格洛腾迪克那样抽象的数学结构时，手头必须备有很多实例去对照。恰当地掌握了这些例子，也就恰当地掌握了数学
。格洛腾迪克的抽象并非肤浅的抽象比如像非标准分析那种，而是基本结构为实例的深刻抽象。

中国人长于代数计算尤其数论，而短于几何分析，这是从古代流传下的传统，现在这种影响还是十分强大。陈邱二人在华人传统上进行了很大冲击，后
来一些在国外的华人师从他们的道路。
看不惯国人对陈邱二人数学学术影响力和地位的过分拔高。他们二人对数学整体的理解，个人不完全赞同。尤其不喜欢邱（和威腾）对数学和物理关系
的看法。牛顿把自己的名著定为力学的数学原理而不是数学的物理原理是有绝对感觉的。对物理和数学关系的看法，牛顿、庞加莱这些人才会有深刻体
会。目前数学和物理关系正反映了现代数学缺陷，特别量子领域与康托尔连续统和拓扑结构有密切关系。现代理论物理已经沦为数学游戏（一个真正的
物理家应该理论和实验通吃），而邱的数学寄希望通过理论物理来解决，非常不好。物理只提供实例，数学的基本构造必须源于自身。

 

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
plp归来

37
主题
23
好友
7207
积分
助教

金币707 威望130
发消息
板凳
发表于 2011-1-9 12:00:13 |只看该作者
回复 2# wcboy
确实这个论坛没有以前的质量好，确实也没有个高手，我在本科的时候看过你说的高手们，我没有觉得他们的言论有多好。知识的积累是需要的，水积
之不厚，其负大舟也无力。举个简单的例子，你看一下国内的数学家引用的论文，要么很少，要么引用好多同一个人的论文，你再看看著名的数学家，
他引用的论文很广，涉及领域很多，涉及人数很多。一个说明国内的数学家积累的很少，一个说明他们研究的领域没几个人研究。他们也负不起大舟。
还有为什么要和其他人合作呢？是因为一个人的知识有限，和人们合作，知识的积累成倍增长。
读书为什么要仔细的读，为什么要抓住每个细节不放，一是因为我们在做数学的时候很多时候是研究细小的问题，这样才能保证我们的证明无误。
才能保证我们的idea不是空想，二是因为我们可以看到别人是如何利用定理的，证明不重要，但我们看懂定理证明的同时，我们发现定理可以这样用。
你说的代数几何的结构，我要再说几句，这个抽象结构到底是什么？只看结构主义的哲学论文，根本看不出来。这个结构就是范畴论，和由范畴引发
的同调代数。这就是代数几何最抽象的结构，如果不懂范畴论与同调代数就没法研究代数几何。
我们这些爬楼梯的人虽然没有坐电梯的人快，但是我们掌握了这座楼的大体情况，再在这座楼上建造怎样的房子，爬楼梯的人可能比坐电梯的人更有
发言权。

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

plp归来:
像Qullien这样的网友表现出了很高水准，他对代数几何的背景、人物贡献、书籍、各种问题的发展状况作了很个人的看法，没有一定深度是说不出这
些感受的。在国内论坛中还没见过这么强悍的个人评论，不计那些成熟的名家言论。当然这并不代表他对那些内容真的了解很深，但至少全面和个人数
学天赋应该没有问题。当然国内应该出不少致力于代数几何课题的新一代强手，水平不差于他的，很多也在西方国家数学。但很多忙于研究，在论坛露
面散心的不多。
国内数学家确实不行。他们的研究领域为什么不吸引人？因为成果没有吸引力，能力较差，不能辨认数学发展方向，追踪最新数学不力，还有很多人不
是喜欢学术是喜欢权术和财富地位，邱的指责是对的，尽管他想树立他的华人第一的形象。不管邱的动机如何，他有实力树他自己，只是其对田的责难
太过，国内的人出国以后，国内的还毛病应该是有的，不过他在佩尔曼庞加莱问题上的表现不是令人满意。
关于数学合作，仁者见仁吧。对等水平相投的人可合作。个人认为独立研究的结果更深刻。
读书仔细这个问题是个人风格，只要最终能解课题就行。比如同调技术，学到多少才是每个细节不漏，问题是每本书都有不同著者个人喜好细节，肯定
也漏。你说的细节是书的细节而不是同调技术细节，二者不等。在高端课本中，存在很多开放问题，很多技术细节是不成熟的。怎样才能算懂，构造一
个去计算，这容易吗？对名家都是很难的。不管你坐电梯或爬楼梯，最后能出成果才算数，不出成果读多少书都没意义。解题的细节才是数学研究的命
门。
证明无误，对很多长证明来说就很难保证了，就算很多专家也不能保证无误，比如有限单群证明、四色问题，有很多人是怀疑的，不是怀疑定理的正确
性，而是证明的方式和过程的保证。其他人自己不能验证，只能信专家和他们的仔细检查。另外，就是数学本身的严密性，每个时期这个严密性有可能
变化，比如分析领域。
格洛腾迪克的文集那么多又是法文，多少人能全看完？中间就没有不成熟的甚至不合理的（不想用错误这个词，不合理不等于错误）。但他的基本思想
和结构效用应该是没问题的。其最大贡献就是建立了数学语法。
不喜欢范畴这个概念，它的出现出于修补集合论的悖论（个人很反感集合论的选择公理），当然所有东西都可以往里面套，万能胶。其实集合论就够了
，集合论的很多东西不是喜欢，比如皮亚诺自然数公理，纯属多余。映射、态射、变换、对应不就一个意思吗？搞那么多概念，其实（1 to n or x）
或（n or x to 1）变换、双对射变换不就行了。态射图的数学风格我是不喜欢，当然它有一些好处。

我的本意就是有数学天赋的人要尽快进入研究状态，在研究中学习。伽罗华研究他的方程时，我怀疑他是否学过微积分，反正也用不上。阿贝尔没问题
。不知道阿贝尔学过高斯的微分几何了没有。怀疑。

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

plp归来

37
主题
23
好友
7207
积分
助教

金币707 威望130
发消息
9楼
发表于 2011-1-10 12:19:37 |只看该作者
回复 6# wcboy
我保留我的看法，我们是不一样的人，让时间来说明一切。
///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

谈一下对课题选择的看法。
选择课题方式是很随意的。比如有的人一上来就选著名开放难题，有的是通过与合作伙伴（比如师生、同学或相头的人）交换看法后选题，有的按所学
专题选题，有的早早选题，有的会在研究生阶段被动选题。有的是人找题，有的是题找人。有的是选别人的题，有的自己造题。
个人对选题的看法是，选题一定要符合自己的天赋类型，一定要是自己感兴趣的或者入题后感兴趣的，选题越早越好，最好是题找人。题找人是最自然
的，往往说明这个课题非常适合自己的天赋和趣向。但是题找人是有一个过程的，不同人的时间不同，幸运的人很可能一下子在20岁以前才发现，晚的
可能要在30岁以后。自己造题比别人出题意味着数学的独立性很高。

中学时认为代数或数论适合自己，是微积分学习改变了轨迹，花一年多时间看微积分，书看完，完全不明白它的核心结构的含义，只记得级数很有意思
。顺着看实分析、泛函，越看越蒙，直到看到康托尔连续统、勒贝格测度和哥德尔不完全定理时，就完全明白了分析实质，同时对数学和学习有了自己
的看法。数学体系不是完美的，严密度是有界限的，每个数学家都有自己的看法，我应该也有自己的看法，我应该了解主要数学家的看法而不仅仅课本
的一家之言。了解大师的看法就是直接读他们的论文，看不懂，没关系，去翻书在回过来看。在这个过程中，发现大师的看法、层次、类型、视野和难
度差异很大，有的喜欢有的不是自己一路的，觉得数学分支的划分是人为的，数学的进步是围绕问题解决的，对数学家及其方案要有自己的评价。任何
数学抽象必须基于底层最基本的东西。
其实微积分最实用的核心就是无穷级数的计算，数学分析的基底就是康托尔连续统，只有计算级数收敛或发散速度时，只有看到康托尔集和门格海绵、
希尔伯特空间这些构造时，才真的感受到连续统的存在和优美，但哥德尔让人看到它的缺陷，也让我感到不安。所以连续统构造一直在心中占据。这也
让我对抽象数学有所反感，我花大量时间去看数理逻辑和晦涩非标准分析，了解希尔伯特的公理化，结果令人失望，没有任何实际意义的数学结果，是
一些花架子，得出自己一条很深的教训，千万不要让哲学分析进入数学（很多民科（甚至某些数学研究者）以哲学和幼稚的方式解连续统问题和讨论选
择公理（业余数学研究者和民科是有区别的，很多业余和本科非数学系的转行成为大师的不少），哲学经常通过逻辑夹带进入），逻辑虽重要，但数学
的构造才是最基本的。用有意义的构造方式处理连续统才是正道。用实例处理抽象，以几何制约代数，显然我喜欢庞加莱而不是希尔伯特（希尔伯特空
间除外）和格洛腾迪克。并非认为抽象不重要，问题是什么样的抽象才是重要的，表示理论才让群深刻，不同维数空间中的正多面形（或胞腔形）自变
换、循环群置换才是关键，矩阵是最复杂和深刻的计算构造（比如阵内的某些块对易很有意思，体现了局部交换性（比如阿蒂亚的k-理论）），很合适
用来构造和计算等价类，可以自由操控方程。数论中的椭圆函数与模形式比较有实战意义。
分析与几何是天然浑成的，微分方程和微分几何的划分只是不同角度看问题，实际是一个东西。微分几何强调度量结构而微分方程强调参数与坐标。泛
函最好的东西是希尔伯特和冯诺依曼的东西。至此深以为几何比代数更有意思，图形比数字有意思，尤其自由图形比规则图形更有意思。所以深深喜欢
黎曼与庞加莱，尤其是庞加莱研究天体问题决心放弃经典几何方程进入代数拓扑领域时感到的开阔自由，因此去看拓扑的东西，越看越带劲。尽管或多
或少地看了不少人的东西，诸如瑟斯顿、琼斯、米尔诺、莫尔斯、唐纳逊和其他人的一些东西，感觉还是要从庞加莱的角度重新开始，其他人的视野不
如庞加莱，可以感到庞加莱对自己的工具不如其他人那么乐观。而且别人对他的几个工具重视不一，比如他的同宿栅栏（或轨道）工具还未发酵太深(
由它变出KAM)。拓扑的定性分析应该只是他的无奈之举，其意还是要找到一个更好的计算工具，但是他不能，他的本意应该是要彻底排除以微分方程研
究拓扑（实际他已经做得很不错了）。拓扑学的现状是以庞加莱方法为源的诸侯割据。当然也有庞加莱之外的，但不深刻。个人以为这些混乱正是拓扑
学不成熟的标志。

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

难界定不等于不存在，灵感就是直觉（或数觉），就是天赋。天赋有不同类型，你说的属于慢型天赋，比如很多数学家不习惯短时间考试而成绩不行。
为什么有人研究一辈子数学没有成果？为什么一个本书看了5年你还是看不明白？
是的有的人花的时间长出成果，有些人很短出大成就，有人半道出家都行。有些人看书做题破万道，有的人只需要蜻蜓点水。数学家不只有一种类型，
不过很多中国人以为世界上的数学家都是丘成桐、华罗庚和陈景润式。还有很多天赋低的人总是不服或妒忌那些天赋高的人，喜欢跟人比。
得Fields就是判断一个地位高低的标准吗？对一个数学结论的评价取决于你的层次，而你的层次得看你的研究深度。
Kline的那个著名的纲领，那又怎么样，包含了拓扑结构了吗？最后还是没有想象那么好，庞加莱对那个东西不也没有太大兴趣。你要严肃评判
Thurston的GT3和庞加莱出现，你要对整个拓扑学有较深的理解，最好你能看到一些它的缺陷和他没看到的东西。你能有通吃所有维数下拓扑流形构造
的想法吗？你能真正想象一个高维复杂流形的形状吗？高维的东西为什么要抽象，因为几何很难想象，虽然通过方程描述，但不等于你能想象它的形。
但是有人就是能有别人不具备的能力，比如Thurston能看见一些高维拓扑形。高维拓扑形的想象和拉马努杨数论想象是同样难的，能正确理解Thurston
说他的东西写不出来两重含义？

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

研究时间和学习时间的分配：
这是每个数学研究者必须考虑的，你必须放在整数学生涯中考虑，对于天赋高者，必须从你学习的早期阶段就要有所考虑，在学习时同步思考和调整你
将来要选或思考的问题集，即有目的的学习，其实对大多数人来讲，是说的容易做着难，但对天赋高的不是太大问题。
从整个研究生涯来看，学习的时间越多，那么研究的时间越少。要讲平衡，在这个基础上尽量缩减学习时间，这也就是天赋高的人学习时间少的原因。
但无论你天赋怎样高，你还是要时间学习的，要面对大量书籍和论文，还有每个人不同，其他事要占据很大一部分时间，其实留给研究或独立思考问题
的时间并不多，而且当你遇到进行不下去时，还要放弃一些时间，比如去旅游，半年之内放弃思考等。
那么多的书和论文，你显然不能全看，而且没有必要，如果你课题目标不明确，这就是一个麻烦的事。所以早早得到合理的课题或课题集是最好的办法
，围绕你需要的东西或深或浅地学习，只以解决问题为目标。解决一个问题，你的研究生涯就值了。别以为破万道学习题是万能的数学研究的起点，如
果这些不能为你日后的思考通过太大的帮助，也是无益，如果帮助大，恭喜你为自己课题积累了经验。要知道破万道题的时间（一天一、两道题，这要
花多少时间，你不可能整体数学吧，很现实的话）说不定比你破解一个研究课题化的时间还要多，但不合算。只要做题量能帮助你理解就行了，因人而
定，因天赋而定。
首先，每个数学论文或专著或多或少都是有点价值的。你完成的课题要想得到别人的阅读，必须价值越大越好，否则只有沉睡的份了。有时太超前，别
人无法找到应用，就算未来价值大，也可能遭忽视。价值越大的深刻课题，一般天赋要求也越高。如果要想得到价值最大化而风险最小，研究一流数学
家的问题。如果要进行有风险的数学革新，研究数学巨匠的问题（一般这样的问题要自己找，别人不能给你）。这两样类型，没有过人的天才，那最好
别想，如果去思考，只是徒费光阴或成为民科。所以大部分有天赋的人只能研究一般数学家的问题。如果选一般数学问题，也就意味着你需要放弃很多
东西，意味着你局限在一个狭小的分支内，你得遵守它的规则，学习它的目前能有的所有细节，其他的外部分支，你就看自己的时间，能弄多少算多少
，说不定那天有用。因此，就算你在狭隘的分支内工作，时刻要保持开放的mind，因为水道渠成而有受外部知识影响，而一个人有时又不能完全知道自
己的天赋所在（这是有可能的，这就是不放弃的原因），你可能会改变研究方向而进入另外的领域。

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

关于对权威的质疑：
数学巨匠和一流数学大师都属于数学领域的权威，他们的理论或流传百世或在当代有显著影响力，甚至某些准一流数学家也属于权威，某些水平低一些
的数学家也有一些低一些的影响力。但是无论如何，事实上数学没有因为他们贡献而达到完美，数学仍然存在数不清的问题，一些问题还隐藏很深，只
要你会以合适的方式问问题，数学仍会给你惊奇。况且他们的理论中某些还有不完善的，甚至某些论文中隐藏较深的错误或不合理细节经历很长时间后
才被后人意识到。
数学的每个进步都或多或少地需要新血液，这些新血液很多是由新人来完成。在完成一项重大贡献后，一个较小名气或甚至没有名气的数学天赋隐藏者
从台后走出而成为一代大师或巨匠。从这个意义讲，在那些默默无闻的人群中，隐藏着未来的巨匠，因此我们必须反对神化现世的权威理论，要对他们
的理论进行合理的质询和判定。

质疑精神不足会妨碍我们看问题的眼界，怎样对权威的合理质询呢？很多民科也反权威，但更多的是无知，他们中的大部分只是妄想那些原本不属于自
己的名声而留名“青史”，这些完全不懂又不愿或根本没有能力去学现代数学的人如何有资格反权威？显然，如果一个数学人没有较深地对现代数学进
行研究，他是没有资格和实力去质疑权威理论的。很多难以制服的公开问题经常显示权威理论的缺陷，只有你深入研究后才能看到这些缺陷，才能去想
新方法去质疑它。
对大师的高山仰止是很容易和盲目的，质疑权威不是一件容易的事，但却是每一个有深度数学研究者必备的。无论是对大师甚至你的导师，你都必须对
他们的理论作合理判断，在你的研究中，你应该把自己看成他们的对手而不是崇拜他们，尽管你这个对手目前还不是别人的对手，或许永远不是别人的
对手。但是，历史的事实就是，这些研究者中必然走出一些超越他们的人，以前如此，以后也会如此，这就是做研究的动力之一。
从某种意义上说，做研究和质疑权威就是找缺陷和想办法去解决。一个有深度研究的无名之辈，其数学观点和层次完全可以高于这些权威，只是他们中
很多还缺乏另外一种能力，找到合理构造对能力，如能突破此道障碍，那么他们中的某个也就超越了这些现世权威。

关于论文。
大师的某些论文总是存在缺陷或不合理的地方，甚至还有某些错误，但这丝毫不影响其价值，只是让发现它的人觉得不爽。这说明写论文不是一件容易
的事，即使是一篇突破性论文，不能简单地用明白无误的证明才够发表这样一个标准来衡量。一个理由是，当论文太长和问题结构过于复杂时，创作者
和审稿人都有能力上的限制，暂时还不能发现这些缺陷，甚至认为它们是对的，这种事情时常发生，比如在庞加莱身上，近一点的有怀尔斯的，佩尔曼
的初稿也有缺陷。因此，一个复杂的证明，很难保证没有一点错误，对于作者，就算他已经完成研究和论文，仍然要放一段时间去沉淀，让没有注意到
的问题晒出来，不要急于发表。对审稿者，也需要长时间去发现问题。即使论文被发表，并非就代表它完全没问题，很可能过很长时间后被某人发现，
这样的事也是有的。但是能发表的大部分论文，应该是其价值是很明显的，即使有错误也不影响它的价值。如果追求完美，有很多极具价值的东西不能
被发表，因为作者很有可能一生也不能完全解决甚至发现缺陷。
因此读论文都要带合理的判断，并且要尽量读透你感兴趣的论文。

现在的论文发表体系肯定产生大量价值较小甚至垃圾论文，真正重要的论文只是极少数，里程碑或重大影响的论文很可能数年才会出现几篇。首先，我
们应该容许这些低质量论文存在，它们维护了整个数学组织的正常运转，数学家们也要谋生计，同时，小问题的出现激发众多数学研究人员保持研究活
力，有时它们是为大问题蓄势。尽管几率比较低，但某些低质量论文中也包含一种潜在解决大问题的思想，只是作者天赋不够，无力发展，如果有幸被
高人发现，则可以派上用场。如果一个学术杂志专门登突破性论文，它就开不下去了。其次，作为有理想研究人员要知道，没必要过多读和过分重视论
文，尽量挑感兴趣又重要的论文读，凭自己的积累和直觉从大量论文中发现它们，这不是件轻松的活。

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

to 洛奇:
质疑就是正确评价别人的东西，并不是否定别人的东西和对别人的不尊重。并不是人人都有能力去质疑，否则不理性。其条件与你的实力有关，与年龄
无关，很多人年少成才，比如20左右，因为他们那时已经具备质疑的实力，最后也早早取得成就。但是绝大多数人实力都达不到要求，无论你是一般大
学生或研究生，当然学习的份就多。就个人一般观点而言，达到博士阶段，或多或少应该有此能力，否则太水。对于过人之人，没有年龄和阶段限制。
不主张一般人去做没有实力的质疑，但强大天赋的人在研究解题中须不断去质疑，不要太过限制自己。

无论整体和个人，东方人在数学上与西方人比，差距是比较大的，华裔也是如此，我想应该与传统文化环境有关。
很多国人抱怨国内环境太差，我想这不是决定性因素。首先，现在中国经济上比以前西方的经济环境强很多，而且中国历史上比西方国家富有和强大有
很长时间，但是西方一些巨匠大师是在贫困的条件下成功的，有的人生前都不被认可，有的还在战争中作出成就，所以以经济为借口说不过去。以体制
为借口也是说不过去的，比如前苏联和东欧。就算国内学术体制不如西方，影响整体，但对真正有天赋的个人应该影响不大，如果手上真有硬货，完全
可以在国外找到机会。所以，无论怎样恶劣的环境，天才就是天才，环境降低不了他的能力，因为他有实力和强烈的征服问题之心。
我想古希腊和古罗马的文化对西方人影响至为深远的，理性、质疑、学习、冒险和挑战完全融入西方人的传统和血液，他们中的精英和天赋携带者作为
个体将这种特质转化为成就。这些综合特性很难在东方精英中体现，东方人讲究实用、方圆、顺从和曲线绕道策略。东方对小孩的教育归于保守，对于
一般人是适用的，但对天才大大不好。如果一个小孩从小就被动学习，搞“精英教育”，没有玩的天性和自由，照着父母希望的路走，害怕失败，失去
很多自发自主行为，最多也就是一个以常规思维考虑问题的天才。西方人群中的科技天才无论数量和质量远胜东方。西方所有巨匠级天才和一些一流大
师完全不按常规出牌，随心所欲。尽管东方有一些数量不多的一流大师，但东方人缺乏黎曼、庞加莱、阿基米德、高斯、伽罗华、阿贝尔、牛顿、格罗
腾迪克一类巨匠的人物，传统基因是最大一个因素。
总的来说，很多天赋强大的人尤其巨匠式天才是自主自发式学习和研究，绝不是培养出来的，因为这种级别的人，学习速度太快，境界太高，别人很难
真正做他的导师和达到他的境界，只是徒有导师虚名而已。

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

一些人理解歪了，如果一个论坛没有有趣而深刻的见解出现和讨论一些较深的和最前沿的问题，而只有较低的问答层次，这样的数学论坛就没趣了。深
刻见解和最前沿问题讨论会激发一些潜在的真正数学研究者。
每个人学习数学的目的不一样，每个人对数学的激情不一样，每个人的数学内容的喜好不一样，每个人的数学积累和天赋不一样。这些不一样会让你期
待不同的数学讨论。
对于一般人，了解简单数学就够了，过深的数学对他们是有害的。对于一般数学应用者，过深的数学研究也是有害的，理解能用上派场的内容就够了，
不要什么都追根究底，除非你的课题深度真的需要。只有真正有能力和天赋的研究者才合适滑入数学深渊。不是所有的数学内容适合科普和放在较低层
次去讨论，比如Hodge structure、Mirror symmetry、Gromov–Witten invariant和Index theory，你要读懂，必须有很深很全面的数学背景。只有达
到一定的背景，讨论才可相互理解。

数学的发展意味着留下的数学问题的解决难度越来越大，数学的研究越来越精英化而不适合常人。数学的发展是少数精英推动的，这比任何其他行业更
加明显。数学巨匠和少数一流大师占据绝大部分数学贡献。
随着数学积累和研究深入，你对数学家的评价会随时间变化，让你真正认识一些深刻而影响深远的数学家。当然专门的偏好会让你产生一些个人偏见，
要真正有效评论一个数学家必须结合对数学分支的恰当看法。
如果使用不同标准，那么评价是不一样的。如果你使用最牛的数学家标准，那么在一般情况下，大多数肯定是现在活着的数学家而不是远古数学家，因
为即使现在一个数学研究生的水平都随便超过牛顿和阿基米德。如果采用历史贡献的标准，和稍将眼光在历史长河中延长到未来一个世纪以后，那么当
代这些牛人没几个能上榜。如果一个数学研究者不熟悉诸如Grothendieck，Witten，Atiyah，Thurston，Quillen、Milnor，Kontsevich, Jones,Cones
，Voevodsky等这些当代数学家名字，很怀疑他是不是一个合格的研究者。绝大多数数学研究者都会在自己心里对重要数学家的成就有自己的看法，即
使他不说出来。
一般人中有影响的数学家和数学研究者中的有影响的数学家是不一样的。一般人很难评判众多数学家的成就，即使对很多数学研究者也很难，除非你的
数学根基比较全面和有一定深度。
下面就说说个人对一些数学家的看法，从历史角度入手而不是从现在谁牛评判。
牛顿以前的数学家，比较欣赏的是Archimedes和Apollonius（圆锥曲线的分类，这种分类的思想研究是现代数学研究的第一推动力了）。
1900年以前或左右数学家，Riemann，Poincare，Gauss，Galois，Abel，Newton，Euler，Lagrange，Hilbert，Ramanujan。
1900年以后的，Grothendieck，Noether，Weil，Serre，Witten。
在个人观点，top one of all time，无法从Riemann，Poincare，Gauss三人中选出，如果从纯数学文章深度看，选Riemann，如果从数学难度选，挑
Poincare（因为拓扑结构太难了），如果从数学广博挑，认Gauss（实际上Gauss太保守，很多好东西因为不完善不愿写出来）。个人偏好，Poincare更
靠近自己。
如果要挑最天才的本能数学家，非Ramanujan，如果他命长点会generalization和make conclusion的话，那么最高丰碑数论家是他而不是Gauss了。一
个能直接看到结论的天才难道不比只会推理解决别人问题的数学家更难能可贵吗？他是神赐数学家。如果一开始他就受到正规教育毒害太深的话，他的
天赋会丢掉吗？是一个谜。
微积分不能全算到newton头上，但个人认为他比Leibniz强，一是它将充分物理纳入数学而发挥数学的威力，二是他继续推动Apollonius的分类工作。
Galois的群和Abel的函数已经成为数学中最难而深远的代数结构。
Grothendieck贡献了最棒的数学抽象思想和构造，Witten的出现可以看作一种趋势的加强，物理的基础结构将完全置于数学上，实验只提供系数（如普
适常数，相对常数），即物理idea，基础及构造的解释完全数学化。他们的贡献还在于对常人设置了一个高门槛，让民科们望洋兴叹。当然我并非说
Witten的SuperString theory是合理的，但认为他是一个有远见的一流数学大师（还不能到巨匠级别，除非SuperString theory真正占住脚）。
有些人虽然作出了重大贡献，但不能算数学巨匠或准巨匠，因为在发现或发明后没有深刻地刻画数学基本内容或非常不完善，或没达到大家的期望值，
比如Descartes的坐标系，Godel的不完全定理和Cantor的连续统工作，都不到位或到达一个深度。
///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

难道你没有看出来本人正是表达和你一样的意思吗？这个问题，那个著名的Quillen网友就极力推崇当代牛人而看轻1900年以前的数学家，当时我就不
同意他的这个观点，当然我从他的代数几何讨论方面获益非浅，还得感谢他让我早早意识到代数几何的精彩，你不走进去并在研究中应用，你就根本不
能体会格洛腾迪克的博大精深远胜于他同时代之人和他思想的威力和缺陷。但是现在很多人过分抬高他，也是不健康。格洛腾迪克是注定的历史里程碑
，现在更正我以前说的，个人认为他比希尔伯特强，但还是比不上黎曼，庞加莱和高斯。
牛顿时代到1900年，是数学史上第一黄金时代，比现在强很多，但是现在的难度非那时可比，现在难度大太多了。现在数学面临的大问题和现在数学家
还未意识到潜在更大的问题，需要比庞加莱更强的超级数学天赋携带者出现才能解决，数学上丰碑都是以非凡思想和构造出现为震撼标识。上个世纪迎
来了格洛腾迪克，这个世纪需要一个更强的，尤其是拓扑方面和硬分析方面。

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

对于数学分支的个人看法。
对于一个比较全面的有发散思维的天赋强大的数学研究者，完全没有必要去理会数学分支这种无聊划分。但是对喜欢专门化的研究者，数学分支确实让
他专注某个方面。对于后人的教育，数学分支的划分有利于培养机械化式的数学专才。每个数学分支的出现取决于形成分支的数学内容是否足够和结构
是否稳定而成型。
无论如何，是数学问题而不是数学分支决定研究者需要的知识和学习路线。一般设置的课程都是基本稳定下来后的数学结构常识，一般知识也比较旧，
离最前沿的内容具有很大距离。在一般情形下，这些稳定的知识只能解决一般问题或体制内问题，对重大难题或新发现，只提供基本支持，不提供解决
方案。因此一般人学了也无法用于解决重大问题或发现重大结构。非平凡的问题绝大多数是需要大的或小的新工具去解决的。所以幻想通过题海战术学
习基础知识能解决大问题是不现实，因为在最前沿工作的数学家在基础知识上不比你差，为什么他们没法去解决大问题，那就是因为大问题需要新工具
或修改调整旧工具，没有天赋你怎么做呢。所以那些不强调天赋而向外人推销数学研究的做法是非常害人的，严重时可以一辈子将一个人给毁了，本来
可以在其他方面有出息，本来可以过正常生活的（我想除了数学，这世上还有其他美好的东西在等待你，比如家庭小孩的天伦之乐，为何一定要当民科
呢）。如果你有职业搞一点小兴趣，应该问题不大，只有到你确定自己真有天赋或能力时并且基础足够时，才能正式迈入数学研究这个深渊。同时要知
道，不是所有有天赋的研究者都能步入成功的前台，绝大部分人都牺牲在路上当炮灰了。
一个成功的数学家，他的常识数学不一定就比那些不成功的人强。数学常规基本功强与数学成就不存在必然联系。
一旦提取特别分支，那么就必然涉及分支在整个数学的重要性问题，显然不是所有分支都一样重要。有些分支即使停下来了，但依然重要，有些最新的
不一定重要。甚至有些分支虽然逻辑正确，但过于平凡而意义不大。比如微积分技术就是最重要的实用分支，矩阵及群计算是第二，数论在实用性上就
差很多。有人认为数学不需要将实用，个人不同意这个观点。个人认为实用是数学的生命活力，所有看似纯粹的且高度抽象的数学部分是作为数学这个
整体的一分子为认识物理世界服务的，虽然不直接出力。

对大数学家而已，分支不是大问题。真正的差异是他们感兴趣的课题和想问题的风格。你是代数式思考方式还是几何式思考方式，当然少数数学家两个
方面都强，比如高斯，但是总有一个为主的，高斯喜爱代数超过几何。黎曼和庞加莱是典型的几何思维，比如黎曼猜想就反映了他的几何直觉，庞加莱
就更不用说了。伽罗华，阿贝尔和格洛腾迪克是典型的代数思维。
判断一个数学家的思维方式，看他喜不喜欢在他论述中画图或叙述一个具体图形就可以判定了。

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

物理，几何和代数
搞数论的研究者是数学中的另类，他们中太多以数学至纯而倨傲（或孤芳自赏），很看不起源于应用的数学，认为自己的数学内容是最深刻、最难和最
神圣的数学，同时数论或代数中大人物远多于几何，并且神童总与数挂上钩，中文中的数学可看作数之学，在中国数论的势力最强大。Gauss、Euler、
Ramanujan等很多神童都是从数论开始的，他们使数感成为神话传说。
实际上数与形是同时出现的。为什么会知道自然数？因为要为具体的物体（离散几何形）计数而已，负数不过方向相反（也是几何形的要素），其他数
的都是运算封闭的要求，它们都有几何意义，尤其实数与线的对应。向量数组不过是高维几何空间的对应。因此，数或扩张数不比图形处于更优越地位
，事实上它们的出现都不过是人们处理图形和空间对需要。
所有运算都是方程，由于简单的运算大多数人一眼就看出了，就不认为它们是方程了，在人们眼里只有处理不能直接看出来的一大堆数或数组的集合才
是明显的方程。本质上，数的分解都是（不定的或定的）方程。是方程就有几何出现，只是这些几何太平凡了，数论研究者不考虑罢了。随着后来难度
的增大，数论一方面关注整体性质而上升到抽象代数，另一方面向微积分技术求救，微积分本质上就是几何，现在更甚，向拓扑深入。现在最深的椭圆
曲线与模形式、高维Shimura variety都有强烈的几何拓扑内容，算术几何并非新东西，只不过之前没多少人乐意去正式提出。抽象代数更是与几何联
系紧密，其核心群就是几何变换而已。
任何代数内容都有相应的几何解释，如果一个代数结构找不到有非平凡意义的几何解释和应用，那么它们就会被非议而不会被承认，所以没有几何考虑
，就不能随意制造代数结构。代数只是处理几何的工具。
几何充满宇宙和物体变化，它与物理紧密相连，不可分离。有很多人认为物理是应用科学或几何应用典范。物理的理论不能简单归于应用，随着物理发
展，物理逐渐几何化，几何开始能解释它对基本概念、idea和构造，相对论中黎曼几何和量子力学中的希尔伯特空间和群和拓扑，现在超弦更是几何主
导。实在觉得物理与几何不是应用关系那么简单，只是现在的几何内容还不能将所有物理概念纳入自己的解释，否则几何完全从脚到头完全主宰物理。
在物理，几何，代数的关系中，几何处于中心，代数是几何需要的工具，而物理的工具是几何。牛顿、拉格朗日、庞加莱和威腾用双重大师身份一直在
强化这条线。

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

计算机，数学
一些著名数学家对计算机的数学证明或计算持非常忧虑的态度，比如Atiyah。
四色问题、球装问题（sphere packing or Kepler conjecture）、有限单群计算、大素数的寻找和分形几何都是数学利用计算机的典型代表，它们全
部或部分使用计算机完成证明或计算或画图。如果不用计算机，分形几何是不能被发现的。
实际上，当涉及大量数据和大数计算时，不使用计算机是不可能的，人无法在有限生命中完成这些计算和重复检验。这就涉及一个人对计算机计算可靠
性信任问题。在工程计算中，工程师们绝对信任计算机就像信任自己一样，没有心理障碍。但数学家不一样，很多持怀疑态度。这是有理由的，比如
Hales的sphere packing论文发表后，发现不少失误而后修改补充。
就个人观点而言，接受计算机不不接受要好。大量工程实践表明计算机计算是值得信任的。就算一种计算机环境（硬件和软件）不行，还可以通过其他
计算机环境进行重新计算，如果多种环境全部一致，那么计算结果就应该被信任。实际上让人担心的是数学家的数学本身的计算构造模型和为之设计的
计算机程序模型两者是否同时逻辑无误。如果是，证明和计算结果就应该被信任。如果真的日后通过其他计算机或非计算机途径发现错误（尽管几率极
低），那也没关系，让人意识到计算机环境的缺陷而改它，更利于后来者。
多变量高维数复杂图形的数学结构的大数据计算和画图必须使用计算机辅助完成，这是日后数学趋势，很多极难得硬计算的数学证明脱离不了机算。
计算机已经为数学家揭开了很多数学家看不到的东西，我们必须要为计算机证明和计算保留位置。

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

to洛奇
后人看前人，都觉得前人的东西容易，我们的后人也会这样看我们，确实后人在大多数情况下是这样的，基于知识的积累，后人一般比前人牛，这道理
谁都懂。但牛不等于这些牛人的功绩彪炳历史，在历史上比前人有更高的地位，难道你能说庞加莱、黎曼、高斯等很多历史成就就比现在的大多数牛人
差吗？就个人观点而言，现在没有一个人能在历史成就上比得上这三人，格洛腾迪克也不能。
评价历史我们后人更容易客观看待我们和前人的功绩的历史价值，其结果是后人一定会把我们对当代人的自吹自擂的吹水成分大大压缩，其结果是现在
没几牛人能上历史排行榜。所以最牛的人不等于历史排行榜。以历史的眼光看人和成就更客观，但是当代人根本很难客观，都想把自己吹上历史的排行
榜，以让后人记住自己，但是后人不是傻子，后人有自己的判断标准，当代人不可能替后人定标准。

代数几何萌芽从意大利学派算起比较合适，法国Bourbaki学派是它辉煌的开始，格洛腾迪克使它达到目前的顶峰。
代数几何不能说不抽象到目前的极端，数学人也因此把它抬高到极端。algebraic varieties，sheafs，schemes，algebraic spaces, algebraic
stacks，topos，sites，motif （or motives），higher category，higher K-theory， Grothendieck–Riemann–Roch theorem，intersection
theory以及涉及Weil conjectures，Hodge conjecture和 motives到Galois theory的长征。这些东西实在抽象炫目得很。

抽象与具体
一般人都认为抽象比具体有价值得多，所以不断忙于抽象再抽象，把别人的东西抽象推广到自己的特例，自己就比别人贡献更大。这是很好笑的。不少
抽象显得非常稀疏化和平凡化。
什么是表示理论？如果只是一些假大空的抽象，这些抽象的东西只能用来说话，没有计算技术来表达，就没有太多的深刻技术含量，只有能用有效计算
技术来定义或分类或区别一个或一堆数学对象从其他不同的想要区分的数学对象时，这种抽象才深刻，所以表示理论是抽象数学要达到的目标，现在无
论代数几何和抽象拓扑都差得远。表示理论是很难的，一般抽象至多是框架，框架易搭建，但建筑施工困难。所以俄罗斯学派的表示理论观点是非常重
要的，是务实不务虚的。
表示论就是从抽象再到具体的过程，用具体的计算工具去处理抽象。
一般的具体就比抽象不值钱吗？实际上，抽象时也排除了很多具体对象，让它们处于例外情形。某些情形下，我们处理一个具体对象，最后会得到一个
更大的数学内容和抽象（比如费马最后定理导致一连串的抽象进展），按这些抽象家的说法，把他们给抽象进去了，他们的抽象理论成了special case
。所以不要看不起具体数学。

格洛腾迪克和庞加莱
格洛腾迪克的存在，使得20世纪的数学中代数或抽象代数对几何或拓扑处于绝对优势地位，格氏本人也成了数学史最顶级的抽象巨匠。正如牛顿至庞加
莱时期，几何处于中心地位一样。
难道庞加莱的抽象能力比格洛腾迪克差很远？也许应该这样问比较公平，庞加莱是否喜欢抽象方式？
显然，庞加莱的抽象能力并不差，否则他能搞出那么多深刻的拓扑技术和微分方程技术，而且他也早早意识到了高维几何问题，否则他怎么去搞n体问
题的微分方程和提出那个有名猜想，他也大量使用群。但是他显然更关注几何的硬的可计算技术和应用，不喜欢假大空，他有很强的计算能力和计算构
造能力（格洛腾迪克这方面就不如他），不太喜欢很死板的规范证明，好像对数论也不关心，且极度关心物理，其理论物理及计算物理能力之强就算很
多纯物理大师都不如他。
几何想象力和物理应用，格洛腾迪克在庞加莱面前就显得很弱了。代数几何的主心骨上同调技术还主要源于庞加莱（庞加莱同调对偶）。
格洛腾迪克的拓扑太弱了，在这点上威腾比他强很多，威腾的视野很深邃，个人认为虽然图形想象力比瑟斯顿差，但拓扑构造洞察力是目前自庞加莱后
最好的，虽然达不到庞加莱的高度。威腾的洞察力主要来自他对物理的强悍理解（目前最好的弦论家）。可惜威腾已经过了他的黄金时期，不会有太大
的东西出来了。
代数几何还不能还盖全部数学内容，其中几何拓扑部分差很远，在庞加莱眼里，homotopy是比homology更有效和更难的计算工具。现在higher-K
homotopy还是不行的