理发师悖论, 本條目存在以下問題, 請協助改善本條目或在討論頁針對議題發表看法, 此條目没有列出任何参考或来源, 2008年6月20日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而移除, 此條目內容疑欠准确, 有待查證, 2014年8月23日, 請在讨论页討論問題所在及加以改善, 若此條目仍有爭議及准确度欠佳, 會被提出存廢討論, 理髮師悖論, barber, paradox, 是羅素用来比喻羅素悖論的一个通俗说法, 是由伯特蘭, 羅素在1901年提出. 本條目存在以下問題 請協助改善本條目或在討論頁針對議題發表看法 此條目没有列出任何参考或来源 2008年6月20日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而移除 此條目內容疑欠准确 有待查證 2014年8月23日 請在讨论页討論問題所在及加以改善 若此條目仍有爭議及准确度欠佳 會被提出存廢討論 理髮師悖論 Barber paradox 是羅素用来比喻羅素悖論的一个通俗说法 是由伯特蘭 羅素在1901年提出的 羅素悖論的出現是由於樸素集合論對於集合的不加限制的定義 由於當時集合論已成為數學理論的基礎 這一悖論的出現直接導致了一场數學危機 也引發了眾多的數學家對這一問題的補救 最終形成了現在的公理化集合論 同時 羅素悖論的出現促使數學家認識到將數學基礎公理化的必要性 目录 1 內容 2 历史故事 3 理发师悖论与罗素悖论 4 請參閱內容 编辑小城里的理发师放出豪言 他要为城裡人刮鬍子 而且一定只要為城里所有 不为自己刮鬍子的人 刮鬍子 但问题是 理发师该为自己刮鬍子吗 如果他为自己刮鬍子 那么按照他的豪言 只为城里所有不为自己刮鬍子的人刮鬍子 他不应该为自己刮鬍子 但如果他不为自己刮鬍子 同样按照他的豪言 一定要为城里所有不为自己刮鬍子的人刮鬍子 他又应该为自己刮鬍子 用集合论的语言来描述理发师悖论是这样的 小城里的人构成集合A a a l i v e s i n t h e t o w n displaystyle A a a lives in the town 对于每个小城里的人a displaystyle a 可以构造一个A displaystyle A 的子集S a x a s h a v e s x displaystyle S a x a shaves x 即a displaystyle a 给属于S a displaystyle S a 的人刮鬍子 那么 如果城里人a displaystyle a 给自己刮鬍子 则a S a displaystyle a in S a 如果a displaystyle a 不给自己刮鬍子 则a S a displaystyle a not in S a 如果a displaystyle a 不给任何人刮鬍子 则S a displaystyle S a 为空 即S a displaystyle S a 设理发师为s displaystyle s 则理发师的豪言就是 S s a a S a displaystyle S s a a not in S a 问题是 如果s S s displaystyle s in S s 这将与S s displaystyle S s 的定义矛盾 但如果s S s displaystyle s not in S s 根据S s displaystyle S s 的定义 又应该有s S s displaystyle s in S s 理发师悖论是个逻辑悖论 用集合论语言来描述并不是必需的 只是为了将来更容易说明它与罗素悖论不是一回事 历史故事 编辑德国数理逻辑大师戈特洛布 弗雷格 Frege 曾研究用集合论去描述数理逻辑 为此他还写了一本书 他在给罗素的信中提到他的工作时说他为此构造了一个特殊的集合 A displaystyle A 这个集合由所有不包含自己的集合构成 也就是说 集合A displaystyle A 的元素X displaystyle X 是一个集合 X displaystyle X 自己不是自己的元素 即X X displaystyle X not in X 罗素在回信中讲述了前面的理发师的故事 聪明的弗雷格看出了这实际上是指出了他所构造的集合A displaystyle A 的问题 如果A A displaystyle A not in A 那么根据定义A displaystyle A 应该包含A displaystyle A 即A A displaystyle A in A 但是如果A A displaystyle A in A 那么同样根据定义A displaystyle A 又不应该包含A displaystyle A 即A A displaystyle A not in A 可此时弗雷格的书已经付印 修改已经是不可能的了 弗雷格只能在书中加一个后记并写到 在工作结束之后而发现那大厦的基础已经动摇 对于一个科学工作者来说 没有比这更为不幸的了 虽然罗素没有直接点出那个弗雷格所构造的集合的悖论 但人们还是将那个集合的悖论称作罗素悖论 罗素悖论可以简单描述为 构造一个由所有不包含自己的集合构成的集合A 即A X X X displaystyle A X X not in X 但我们无法断定A是否应该包含A 无论包含或者不包含都会导出矛盾 由于罗素悖论只涉及集合的定义和从属关系的判断这些集合论最基础的问题 而集合论又已成为数学理论的基础 因此罗素悖论导致了第三次数学危机 这一历史故事应该只是一个 故事 而不完全是历史事实 从看到的一些罗素和弗雷格的通信来看 他们的交流是很学术的 但罗素悖论指出了弗雷格著作中的一个错误 使得他来不及修改他的著作而只能追加一段后记这是一个事实 理发师悖论与罗素悖论 编辑尽管人们经常把理发师悖论说成是罗素悖论 或认为它们是等价的 但理发师悖论和罗素悖论并没有等价的关系 它只是一个比喻 理发师悖论中的 不给自己刮鬍子 即a S a displaystyle a not in S a 和罗素悖论里的X X displaystyle X not in X 是不一样的 集合以自己为元素 X X displaystyle X in X 是一个很抽象的概念 通常需要像 所有集合的集合 这样的表达方式才能做到 一般很难用一个构造的例子来说明 但也见过一个十分有趣的例子 如果定义集合N x x is set discussed in this article displaystyle N x x text is set discussed in this article 则集合N displaystyle N 是一个包含自己的集合的例子 一种新的集合论的观点认为 罗素悖论也不是一个悖论 它也是一个和上述说法类似的逻辑错误 这用到了一个新的经改进的概括公理 comprehension axiom 但这还有待学术界的认可 請參閱 编辑悖論 罗素悖论 數理邏輯 公理化數學 類的理論 羅素公理體系 書目悖論 取自 https zh wikipedia org w index php title 理发师悖论 amp oldid 75010038, 维基百科,wiki,书籍,书籍,图书馆,