新数学语言倡议

💡 原文中文,约2400字,阅读约需6分钟。
📝

内容提要

文章批评数学公式滥用单字母变量:因“并列即相乘”规则,多字母变量不可用,加上英语霸权,导致L、r等符号跨领域重载,读者只能靠上下文猜测。作者倡议四条规则:人类可读公式用与正文一致的全称变量并显式写乘号;演算时可临时替换为局部短符号;推导结束须翻译回全称变量;禁止全局裸单字母和跨节重载。核心是区分语义层与语法层,像编译器一样分层处理。

🔎

延伸解读

单字母变量的语法根源

文章指出,数学公式滥用单字母变量并非审美选择,而是“并列即相乘”的语法规则导致多字母变量不可用。例如,写“rate”会被解析为r×a×t×e。这一规则从底层限制了变量命名,迫使作者使用单字母,而读者需靠上下文猜测含义,增加了阅读负担。

英语霸权的隐性特权

文章认为,单字母变量常取自英文单词首字母,如loss→L、rate→r,这给英语母语者带来语感特权。非母语者看到L可能联想到length、Lagrangian等多个含义,只能硬猜。更矛盾的是,正文用中文,公式却用英文首字母,形成语言双重标准。

四条规则与分层处理

作者提出四条规则:人类可读公式用全称变量并显式写乘号;演算时可临时替换为局部短符号;推导结束须翻译回全称变量;禁止全局裸单字母和跨节重载。核心是区分语义层与语法层,像编译器一样分层处理,描述阶段携带语义,演算阶段关注代数规则。

回应质疑与成本转移

针对排版、手写、通用语言和演算四个“不可能”,文章逐一反驳:排版问题可通过现代引擎解决;手写草稿不受限;数学并非真正通用;演算阶段可用临时替换。作者认为,新规则只增加作者写替换表的成本,但复杂度从读者转移到作者,总体更划算。

❓

Q&A

为什么数学公式里总是用单字母变量,比如L、r、d?

根源在于数学语法中的“并列即相乘”规则:ab表示a×b,这导致多字母变量会被解析为多个单字母相乘,例如rate会被解析为r×a×t×e。因此单字母变量是被语法逼出来的唯一解,而非审美选择。

英语霸权如何影响数学符号的使用?

英语母语者看到L能自动联想到loss,而非母语者会先想到length、Lagrangian等多个含义,只能靠上下文猜测。论文正文用中文,公式变量却必须用英文首字母,这给了英语母语者语感特权,是语言上的双重标准。

新数学语言倡议提出了哪四条规则?

规则一:人类可读公式用与正文一致的全称变量并显式写乘号;规则二:演算阶段可临时替换为局部短符号,作用域限于该推导段落;规则三:推导结束必须翻译回全称变量;规则四:禁止全局裸单字母和跨节重载。

有人质疑全称变量在演算时会导致工作记忆爆炸,倡议如何回应?

这正是规则二存在的理由:演算阶段关注运算规则而非物理含义,可临时替换为短符号,零损失。描述阶段变量名携带语义,演算阶段做移项、代入等操作不关心具体含义,物理含义已被定义阶段锁定。

新数学语言倡议如何借鉴编译器的分层思想?

倡议将数学写作分为三层:源码层(描述)用全称变量和显式乘号,建立语义;中间表示(演算)临时替换为局部短符号,进行语法操作;目标代码(结论)翻译回全称变量。就像编译器前端处理语义,中间表示可退化为%1、%2,后端做纯语法变换。

实施新数学语言倡议会增加作者负担吗?

代价仅是作者多写几行替换表。传统论文也需写符号表,但传统符号表是“L=损失”,读者得背;新规则的替换表是“P=预测状态向量”,现查现用。复杂度没有增加,只是从读者转移到了作者身上,这笔账怎么算都是赚的。

🏷️

标签

➡️

继续阅读