跳转至

三公理检视：简单·自洽·利他#

本页是对生活总览所载三条公理的检验，不是转述。结论先行：

自洽 —— 未发现反例，且它在他手里不是性格而是方法（源自希尔伯特）， 是他用来评价一切对象的尺子；利他 —— 真实，且有付出代价的实例（2009 年的 下载自律、翻译、开源、免费开放），但代价总体不大、范围止于共同体的源头； 简单 —— 成立，其含义为「方法与趣味的简省，不在拥有量」 （作者界定，2026-09-18）。

本页经历了一次自我更正：初稿按 wiki 自己加严的注解（「不外求、不铺张」） 判定「简单」不成立，作者的界定推翻了该判定。保留下来的教训是——定义权属于 作者，维护者的职责是核对事实而非加严定义。详见第二节末。

一、这三条是什么，以及它们是什么时候生效的#

多年前翻译《凯恩斯传》，最大收获就是凯恩斯的“利他”，并进而树立人生三大准则： Simplicity，Self-Consistent，Altruism。可为余生之元规则耳。2024-06-04

三点必须先把准，否则这个检视会变成过度解读：

  1. 它们是 2024 年立下的，措辞是「为余生之元规则」——是面向未来的承诺， 不是对既往的总结。因此严格的检验窗口是 2024–2026；更早的帖子只能作为 「倾向性旁证」，不能算「遵守」。
  2. 它们是决策规则，不是生活美学。 原话出现在「互相冲突的选择」这一语境里 （见利他部分所引凯恩斯原句），作用是在岔路口排序，而非规定日常形态。
  3. 出处比「翻译凯恩斯」更具体，且第三条并非来自凯恩斯。 他明确写过： 「我现在的三观很简单，只有三条：简单、自洽、利他。（这三条分别来自： 汉尼拔博士、大卫·希尔伯特和梅纳德·凯恩斯。）」 2024-08-12 —— 简单取自一个审美极度克制的虚构人物，自洽取自希尔伯特（形式系统的 一致性！），利他取自凯恩斯。这解释了为什么「自洽」在他手里不是性格而是 方法：他用希尔伯特的标准评价对象（见下）。
  4. 他自称有日常的验证场：同一篇里他写道——「写程序恰好能帮我实践并验证 这三条，at almost zero cost」。所以「他只立不验」的说法不成立，需要修正为更窄 的表述：他在代码里反复验证这三条，但不常把公理拿去检验自己的消费与收藏 行为——而那正是「简单」最薄弱的地方（见第二节）。

二、简单（Simplicity）——曾被判为反证最强，经作者界定后不成立#

作者界定（2026-09-18）：简单 = 方法与趣味的简省，不在拥有量。 因此本条不以收藏多寡衡量。下面这些数字测的是另一件事——wiki 先前为 本条写的注解「不外求、不铺张」，那是我方把定义收窄了，不是作者的定义。 证据保留（它们本身是真的），但结论随之改写（见本节末）。

原注解（生活总览，已被作者界定取代）：“生活与写作皆崇尚简省， 不外求、不铺张。”

反证据 I：藏书 —— 一条持续三十年、速率约六倍于阅读的收购线#

时点 他自己给出的数字
1998 年之前 约 771 册
2008-11-14 1,553 册，611,197 页，421,896 千字
2022（左岸 17 年） 2,059 册；「18 年间，每年平均买书 75.8 本」
2023 搬家之后 阶段性估算 1,920+ 册；此后继续清减至盘点值 1,808 册（准数）
  • 他自己算过这笔账：2008 年那篇的标题就叫《书，看不完了……》。 按「每秒 5 字、每天坚持 2 小时」推算，当时手上的书需要 32 年才能读完； 他估计已看约 1/3，结论是「还需要大概 20 年才能看完现在的这些书」——那是 2008 年。
  • 买入远快于精读：2024 年他统计，自 2007 年起 17 年间做过读书笔记的书只有 179 本（笔记 213 篇），年均约 12 本（一月一本）；而同一时期买书年均 75.8 本。购入速率约为精读速率的 6 倍**——这不是旁证，是他用自己的藏书 程序算出来的数字。2024-08-12
  • 他不掩饰：另处自陈「我的藏书不过寥寥 1500+ 本而已，而看过的书更是只有 1/4 不到」，以及「2000 册，但认真看了的不到 400」。

但反方向也有实证，必须同时记下：

  • 他真的做过减法。2023 年搬家时「下了狠心，扔了一堆书」，并在 《搬家先搬书》 里给出取舍 标准：先慈 35 年前的电大教材、当年赶时髦的医护/养生/食谱书、已过时的税制/报关/ 物流工具书——「已经没有了保留价值」。他借哈代转述的罗素之梦自况：图书馆助理 提着大回收桶逐本决定放回或丢掉，最后停在《数学原理》前犹豫——「时光流逝， 一些书我留下了，一些书我扔掉了。我也在做着那位图书馆助理的工作罢了。」
  • 这是有秩序、有编号的收藏：新家 8 个顶天立地书架（B 架半宽，合 7.5 个全宽） 外加 3 个类书柜，位置以 A1/B3 之类编码，全部由他自写的藏书程序管理。
  • 藏书对他是身份与纪念，不是消费：书斋「有无」是先严取自《道德经》的命名， 被父亲戏改为「有书万事足，无官一身轻」。他曾把藏书管理程序与站点刻成光盘、 把藏书目录打印出来，带去父母坟前。
  • 两处数字的差异已由作者解释（2026-09-18），并非矛盾，而是两个叠加的原因：
  • 基数本身是估数，不是盘点所得——原文即写作「2000+ 册」「1920+ 册 左右」；
  • 扔书是持续动作：搬家时扔了一批，搬家之后仍在继续扔。因此两篇不是对同一 时点的两种记法，而是两个时点的快照——搬家先搬书（2023-07-16）记的是 搬家整理后的阶段性数字，任氏有无轩重装上线（2024-08-12）记的是此后再清理 的 1,808 册。 以精确度论，1,808 册（出自藏书程序盘点）应视为准数，而 2,000+ 与 1,920+ 均属估算。附带一点：减书在他这里不是一次性事件，而是维持收藏的常规动作。

反证据 II：硬件与工具 —— 自建的复杂度#

  • 网络与服务器：全屋漫游按 1 个总控 AC + 4 个吸顶 AP + 4 个入墙 AP 设计 （9 台设备）；另有 32G/4T 的 Lenovo 服务器；2026-08 再添 NAS（绿联 DX4600， 4 盘位/8G），用两块 2T 组 RAID 1，代价是另一半容量「白白浪费」；更早还有 2F 服务器。 2026-08-31
  • 消费与订阅：炉石自 2016 年起「每个版本不拉地购买预售」；Copilot 订阅； WorkBuddy 积分；Switch Lite + 实体卡 + SD 卡；相机（450D、5012L 镜头）、KPW3、 iPad；以及 MP3 → WAV → FLAC 的音质升级链——CD 本已在手，仍要「通过各种方式 找专辑并下载」。
  • 软件上的自我加码：任氏有无轩从 Symfony 2 一路重写到 Symfony 7，中途换过 Nginx/Apache、Vagrant/VMWare、Vue/Svelte/Alpine，数据库结构一再调整；另有自建 邮件服务、UPS 巡检脚本、API 健康检查。他自己说：「隔三差五的，我会重新编写我的 站点。」2024-08-12

同一人的另一面：买的时候确实「够用即止」#

反证很硬，但在决策的那一刻他确实执行了「够用」——这不是和稀泥，是有据可查的：

  • 选 NAS：「不是最新的型号」；内存选 8G，因为「事实最终证明，8G 对我的 使用场景绰绰有余」；并明确拒绝堆配置——「在内存卖到天价的当下，堆内存就是 堆钱。」
  • 工具订阅：「10 美元一个月的订阅，基本够用」；免费版靠签到积分；自限 「我就用它做些较小规模的工作」。提示词也以一句为限：「一般来说这个提示词就足够 了」。2026-09-14
  • 游戏付费：把炉石的氪金结构算清楚并给出上界（每年三个系列、488 元预售、 一年不到 1500 元），而不是笼统辩护。2022-08-03
  • 把结构读成简单：谈《荣耀经》时他抽出的是一句可复述的骨架——「十二个乐章， 全长约三十分钟……由光入暗，再自暗中还光」。 2026-09-17

判定（依作者界定，2026-09-18）#

在作者界定的意义上，本条成立。 简单体现在方法与趣味上：一种方法、一个 用途、够用即止、把复杂读成一条线。上面那些数字说的是另一件事——它们 不构成对「简单」的反证，而构成对 wiki 自己那条注解的反证，而该注解已被 作者界定取代。

数字仍然保留，理由有二：其一，它们是可复核的事实；其二，「买入 75.8 本 / 精读 12 本」与「有书万事足，无官一身轻」之间的关系，是作者自己长期关心并在 处理的题目——2023 年那次搬家一口气从 2,000+ 册减到 1,920+ 册，就是他在这个问题上 动手的证据。

本页的教训（写给下一个维护者）：本页初稿把作者给出的公理擅自改写成更严的 版本，再拿它去检验作者。这是 wiki 应当避免的一类错误——定义权属于作者； 维护者的职责是核对事实，不是替作者加严定义。

三、自洽（Self-Consistent）#

生活总览的注解：以《人生的下半场》所归纳的「不求人」（独立）与「不苛求」 （包容）互为补充，构成一个封闭且稳定的系统。

这是三条中被执行得最彻底的一条，而且它不只体现在为人上，更体现在方法上：

  • 他把「自洽」直接当作评价标准用。评《流浪地球》时，他给科幻下的定义是： 「一种新的思想（或者说是一个新的公理体系），与这新思想吻合的一个行为法则， 在该行为法则指导下发生的符合该法则逻辑的行为」；据此判定原著符合、电影不符合。 2019-02-25 —— 用一个公理体系是否被贯彻来判断作品，这就是自洽思维本身。
  • 拒绝混淆两套标准：同文里他明确说，你可以因为特技配乐而喜欢它、认为它是 好电影，「但不能就此说这是一本好的科幻电影」。把两种评价尺度分开，是自洽的 纪律，而不是苛刻。
  • 对文本精确性的三次坚持（共同点：按文本自身的逻辑读）：
  • 《Shine On You Crazy Diamond》反对倒装翻译——Crazy Diamond 是对 Syd Barrett 的昵称、You 作同位语，故译「继续闪耀吧，你这疯狂的钻石！」； 2007-07-26
  • 《Queen's Gambit》须译「后翼弃兵」，因为是国际象棋的定式名称， 「女王的开局」之类似引申太远；2020-11-06
  • 《At the End of the Day》的歌词「With enough in your pocket to last for a week」不可照字面读成高工资。2025-12-11
  • 不求人：宁可自己造——塔罗牌应用已上线、火柴人 cubeman 已开源、自建邮件服务 （xx@go4pro.org）、自维护任氏有无轩、为 UPS 与 API 自写巡检脚本。 2026-09-14
  • 不苛求：MJ 音乐剧「基本就是一个歌曲大串烧」且每首都不完整，他先给出推测 理由（版权限制）再评价；2026-08-07 炉石被指氪金，他反而论证它「是比较良心的氪金游戏」。 2022-08-03

唯一需要标注的例外，是他自己说的：在《蛋壳》一文中他写下「有可能的话， 最好不要思考；万一思考了，也不要写下来；万一写下来了，也不要拿出去发表」。 2020-12-10 这不是逻辑上的不自洽——他命名了这个张力，并把它归因于外部风险。 （这恰恰是自洽的表现：承认行为与信念之间存在被迫的差距。）

判定：成立，且是三条中最强的。可检验的反例：本次检视所在的 wiki 就是 一次「自己造、不外包」的延伸。

四、利他（Altruism）#

凯恩斯原句（他自我引用的决策规则）：「如果面临互相冲突的选择并需要就实际事务 的推进选择方法时，合理的原则总是选择最慷慨的路线。」

成立的部分

  • 在具体的、需要付代价的选择上，他确实选了更慷慨的一边：
  • 下载伦理（2009，代价明确）：他的 MP3 来源只有「自己转换自己买的 CD」与 网上下载，工具严格限于 eMule（95%）与 BitComet（5%），并讥讽迅雷是 「吸血鬼软件」；出发点是「我要下载，但是不能让源头死了」。 2009-11-20 这条最有力，因为它自愿放弃了便利。
  • 蛋壳事件（2020）：他赞赏房东朋友让年付租客半价续住、自己承担一半损失的 做法（「1 + 0.5 = 0.5」），并把它与凯恩斯那句「选择最慷慨的路线」对齐。 2020-12-10
  • 翻译即利他：三大准则本身就是翻译《凯恩斯传：一个利他主义者的七面人生》 的产物——利他是他学来的，也是他做出来的（2015 年起的译书记录）。
  • 教学与共享：2005 年提议论坛“采用管理员提问而会员回答的方式”，因为“可以有一种 ‘帮带’的关系存在于管理员和会员之间” 2005-11-25 （以往本页把同帖评论者令狐虫那句“(小型的)社区，大家平等交流”记成博主的主张，已更正）； 分享《悲惨世界》唱段分析；把 cubeman 开源；把 wiki 公开。
  • 为他人争取可见度：评《隐藏人物》时，他称赞三位 NASA 女性「不需要改变自己， 而是选择做最好的自己，然后改变这个社会」，并指出信息与电子领域「女性的名字 寥寥可数」。2017-04-10

需要标注的限度

  • 代价最小的一条：三条之中，记录里「利他」多为赞赏、引用或低成本给予 （写文章、开源、免费托管），而不是自我牺牲。最有代价的一次是 2009 年的下载 自律——但那也恰好在同一年因为迅雷请求拖垮服务而删除了自己所有的 MP3 下载。
  • 范围是「共同体／源头」，不是普遍的：他的慷慨指向 eMule 的源、朋友、 读者、社区；对匿名的版权方则没有对应的表述。他翻录自己的 CD、下载专辑， 并不把它当作道德问题。若把「最慷慨的路线」读成对所有人，这一条就不完整。
  • 偏好取舍：这也是与「简单」相互作用的地方——他对媒体消费的态度是 能省则省、够用即止，与「慷慨」无关。

判定：真实，但不是最强的一条。 它由具体决定支撑（下载自律、开源、翻译、 免费开放），却没有反复付出显著代价的记录。

五、结论#

公理 作为原则 作为已支付的行为 可检验反例
简单 ✅ 成立（方法与趣味的简省） ✅ 成立（一种方法、一个用途、够用即止） 无 —— 此前所列数字（藏书 771→2,059 册、75.8 vs 12 本）系对已废弃注解的反证
自洽 ✅ 成立（方法层面，最强） ✅ 成立（精确性、不混淆标准、自己造） 无；张力由他本人明说（审查所致的思—写—发断层）
利他 ✅ 成立（有明确的决策规则） ⚠️ 部分（自律、开源、翻译、免费开放） 代价偏小；范围止于共同体／源头

一句话回答（依作者界定）：三条都在执行——自洽是活法（方法层面，未发现 反例），利他是选择（有代价的实例在案），简单是方法与趣味的简省。

本页初稿曾判「简单」不成立，那是判在 wiki 自己加严的注解上，非判在作者的 公理上；经作者界定（2026-09-18）后更正。同次修正的另一处：我先前写「他很少回头 复核」，亦错——他明说「写程序恰好能帮我实践并验证这三条，at almost zero cost」2024-08-12。

剩下唯一还值得做的，不是质疑这三条，而是把界定写进公理本身：让「简单」不再 需要读者各自猜它指方法还是指拥有量——本页与生活总览已据此更新。

六、这套检验本身从何而来（作者自述）#

本页的做法——拿三条公理去检验作者自己——不是 wiki 发起的。其来源是作者 2026-09-19 我一直是我自己。QED 里的自述：他让 AI「拿我自己立下的三条准则（简单·自洽·利他），去检验我自己 有没有做到」。该篇同时交代了本页两处纪律的出处，故单列一节。

① 「定义权属于作者」的来源（即本页首页那条自我更正）。 初稿「把其中一条的定义悄悄收紧了一档——然后拿这个更严的版本，去证明我没做到」。 他的裁定是：「这种涉及定义和边界的事，我需要有最终决定权。」本页初稿把「简单」 判为不成立，属同一类越界，作者界定（2026-09-18）推翻了它 —— 两件事同源。

② 「引文必须可回查」的来源。 AI 曾「读出原文里没有的东西」：替他整理时间线时凭空写出一条他某年生病的记录； 总结《叫魂》时把年代写歪了一百多年，给它安上「晚明」的腐败叙事——「官僚腐败 走到极点、民不聊生」——而《叫魂》讲的是乾隆三十三年。他的评语是：「这两处都没有语病，都能 读懂，都不刺眼。它们根本不像错误。」 由此立下两条规矩：原文一个字不许动；凡引到原文的话，都要带一条能指回 原文的链接。后者是要害 ——「真话假话，光靠表面和考据分不出来；但只要每句话 都能回查，假话就没有地方可藏」。 （可与本 wiki 的日志互证：这两处正是日志记下的两次更正——生活.md 里被删除 的虚构时间线条目、政治-哲学-制度.md 中重写的《叫魂》段落。作者的追述与日志一致。）

③ 他把这套检验的意义说成两件，与本页的分工吻合。 一是重新认识自己：把 二十二年的文字摊平、连成一片之后，「第一次能拿这些字当证据」；二是时时 检测自己是否遵循自己的原则——「准则写下来的那天是没有约束力的。约束力来自 有人回头查，而且反复地查」。本页负责前一件的「查」，新文持续进来则是后一件 的动力。

参见#

本页创建于 2026-09-18，最后更新于 2026-09-20。