MENTAL MODEL · M3866
停机问题判据
The Halting Problem Criterion
更新于 2026-08-05
CORE DEFINITION · 核心定义
“程序无法预判自己是否会陷入死循环。” 图灵证明了，没有一个通用算法能判定一个程序是会运行结束，还是会永远跑下去。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
止损的熔断器。在做决策或情感投入时，如果你发现自己在不停地权衡利弊（陷入循环），不要指望“再想一会”能算出结果。你需要一个外部强制的“超时中断” (Timeout)。例如：“如果3天内没有新信息输入，就直接抛硬币决定”或者“设定止损线，到了就退场，不问为什么”。
anchor
锚定快速决策
借停机问题的洞见：既然无法预先判定一个过程是否会无限循环，对“反复权衡却无结论”的决策应引入外部强制超时。把“再想一会能算出结果”的预期打破，用预设的中断代替无限 deliberation。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- en.wikipedia.orghttps://en.wikipedia.org/wiki/Halting_problemverified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型