zoukankan      html  css  js  c++  java
  • Barber paradox

    According to Wikipedia, the well known barber paradox states like this:

    The barber is the “one who shaves all those, and those only, who do not shave themselves.” The question is, does the barber shave himself?

    Actually, this paradox is directly related to the second part of Theorem 7.8 in James Munkres “Topology”. This theorem says:

    Let (A) be a set. There is no injective map (f: mathcal{P}(A) ightarrow A), and there is no surjective map (g: A ightarrow mathcal{P}(A)).

    Here (mathcal{P}(A)) represents the power set of (A).

    Mapped to the barber paradox, this theorem can be dissected as below:

    Let the set (A) represent all the people involved in the paradox. Let (a) be any one of the barbers and the surjective map (g) associate (a) with a group of people (C in mathcal{P}(A)), who do not shave themselves and are (a)’s customers. Then, let (B) be a subset of (A) including all the barbers. Because (g) is surjective, this group of barbers (B) must also have its own pre-image, which is a singleton ({a_0}) in (A). According to the definition of (g), all the barbers in group (B) do not shave themselves and the only people (a_0) in the singleton is also a barber who provides service to all barbers in (B). And here we have the paradox: on one hand, because the barber (a_0) belongs to the subset (B) so (a_0) does not shave himself; on the other hand, the rule of assignment for the surjective map (g) ensures (a_0) really shaves himself.

    Although we have an unsolvable paradox here, there is no need to bear any qualms. In reality, the barbers in (B) do not need a high-level barber’s barber or a barber from another city as the (a_0). They can simply provide mutual help to each other.

  • 相关阅读:
    1.常用命令
    虚拟机共享文件夹
    Docker安装 和简单使用
    js方法名通过参数传递调用实例
    highcharts参数说明
    绘制HightCharts饼状图
    附加数据库失败,操作系统错误 5:”5(拒绝访问。)”的解决办法
    ckeditor相关使用
    针对MySQL提高百万条数据的查询速度优化
    SELECT INTO 和 INSERT INTO SELECT 两种表复制语句
  • 原文地址:https://www.cnblogs.com/peabody/p/10111485.html
Copyright © 2011-2022 走看看