羅素悖論

出自維基百科,自由嘅百科全書
跳去: 定向搵嘢

羅素悖論(Russell's paradox),係由羅素1901年提出嘅悖論,係一個關於嘅內涵問题。

羅素悖論[編輯]

我地通常希望:隨意畀一個性質,滿足嗰個性質嘅所有類可以組成一個類。但係咁樣將會導致悖論:

羅素悖論:假設用性質 嚟表示「」,依家再假設用性質 嚟確定咗一個類 —— 亦都即係話「」。咁而家嘅問題就係: 係咪成立?首先若果,咁就係 嘅元素,咁樣 擁有性質 ,由性質 而知道;其次,若果,亦都即係話擁有性質,而 係由所有具有性質 嘅類所組成嘅,所以

羅素悖論重有一啲更為通俗嘅描述,好似理髮師悖論、書目悖論等等。

羅素悖論喺嘅理論當中通過内涵公理而解決咗。

書目悖論[編輯]

書目悖論同理髮師悖論基本上係一樣。可以話係羅素悖論嘅另一種通俗表達形式。內容係:「一個圖書館要編一本書,內容係『列出晒館入面所有唔列出自己書名嗰啲書個名』。」咁樣作為目錄嘅嗰本書應唔應該列出自己嘅書名呢?

睇埋[編輯]