Парадоксы: 2. Парадокс брадобрея

Парадокс звучит так.

Пусть в некотором городе живет брадобрей, который бреет всех жителей города, которые не бреются сами, и только их. Бреет ли брадобрей самого себя?

Как и в любой задаче здесь есть то, что ДАНО и то, что надо НАЙТИ.

ДАНО:

1.Все жители без Брадобрея - неполное множество
2.Все жители + Брадобрей - полное множество
3.Всех жителей города, которые не бреются сами (то есть часть жителей) - бреет Брадобрей(известно).
4.Всех жителей города, которые бреются сами (то есть другая часть жителей) - бреются сами(известно) - {следствие от (3)}
5.Брадобрея - бреет (неизвестно, не дано)


НАЙТИ:

Бреет ли брадобрей самого себя?

РЕШЕНИЕ:

По условию задачи видно, что есть 3 подмножества полного множества. Или 2 (Если кто Брадобрея посчитает занести в жители), не суть.

И также есть 3 множества, над которыми производятся действия. Это важнее.
1a. Всех жителей города, которые не бреются сами (то есть часть жителей) - бреет Брадобрей
2a. Всех жителей города, которые бреются сами (то есть другая часть жителей) - бреются сами
3a. Кто же бреет Брадобрея?

По условию нет информации кто его бреет.
Всего вариантов 2.

Первый вариант. Имеет 2 решения.
Первое решение. Брадобрей является членом множества жителей. Тогда он сам себя не бреет, так как условием это запрещено.
(....бреет всех жителей города, которые не бреются сами, и только их. )
Однако есть в условии следствие - Всех жителей города, которые бреются сами (то есть другая часть жителей) - бреются сами(известно)
А значит его может брить любой житель, который бреется сам.
Второе решение. А также может брить его и тот кто сам себя не бреет, но Брадобрея брить это же не себя брить. По условию это делать не запрещено.

Второй вариант. Брадобрей не бреется вообще, и это тоже не противоречит условию задачи. Но этот второй вариант только для случая когда Брадобрей и жители разные подмножества одного полного множества. То есть когда подмножеств 3.

Итак. Ответ очевиден по нескольким вариантам - он сам себя не бреет.



Редактировалось 1 раз(а). Последний 30.11.2021 01:59.

Нашел наконец свойство, которое исключает самого Брадобрея из множества тех, которые бреют или не бреют себя сами.
А значит что парадокса то нету.



Редактировалось 1 раз(а). Последний 17.11.2022 22:06.

Цитата
valeriradevich
Если брадобрей начнет брить самого себя значит он автоматически попадет в число тех жителей которых он брить не может . Отсюда вывод - самого себя брадобрей брить не может. И как следствие его - брадобрея может брить кто угодно кроме него самого.. То есть ответ на вопрос - Бреет ли брадобрей самого себя? очевиден - нет брадобрей самого себя брить не может потому что он бреет только тех кто не бреется сам. В общем довольно простенькая задача.

Если бы было все так то было бы все куда проще, но все не так. Рассуждения почему то начинаются с того что он все таки входит в их число. Я нашел что он туда не входит.
Просто это главное свойство пропущено уже в начале задачи.

Как иная трактовка, никакое множество , включающее в себе все множества не могут включать туда и сами себя.



Редактировалось 1 раз(а). Последний 17.11.2022 23:08.

а можно брадобрею играть в казинo или на ставках?



Редактировалось 2 раз(а). Последний 23.01.2023 00:21.

Цитата
alexx223344

Цитата
zklb (Дмитрий)
а можно брадобрею играть в казинo или на ставках?

Ему можно заниматься чем угодно, но если об этом упоминается в задаче, то данное свойство надо огласить, а не умолчать о нем.
Но это не мне решать можно или нет, а это решает тот, кто ставит парадокс.

Тот кто никогда не брился сам и никогда не брился существуют ,то
это не парадокс.



Редактировалось 1 раз(а). Последний 23.01.2023 00:22.

Цитата
alexx223344

Цитата
valeriradevich
Если брадобрей начнет брить самого себя значит он автоматически попадет в число тех жителей которых он брить не может . Отсюда вывод - самого себя брадобрей брить не может. И как следствие его - брадобрея может брить кто угодно кроме него самого.. То есть ответ на вопрос - Бреет ли брадобрей самого себя? очевиден - нет брадобрей самого себя брить не может потому что он бреет только тех кто не бреется сам. В общем довольно простенькая задача.

Если бы было все так то было бы все куда проще, но все не так. Рассуждения почему то начинаются с того что он все таки входит в их число. Я нашел что он туда не входит.
Просто это главное свойство пропущено уже в начале задачи.

Как иная трактовка, никакое множество , включающее в себе все множества не могут включать туда и сами себя.

Брадобрея может брит брадобре(йка) ей то не надо бриться .