请输入您要查询的字词:

 

单词 RussellsParadox
释义

Russell’s paradox


Suppose that for any coherent propositionPlanetmathPlanetmathPlanetmath P(x), we can construct a set {x:P(x)}.Let S={x:xx}. Suppose SS; then, by definition, SS. Likewise, if SS, then by definition SS. Therefore, we have a contradictionMathworldPlanetmathPlanetmath.Bertrand Russell gave this paradoxMathworldPlanetmath as an example of how a purely intuitive set theoryMathworldPlanetmath can be inconsistent. The regularity axiom, one of the Zermelo-Fraenkel axiomsMathworldPlanetmath, was devised to avoid this paradox by prohibiting self-swallowing sets.

An interpretationMathworldPlanetmathPlanetmath of Russell paradox without any formal languageMathworldPlanetmath of set theory could be stated like “If the barber shaves all those who do not themselves shave, does he shave himself?”. If you answer himself that is false since he only shaves all those who do not themselves shave. If you answer someone else that is also false because he shaves all those who do not themselves shave and in this case he is part of that set since he does not shave himself. Therefore we have a contradiction.

Remark. Russell’s paradox is the result of an axiom (due to Frege) in set theory, now obsolete, known as the axiom of (unrestricted) comprehension, which states: if ϕ is a predicateMathworldPlanetmath in the languagePlanetmathPlanetmath of set theory, then there is a set that contains exactly those elements x such that ϕ(x). In other words, {xϕ(x)} is a set. So if we take ϕ(x) to be xx, we arrive at Russell’s paradox.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 8:23:35