MENTAL MODEL · M0192
莱斯定理
Rice's Theorem
Version 1.0.0 · 更新于 2026-07-28
CORE DEFINITION · 核心定义
对于任何非平凡的程序属性（如“这个程序会输出0吗？”），都不存在一个通用算法能判定所有程序是否具备该属性。即代码的语义属性是不可判定的。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
承认自动化管理的边界。你永远无法写出一个完美的规则（算法）来自动判断员工的所有行为是否“合规”或“高效”。必然存在灰色地带，必须引入人的主观判断（Human-in-the-loop）来填补逻辑的空缺。
anchor
锚定快速决策
对任何关于程序行为的非平凡语义属性，不存在统一的判定算法（图灵不可判定）。可在程序行为上构造自指式对角化，使任何"判定器"陷入矛盾。
MINIMUM ACTION · 最小行动
进行中 0/1在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- zh.wikipedia.orghttps://zh.wikipedia.org/wiki/%E8%8E%B1%E6%96%AF%E5%AE%9A%E7%90%86verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型