证明写出来了,但没人看懂它为什么重要。数学家格兰特·桑德森认为,这件事正在拖慢整个学科。
他提出的概念叫「动机解释」——不只回答「为什么它是真的」,还要回答「你该如何思考这个问题」。在他看来,这类工作长期被学术评价体系低估,应该获得与生成新证明同等的认可。
![]()
证明不再是唯一标尺
桑德森的核心判断是:数学的真正目标是推动人类理解,而证明只是达成理解的一种手段。当证明可以在没有理解的情况下被生成时,它作为衡量进步代理指标的价值就会被削弱。
这句话指向一个现实:证明的产出速度在加快,但读者建立直觉、看清定理之间联系的过程,并没有同步变快。动机解释要补的正是这一环——它阐明定理的相关性和背景,帮助读者看到联系。
桑德森强调,动机解释的范围不止于「定理为何成立」,还包括「为什么要提出这个定理」,以及它在周围上下文中的应用方式。他打了个比方:在证明中,定义位于开端。
历史上早有范例
这类工作并非没有先例。《普林斯顿数学百科全书》和瑟斯顿的讲解性作品,被他列为动机解释的典范。
这些作品提供了深刻的见解,激发了新的研究方向。桑德森由此得出一个判断:清晰的讲解可以像解决开放问题一样推动理解。
问题在于,现有学术认可严重偏向证明生成,讲解和直觉构建的工作被边缘化。后果有两层:外人误以为数学家只是证明机器;而真正对学科至关重要的解释性贡献,得不到应有的回报。
四条具体改革路径
桑德森没有停留在呼吁层面,他给出了可操作的方案:
- 把小型讲解问题当作小型证明来对待;
- 设立类似希尔伯特问题的未解决讲解问题;
- 创办专注于理解的期刊;
- 在聘任和资助中重视讲解工作。
这四条指向同一个目标:让动机解释的追求制度化,使它成为数学领域中一条得到认可和奖励的路径。
其中「未解决的讲解问题」这个提法值得多看一眼。桑德森对它的定义是:解决一个未解决的讲解问题,意味着以一种使该数学主题完全明晰的方式进行解释。这等于把「讲清楚」本身设成了一个有难度、有门槛、可以被攻克的学术目标。
如果这些改革落地,数学界对自身角色的认知会随之调整。桑德森认为,这能纠正外界对数学家的误解,也可能带来一个更令人兴奋的时代。
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.