# 理发师悖论

> 理发师悖论（英语：Barber paradox）是用来比喻罗素悖论的一个通俗说法，由伯特兰·罗素在1901年提出。罗素悖论的出现是由于朴素集合论对于集合的不加限制的定义。由于当时集合论已成为数学理论的基础，这一悖论的出现直接导致了一场数学危机，也引发了众多的数学家对这一问题的补救，最终形成了现在的公理化集合论。同时，罗素悖论的出现促使数学家认识到将数学基础公理化的必要性。

- ID: m04004
- 分类: structure
- 领域: 逻辑学

## 定义

罗素提出的逻辑悖论：一个理发师只为所有不给自己刮胡子的人刮胡子，那么他给不给自己刮胡子？无论答案是肯定还是否定，都会导致矛盾。揭示了自指问题的逻辑困境。脚手架作用：自指陷阱识别。在规则设计、系统架构、政策制定中，警惕包含自指的定义或规则。帮助识别和避免那些看似合理但内在矛盾的系统设计。

## 机制

小镇理发师只给不给自己刮脸的人刮脸，那么他是否给自己刮脸构成自指矛盾。它是罗素悖论的通俗版本，揭示朴素集合论的缺陷。

## 练习

识别系统中的自指或自我包含定义。检查规则对自身适用时是否产生矛盾。用类型论或分层避免。

## 脚手架用法

自指陷阱识别。在规则设计、系统架构、政策制定中，警惕包含自指的定义或规则。帮助识别和避免那些看似合理但内在矛盾的系统设计。

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