HeadlinesBriefing favicon HeadlinesBriefing.com

有动机的数学解释的意义

Hacker News •
×

Grant Sanderson的客座文章认为,解决问题和生成证明长期以来一直是数学家真正目标的代理人:推进人类理解。当证明可以在没有理解的情况下生成时,这就会削弱其作为代理人的价值。桑德伯纳提议,数学社区更坚定地定义“有动机的解释”这一概念,并给予此类工作与历史上对开放问题生成新证明的学术认可相当的待遇。

他认为,提升有动机的解释是帮助数学界外的人更好地理解数学家贡献的重要一步。如果外部人士认为证明生成机器会使数学家过时,而内部人士则视为一种误解,那么这个社区就有责任通过它奖励的工作类型来更好地投射其真实价值。外部人士如果对这种误解心存恨意是可以原谅的,因为最受欢迎的工作倾向于生成证明,而澄清和阐释则被视为第二等。

桑德伯纳承认自己有明显的个人偏见,指出自己在数学领域的非传统职业生涯专注于制作视频。他澄清说,提升有动机的解释并不意味着普及化,但任何主要旨在回答“你会如何想到这个?”的问题的工作,即使主题需要深入的专业知识才能欣赏。他将有动机的解释定义为:定义位于叙事中部,只有在问题被明确建立后才会引入新构想,接受以并非完全正确但可相关的想法作为起点。

关键实体:人物:Grant Sanderson,Michael Nielsen,T.