ЗАГАДКА ПРО БРАДОБРЕЯ
Бородатый брадобрей бреет в деревне всех, кто не бреется сам.. .
Должен ли он брить себя?
Детские сады
одна загатка.
нет, так как получится что он "тот кто бреется сам" а он таких не бреет)
Да должен, т. к по законам матрицы - весь мир это элюзия, а значит бритвы не существует. Если он поймет матрицу, то тогда сможет побрить сам себя не дотрагиваясь до бритвы.. Сила мысли поможет БРАДОБРЕЮ
Эта загадка — такая же бородатая
парадокс брадобрея
Парадокс Рассела — открытая в 1903 году Бертраном Расселом и позднее независимо переоткрытая Э. Цермело теоретико-множественная антиномия, демонстрирующая противоречивость наивной теории множеств Г. Кантора.
Антиномия Рассела формулируется следующим образом:
Пусть K — множество всех множеств, которые не содержат себя в качестве своего элемента. Содержит ли K само себя в качестве элемента? Если да, то, по определению K, оно не должно быть элементом K — противоречие. Если нет — то, по определению K, оно должно быть элементом множеств, включающихся в К — вновь противоречие.
Противоречие в антиномии Рассела возникает из-за использования в рассуждении понятия множества всех множеств и представления о возможности неограниченного применения законов классической логики при работе с множествами. Для преодоления этой антиномии было предложено несколько путей. Наиболее известный состоит в предъявлении для теории множеств непротиворечивой формализации \mathcal M, по отношению к которой являлись бы допустимыми все «действительно нужные» (в некотором смысле) способы оперирования с множествами. В рамках такой формализации утверждение о существовании множества всех множеств было бы невыводимым.
Действительно, допустим, что множество U всех множеств существует. Тогда, согласно аксиоме выделения, должно существовать и множество K, элементами которого являются те и только те множества, которые не содержат себя в качестве элемента. Однако предположение о существовании множества K приводит к антиномии Рассела. Следовательно, ввиду непротиворечивости теории \mathcal M, утверждение о существовании множества U невыводимо в этой теории, что и требовалось доказать.
В ходе реализации описанной программы «спасения» теории множеств было предложено несколько возможных её аксиоматизаций (теория Цермело — Френкеля ZF, теория Неймана — Бернайса — Гёделя NBG, и т. д.) , однако ни для одной из этих теорий до настоящего момента не найдено доказательства непротиворечивости. Более того, как показал Гёдель, разработав ряд теорем о неполноте, такого доказательства не может существовать (в некотором смысле) .
Другой реакцией на открытие парадокса Рассела явился интуиционизм Л. Э. Я. Брауэра.
Варианты формулировок
Существует много популярных формулировок этого парадокса. Одна из них традиционно называется парадоксом брадобрея и звучит так:
Одному деревенскому брадобрею приказали «брить всякого, кто сам не бреется, и не брить того, кто сам бреется» , как он должен поступить с собой?
Еще один вариант:
В одной стране вышел указ: «Мэры всех городов должны жить не в своем городе, а в специальном Городе мэров» , где должен жить мэр Города мэров?
И ещё один:
Некая библиотека решила составить библиографический каталог, в который входили бы все те и только те библиографические каталоги, которые не содержат ссылок на самих себя. Должен ли такой каталог включать ссылку на себя?
парадокс брадобрея
Парадокс Рассела — открытая в 1903 году Бертраном Расселом и позднее независимо переоткрытая Э. Цермело теоретико-множественная антиномия, демонстрирующая противоречивость наивной теории множеств Г. Кантора.
Антиномия Рассела формулируется следующим образом:
Пусть K — множество всех множеств, которые не содержат себя в качестве своего элемента. Содержит ли K само себя в качестве элемента? Если да, то, по определению K, оно не должно быть элементом K — противоречие. Если нет — то, по определению K, оно должно быть элементом множеств, включающихся в К — вновь противоречие.
Противоречие в антиномии Рассела возникает из-за использования в рассуждении понятия множества всех множеств и представления о возможности неограниченного применения законов классической логики при работе с множествами. Для преодоления этой антиномии было предложено несколько путей. Наиболее известный состоит в предъявлении для теории множеств непротиворечивой формализации \mathcal M, по отношению к которой являлись бы допустимыми все «действительно нужные» (в некотором смысле) способы оперирования с множествами. В рамках такой формализации утверждение о существовании множества всех множеств было бы невыводимым.
Действительно, допустим, что множество U всех множеств существует. Тогда, согласно аксиоме выделения, должно существовать и множество K, элементами которого являются те и только те множества, которые не содержат себя в качестве элемента. Однако предположение о существовании множества K приводит к антиномии Рассела. Следовательно, ввиду непротиворечивости теории \mathcal M, утверждение о существовании множества U невыводимо в этой теории, что и требовалось доказать.
В ходе реализации описанной программы «спасения» теории множеств было предложено несколько возможных её аксиоматизаций (теория Цермело — Френкеля ZF, теория Неймана — Бернайса — Гёделя NBG, и т. д.) , однако ни для одной из этих теорий до настоящего момента не найдено доказательства непротиворечивости. Более того, как показал Гёдель, разработав ряд теорем о неполноте, такого доказательства не может существовать (в некотором смысле) .
Другой реакцией на открытие парадокса Рассела явился интуиционизм Л. Э. Я. Брауэра.
Варианты формулировок
Существует много популярных формулировок этого парадокса. Одна из них традиционно называется парадоксом брадобрея и звучит так:
Одному деревенскому брадобрею приказали «брить всякого, кто сам не бреется, и не брить того, кто сам бреется» , как он должен поступить с собой?
Еще один вариант:
В одной стране вышел указ: «Мэры всех городов должны жить не в своем городе, а в специальном Городе мэров» , где должен жить мэр Города мэров?
И ещё один:
Некая библиотека решила составить библиографический каталог, в который входили бы все те и только те библиографические каталоги, которые не содержат ссылок на самих себя. Должен ли такой каталог включать ссылку на себя?
Нет наверно, раз бородатый...
Похожие вопросы
- нужны загатки про воду срочно!! ! згадки про воду
- Угадайте загатку!!!
- здравствуйте помогите придумать детскую загатку про весну
- люди плиз раскажите новагодние загатки?
- назовите пожалуйста 3 сложные загатки (с ответами)
- Загатка кто угодает тому 100 балов: (смотри внутри)
- скажите загатки на казаском
- загатка (на казахском)
- Загатка. Слово из 3-х букв. посреди У. Кто знает? помогите кроссворд разгадать.
- Страное вещ это НЛО кто-то говарит что это загатка,я лично верю.(ВП ВН)