恢复备份
导出
导入
更新
清空
关闭
More
保存
重做
撤销
预览
开始
框架
模块
您可以通过导出进行模板备份
我知道了
添加框架
添加模块
100%框架
1:1
1:2
2:1
1:3
3:1
1:1:1
tab框架
关闭
当前为
简洁模式
,您可以更新模块,修改模块属性和数据,要使用完整的拖拽功能,
请点击进入高级模式
返回首页
收藏本站
博牛APP
广告合作
新博币提现
如何赚新博币?
新手帮助
在线客服
论坛
综合讨论区
情感交友
声色犬马
灌水闲聊
生活服务
迪拜攻略
二手交易
房屋交易
外卖点餐
小额换汇
站务区
求助问答
投诉申诉
版主招募
建议反馈
求职招聘
登录/
注册
重播
博牛社区
›
产业交流
›
知识百科
电梯直达
»
返回列表
太子妃
翻译小组
当前积分:4016
帖子
739
新博币
1
提现
提现
0
元
发表于 2016-10-8 06:14:35
2064
0
|
显示全部楼层
|
倒序浏览
楼主
理发师悖论(Barber paradox)是罗素用来比喻罗素悖论的一个通俗说法,是由伯特兰·罗素在1901年提出的。罗素悖论的出现是由于朴素集合论对于集合的不加限制的定义。由于当时集合论已成为数学理论的基础,这一悖论的出现直接导致了第三次数学危机,也引发了众多的数学家对这一问题的补救,最终形成了现在的公理化集合论。同时,罗素悖论的出现促使数学家认识到将数学基础公理化的必要性。
[micxp_threadbk] [micxp_title] 内容 历史故事 理发师悖论与罗素悖论 请参阅 [/micxp_title] [#] 小城里的理发师放出豪言:他只为城里所有不为自己刮胡子的人刮胡子。
但问题是:理发师该给自己刮胡子吗?如果他给自己刮胡子,那么按照他的豪言“只为城里所有不为自己刮胡子的人刮胡子”他不应该为自己刮胡子;但如果他不给自己刮胡子,同样按照他的豪言“要为城里所有不为自己刮胡子的人刮胡子”他又应该为自己刮胡子。
用集合论的语言来描述理发师悖论是这样的:小城里的人构成集合
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
i
s
s
e
t
d
i
s
c
u
s
s
e
d
i
n
t
h
i
s
a
r
t
i
c
l
e
}
{\displaystyle N=\{x|x\ is\ set\ discussed\ in\ this\ article\}}
。则集合
N
{\displaystyle N}
是一个包含自己的集合的例子。
一种新的集合论的观点认为,罗素悖论也不是一个悖论,它也是一个和上述说法类似的逻辑错误,这用到了一个新的经改进的概括公理(comprehension axiom)。但这还有待学术界的认可。 [####]
悖论
罗素悖论
数理逻辑
公理化数学 -- 类的理论 -- 罗素公理体系
书目悖论
分类:
集合论悖论
隐藏分类:
自2015年7月需要合并的条目
自2008年6月缺少来源的条目
自2014年8月准确性有争议的作品
拒绝当选首页新条目推荐栏目的条目
含有多个问题的条目
[/micxp_threadbk]
个人签名
收藏
0
回复
菲律宾最大的华人电报群,点击加入:https://t.me/boniush365
返回列表
加入博牛招聘会员,尽享专属特权>>
赚博币,当钱花>>
高级模式
B
Color
Image
Link
Quote
Code
Smilies
您需要登录后才可以回帖
登录
|
立即注册
本版积分规则
发表回复
回帖并转播
回帖后跳转到最后一页
浏览过的版块
新手报道
外卖点餐
快速回复
返回顶部
返回列表