Парадокс на Ръсел: Разлика между версии

Изтрито е съдържание Добавено е съдържание
форматиране: кавички, тире-числа (ползвайки Advisor)
м век; козметични промени
Ред 1:
'''Парадоксът на Ръсел''' (в немската литература: '''антиномия на Ръсел''') е [[парадокс]] от [[теория на множествата|теорията на множествата]], изиграл важна роля при нейното формиране. Парадоксът е открит около началото на 20-ти век от [[Ернст Цермело]]<ref>B. Rang and W. Thomas, ''Zermelo's discovery of the „Russell Paradox“ '', Historia Mathematica, v. 8 n. 1, 1981, pp. 15 – 22.</ref> и обсъждан в кръга на [[Давид Хилберт]] в Гьотинген. В средата на 1901 г. [[Бертран Ръсел]] самостоятелно достига до същата идея, съобщава я на [[Готлоб Фреге]] през лятото на 1902 г., като показва, че противоречието, което се получава от парадокса, може да бъде конструирано във Фрегевата логическа система, а през следващата година първо Фреге, който споменава откривателството на Ръсел, а после и самият Ръсел обсъждат парадокса в публикации<ref>Russell B., ''Principles of Mathematics'', London, 1903</ref>.
 
== Постановка на парадокса ==
Ред 15:
Първото решение е [[теория на типовете (математика)|теорията на типовете]] на Ръсел, според която множествата са с йерархични типове. Дадено множество може да съдържа само обекти стриктно по-малки от него самото. По този начин парадоксът на Ръсел просто не може да бъде конструиран.
 
Второто решение се състои в ограничаване на принципа за формиране на множества: [[съждение|предикатпредикатите]]ите не дефинират множества, а отделят в едно вече съществуващо множество елементите, които притежават дадено свойство.
 
== Обяснение за нематематици ==