# 莱斯定理

> 莱斯定理（Rice's theorem）是可计算性理论中的一条定理，由亨利·戈登·莱斯于1953年提出。定理指出，递归可枚举语言的所有非平凡（nontrival）性质都是不可判定的。“非平凡”是指，仅被部分递归可枚举语言具有的特性。

- ID: m00192
- 分类: business
- 领域: 管理学

## 定义

对于任何非平凡的程序属性（如“这个程序会输出0吗？”），都不存在一个通用算法能判定所有程序是否具备该属性。即代码的语义属性是不可判定的。脚手架作用： 承认自动化管理的边界。你永远无法写出一个完美的规则（算法）来自动判断员工的所有行为是否“合规”或“高效”。必然存在灰色地带，必须引入人的主观判断（Human-in-the-loop）来填补逻辑的空缺。

## 机制

对任何关于程序行为的非平凡语义属性，不存在统一的判定算法（图灵不可判定）。可在程序行为上构造自指式对角化，使任何"判定器"陷入矛盾。

## 练习

设计自动化审查或合规规则前，先判断目标属性是否语义性、非平凡。承认存在不可自动判定之处，预留人工复核（human-in-the-loop）。不要追求能覆盖一切病情的完美规则。

## 脚手架用法

承认自动化管理的边界。你永远无法写出一个完美的规则（算法）来自动判断员工的所有行为是否“合规”或“高效”。必然存在灰色地带，必须引入人的主观判断（Human-in-the-loop）来填补逻辑的空缺。

[阅读网页](https://thinkingmodels.site/entries/detail/m00192)