發(fā)布時(shí)間：2016-05-10 19:07

  本文關(guān)鍵詞：理發(fā)師悖論，由筆耕文化傳播整理發(fā)布。

理發(fā)師悖論 - 概念

理髮師悖論又稱為羅素悖論，是由伯特蘭·羅素在1901年提出的。它的出現(xiàn)是由於樸素集合論對(duì)於元素的不加限制的定義。由於當(dāng)時(shí)集合論以稱為數(shù)學(xué)理論的基礎(chǔ)，這一悖論的出現(xiàn)直接導(dǎo)致了第三次數(shù)學(xué)危機(jī)，也引發(fā)了眾多的數(shù)學(xué)家對(duì)這一問(wèn)題的補(bǔ)救，最終形成了現(xiàn)在的公理化集合論。同時(shí)，，羅素悖論的出現(xiàn)促使數(shù)學(xué)家認(rèn)識(shí)到將數(shù)學(xué)基礎(chǔ)公理化的必要性。

理發(fā)師悖論 - 內(nèi)容

一個(gè)城市里唯一的理髮師只給所有不給自己理髮的人理髮。這個(gè)城市不可能存在，因?yàn)椋?bR>如果理髮師不給自己理髮，他需要遵守規(guī)則，給自己理髮
如果理髮師給自己理髮，如遵守規(guī)則，他不準(zhǔn)給自己理髮
換用集合語(yǔ)言：
可以把集合分為兩類，凡不以自身為元素的集合稱為第一類集合；凡以自身作為元素的集合稱為第二類集合。顯然每個(gè)集合或?yàn)榈谝活惣匣驗(yàn)榈诙惣�。設(shè)為第一類集合的全體組成的集合。
如果是第一類集合，由集合的定義知:應(yīng)該是的元素，這表明是第二類集合
如果是第二類集合，那么是它自身的元素
二者皆導(dǎo)出矛盾，而整個(gè)討論邏輯上是沒(méi)有問(wèn)題的。問(wèn)題只能出現(xiàn)在集合的定義上。

理發(fā)師悖論 - 補(bǔ)救

由於羅素悖論的出現(xiàn)所引發(fā)的第三次數(shù)學(xué)危機(jī)，公理化集合論勢(shì)在必行。德國(guó)數(shù)理邏輯學(xué)家策梅洛（Zermelo，1871年-1953年）應(yīng)用自己的公理系統(tǒng)，使得集合在公理的限制下不會(huì)太大，從而避免了羅素悖論。經(jīng)過(guò)改進(jìn)，這一系統(tǒng)形成了現(xiàn)在被稱為ZF系統(tǒng)的公理集合論體系。這個(gè)體系至今沒(méi)有發(fā)現(xiàn)悖論。

  本文關(guān)鍵詞：理發(fā)師悖論，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：43761