MENTAL MODEL · M2588
停机问题
Halting Problem
Version 1.0.0 · 更新于 2026-07-30
CORE DEFINITION · 核心定义
是否存在一个程序，能判断任意一个程序（和输入）是会最终停止，还是会无限死循环下去？图灵证明了：不存在。这是计算机能力的逻辑边界。 -
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
不可知论的数学证明。 - 它告诉我们，即使是逻辑最严密的计算机，也有无法预知的问题。在管理和规划中，承认“有些Bug是无法通过预先检查发现的”，必须通过运行（Run）才能暴露。完美的预判系统在逻辑上是不存在的。
anchor
锚定快速决策
图灵证明不存在通用算法能判定任意程序在给定输入下是否会终止。证明用反证法：假设存在判定器 H，构造一个调用 H 自身的程序，使其对“会停机”的输入陷入循环、对“会循环”的输入停机，产生矛盾。
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 · 相关模型