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

iron3k
Только не говори что в Задорнова заделался

А-а! Спалился, Задорнов!

Сходить в соседнюю деревню... Там, небось, его коллега тоже мучается парадоксом...

iron3k А в условии не сказанно - брееться ли брадобрей или нет.

Tod Schwarzkaiser

Добавлено спустя 1 минуту, 4 секунды
Megagad
Если бреется - то он себя не может брить. Тогда он не бреется. Значит себя может брить - тогда бреется. Рекурсия.

Антиномия или парадокс Рассела не имеет решения в рамках логики предикатов.

anwjl Тогда почему теорию множеств считают основой математики?

Сунуть башку в костер секунд на десять. И условия задачи не нарушены, и бороды нет. И уже никогда не будет

iron3k Вопрос об основах математики меня тоже очень занимает, но сейчас не об этом. В такой формулировке пардокс Рассела лишь занятный лингвистический феномен, вроде "Я лгу". Логика предикатов - не венец творения, в теории классов такой фокус уже не проходит. Если повезет, найду точную формулировку.

Upd. На вики кислая какая-то статья по сабжу.

anwjl Спс.

Тоже когда-то заинтересовался пардоксами. Очень много интересных и любопытных вещей узнал. Советую обратить внимание на это.
Добавлено спустя 3 минуты, 6 секунд



Хотите пожаловаться? Идите в "смаркалку".

Fraunhofer
Да нет , сейчас вижу что тема интересная , просто вначале немного бредово выглядела , наиболее интересно мнение Tod Schwarzkaiser

Critical System Error 1024 : System not found! Он мужик - пусть сам решит.

Загадочно, но главная мысль ясна. Только взятые с потолка дополнительные ограничения спасут брадобрея. У Клауса во Введении в формальную логику про дополнительные условия следующее:



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

anwjl
Интересно. То есть, если перекинуть это на парадокс Рассела, выходит что Множество всех множеств - выше классом, чем остальные множества?

iron3k
Нет такого парикмахера, который бреет тех мужчин, которые бреются сами. А поскольку его нет, то противоречия внутри игры словами нас могут не беспокоить.

Более того - оно не является множеством в том смысле, в котором его элементы.
Добавлено спустя 7 минут, 43 секунды
Но сразу появляются вопросы, почему тогда множество всех ПОДмножеств являеется множеством и тп. Тут есть над чем подумать.

Фактически подмножество есть множество... Так что...

И напоследок интерпретация теории классов для конкретного случая. Рассмотрим брадобрея с точки зрения исполнения им профессиональных обязанностей. В рабочее время он брадобрей, но во все остальное время он просто человек. Следовательно, он может брить себя в свое свободное время, потому что в это время он не брадобрей и не попадает под действие приказа. А еще я представил, как брадобрей бегает по деревне и насильно бреет тех, "кто сам не бреется"