罗素悖论

    1903年，罗素提出了罗素悖论，直接撼动了数学的基础，导致了第三次数学危机的爆发。

     罗素悖论的内容(这里采用 THOMAS JECH 写的set theory的表述为主，与百度百科上的表述有细小的不同，但本质相同）：consider the set S whose elements are all those(and only those) sets that are not menbers of themselves:S={X:X∉X}.Question: Does S belong to S？if S belong to S,then S is not a menber of itself,and so S∉S.On the other hand,if S∉S,then S belongs to S.In either case,we have a contradiction.解释一下：考虑一个集合S，它的元素是所有具有一下性质的集合：该集合不属于本身。即S={X:X∉X}。问题是，S是否属于S。如果S∈S，那么S不具有性质S∉S，那么S∉S，如果S∉S，那么S具有S集合元素的性质，S∈S。罗素悖论另一种通俗的表述：理发师悖论。在一个村庄，只有一个理发师，理发师说他只给不给自己理发的人理发。那么理发师要不要给自己理发呢？如果理发师不给自己理发，那么他就成了不给自己理发的人，那么理发师就应该为自己理发。另一方面，如果理发师给自己理发，就违背了他说的只给不给自己理发的人理发。

    为什么会出现罗素悖论呢，那是当时的集合的定义：如果P是一种性质，那么存在一个集合Y=x:P（x）}。当我们修改集合的定义为：如果P是一种性质，那么对于任意的一个集合X，存在一个集合Y={x∈X:P(x)}。罗素悖论就消除了。同时我们可以通过罗素悖论得出一个结论，不存在包含所有集合的集合.为什么呢？如果集合S包含了所有的集合，那么S包含S吗，如果S包含S，那么说明原本S没有包含所有的集合。如果S不包含S，那么S将不能包含所有集合。

    为了解决罗素悖论，诞生了很多理论,而且你了解悖论产生的更根本的原因吗？以及数学上怎么从根本上消除悖论吗？参见百度百科罗素悖论和哲理数学。和维基百科，模糊集合论。欢迎补充，下次博客：集合论中的class