《计算》 — 全书能力入口

触发与不触发

适用：与本书能力域相关的咨询与任务（见下方路由表的意图列）。 不适用：

• 具体编程语言、框架与工程实现的教学（本书不教写代码）
• 算法实现细节与性能调优操作（缓存、JIT、具体库用法等）
• 数学本体论与心身问题的立场裁断（作者自陈这些是「只有猜想」的问题）
• 需要临床、法律、金融等专业资质的处置

核心原则（常驻速览，概览类问题读到这里即可回答）

1. 书里的「计算」对应 computing（可由机器执行的符号变换过程），不是计算器意义上的 calculation——凡涉及「能不能算」的讨论，先统一到这个口径（L1007-1009）。
2. 计算的边界是先天继承的：现代计算机基于通用图灵机，因此继承不完备性、停机问题与判定问题的全部约束（L517-535）。
3. 能算 ≠ 算得动：可计算性与计算复杂性是两级筛子，先判「能不能」，再判「要多少代价」（L527-529）。
4. 形式化的前提是剥离符号的意义、只保留变换规则——这也是把推理交给机器的前提（L495）。
5. 自指既是一切悖论的根源，也是边界证明的引擎：编码 → 对角线 → 归谬，是诊断任何自指系统界限的统一三件套（L477-507）。
6. 不可能性结论在工程上的用法是「先停止浪费时间」的判据：NP 完全题要接受近似，并行有加速上限，量子计算置换的是物理基底而非数学边界。
7. 依赖未证明假设的推论（P≠NP、BPP≠BQP、单向函数存在、宇宙是图灵机）只能作条件句使用，不得当作已证前提。

能力路由（先读本表，按意图加载 1 张能力卡）

非能力类查询：

• 书名/作者/章节/整书概览 → references/overview.md
• 术语解释 → references/glossary.md
• 决策规则速查（不需要原文依据时） → references/cheatsheet.md
• 完整意图与关键词索引（本表未覆盖的意图先查这里） → references/capability-index.md

加载规则

• 每次任务先读本文件，再按路由表加载 1 张能力卡；任务明确跨域时最多加载 2 张。
• 概览/书名类问题不加载能力卡，用「核心原则」与 overview.md 回答。
• 路由表与 capability-index.md 都无法命中的意图，明确告知超出本书范围，不要硬套。

边界与判停

• 用户要的是「帮我把这道题算出来」而不是判断其边界时，停止本流程，直接解题。
• 涉及公开未决问题（P vs NP、宇宙是否图灵机、实无穷是否实在）时，停止把猜想当前提，明确标注未决。
• 用户要求裁断某条论断的哲学立场对错时，停止，只输出支撑强度与作者主张标签（L539-543）。
• 遇到 OCR 残缺的公式或指数数值（NR-04 / NR-06）时，停止数值复算，只记结构并标待核查。