理发师悖论
伯特纳德·罗素提出这个悖论,为的是把他发现的关于集合的一个著名悖论用故事通俗地表述出来。某些集合看起来是它自己的元素。例如,所有不是苹果的东西的集合、它本身就不是苹果,所以它必然是此集合自身的元素。现在来考虑一个由一切不是它本身的元案的集合组成的集合。这个集合是它本身的元素吗?无论你作何回答,你都自相矛盾[*]。 在逻辑学历史上最富戏剧性的危机之一就与这条逆论有关。德国的著名逻辑学家哥特洛伯·弗里兹写完了他最重要的著作《算法基础》第二卷,他认为他在这本书中确立了一套严密的集合论,它可作为整个数学的基础。1902年,当该书付印时,他收到了罗索的信,他得知上面那条悖论。弗里兹的集合论容许由一切不是它自身的元素的集合构成的集合。正如罗素在信中澄清的,这个表面上结构完美的集合却是自相矛盾的。弗里兹在收到罗素的信后,只来得及插入一个简短的附言: “一个科学家所遇到的最不合心意的事,莫过于是在他的工作即将结束时使其基础崩溃了,我把罗素的来信发表如下……” |
|