写下来的数学如何反过来塑造数学思想
导读
本文基于对科学史家David E. Dunning的访谈，探讨了数学记号如何作为一种社会性、世界建构性的技术而不仅仅是抽象符号。
Dunning指出，数学的实际工作依赖于“在纸上或黑板上做记号”这种具体活动。记号系统并非中立工具，其发展产生了智力、物质和社会层面的连锁影响。
背景
奖项常突出最终证明，却容易忽略记号、纸面、图形和可交流的表达如何改变可思考的对象。把书写视为知识工具后，数学就不再只是脑中闪现的答案，也是一种被共同维护的世界建造。
价值
这篇文章把一个容易被忽略的事实说得很清楚：表达形式会改变思考可能。它为理解形式化证明、AI 辅助与协作写作提供了一个比“工具更快”更深的框架。