数学如隐喻

Mathematics as Metaphor

「数学是自然语言的一种专门的方言，因此是一种隐喻。」

这个合集沿着这条线读下去：数学如何用一套自造的语言转译世界，转译过程损耗了什么，又有哪些东西因此才能被说出口。

01曼宁说「数学是隐喻」，他说的不是「数学像诗」为什么表示必有损 02阿罗不可能定理：为什么「公平投票」注定无解？公理是选的，结论是被逼出来的 03对象是关系的总和吗：从 Hahn-Banach 到 Yoneda对象由关系决定，那还剩下什么自由附录 04当数学开始谈论自己：范畴论作为一种语言一门语言如何自给自足附录
05一个符号承担两件事：转译损耗的五种形态翻译必有损，损在哪待写
06数学的本质恰恰在于其自由那自由到底剩多少待写

关于这个站

每期正文与附录在 GitHub 仓库公开，包含可复算的验证脚本——正文里的具体断言，背后都有一段能跑的代码。

公众号只放结果，推导与算据放在仓库里，文末的「阅读原文」跳转过去。