Детские сады

одна загатка.

ЗАГАДКА ПРО БРАДОБРЕЯ
Бородатый брадобрей бреет в деревне всех, кто не бреется сам.. .
Должен ли он брить себя?
нет, так как получится что он "тот кто бреется сам" а он таких не бреет)
Лейла Шакенова
Лейла Шакенова
1 335
Лучший ответ
Да должен, т. к по законам матрицы - весь мир это элюзия, а значит бритвы не существует. Если он поймет матрицу, то тогда сможет побрить сам себя не дотрагиваясь до бритвы.. Сила мысли поможет БРАДОБРЕЮ
Ирина Никулина
Ирина Никулина
18 732
Эта загадка — такая же бородатая
парадокс брадобрея

Парадокс Рассела — открытая в 1903 году Бертраном Расселом и позднее независимо переоткрытая Э. Цермело теоретико-множественная антиномия, демонстрирующая противоречивость наивной теории множеств Г. Кантора.

Антиномия Рассела формулируется следующим образом:

Пусть K — множество всех множеств, которые не содержат себя в качестве своего элемента. Содержит ли K само себя в качестве элемента? Если да, то, по определению K, оно не должно быть элементом K — противоречие. Если нет — то, по определению K, оно должно быть элементом множеств, включающихся в К — вновь противоречие.

Противоречие в антиномии Рассела возникает из-за использования в рассуждении понятия множества всех множеств и представления о возможности неограниченного применения законов классической логики при работе с множествами. Для преодоления этой антиномии было предложено несколько путей. Наиболее известный состоит в предъявлении для теории множеств непротиворечивой формализации \mathcal M, по отношению к которой являлись бы допустимыми все «действительно нужные» (в некотором смысле) способы оперирования с множествами. В рамках такой формализации утверждение о существовании множества всех множеств было бы невыводимым.

Действительно, допустим, что множество U всех множеств существует. Тогда, согласно аксиоме выделения, должно существовать и множество K, элементами которого являются те и только те множества, которые не содержат себя в качестве элемента. Однако предположение о существовании множества K приводит к антиномии Рассела. Следовательно, ввиду непротиворечивости теории \mathcal M, утверждение о существовании множества U невыводимо в этой теории, что и требовалось доказать.

В ходе реализации описанной программы «спасения» теории множеств было предложено несколько возможных её аксиоматизаций (теория Цермело — Френкеля ZF, теория Неймана — Бернайса — Гёделя NBG, и т. д.) , однако ни для одной из этих теорий до настоящего момента не найдено доказательства непротиворечивости. Более того, как показал Гёдель, разработав ряд теорем о неполноте, такого доказательства не может существовать (в некотором смысле) .

Другой реакцией на открытие парадокса Рассела явился интуиционизм Л. Э. Я. Брауэра.

Варианты формулировок

Существует много популярных формулировок этого парадокса. Одна из них традиционно называется парадоксом брадобрея и звучит так:

Одному деревенскому брадобрею приказали «брить всякого, кто сам не бреется, и не брить того, кто сам бреется» , как он должен поступить с собой?

Еще один вариант:

В одной стране вышел указ: «Мэры всех городов должны жить не в своем городе, а в специальном Городе мэров» , где должен жить мэр Города мэров?

И ещё один:

Некая библиотека решила составить библиографический каталог, в который входили бы все те и только те библиографические каталоги, которые не содержат ссылок на самих себя. Должен ли такой каталог включать ссылку на себя?
Нет наверно, раз бородатый...