Таймкоды
00:00:00 Введение в парадокс брадобрея
- Король приказывает брадобрею побрить всех, кто не бреет сам себя.
- Брадобрей сталкивается с парадоксом: если он побрит себя, он не выполнит приказ короля.
- Если он не побрит себя, он нарушит приказ короля.
00:00:45 Проблема брадобрея
- Брадобрей не знает, что делать: побриться самому или нет.
- Если он побреется, он будет относиться к тем, кто бреет сам себя, и не выполнит приказ короля.
- Если он не побреется, он нарушит приказ короля.
00:01:42 Теория множеств
- Брадобрей рассматривает проблему с точки зрения теории множеств.
- Он представляет множества как папки на компьютере, где файлы заменены ссылками.
- Проблема заключается в том, что множество брадобрея может содержать ссылку на само себя.
00:03:03 Решение проблемы
- Брадобрей выбирает множества, которые не содержат ссылку на себя.
- Он включает множества, которые не содержат ссылки на себя, но сталкивается с проблемой.
- Если множество брадобрея содержит ссылку на себя, оно не должно быть включено.
- Если нет ссылки, оно должно быть включено, что создает неразрешимую ситуацию.
Таймкоды сделпны в Нейросети YandexGPT https://300.ya.ru/v_AFdMXAtT/
Расшифровка видео
Поиск по видео
Введение в парадокс брадобрея
0:00
Всем привет Меня зовут Саша Сегодня я
0:02
расскажу тебе про Парадокс брадобрея
0:04
Итак пришёл король к брадо брею и
0:07
говорит брадобрей Побрей всех кто не
0:10
бреет сам себя и брадобрей
0:14
такой В смысле как побрить всех кто не
0:17
бреет сам себя Итак есть чувак он бреет
0:21
сам себя Ну то есть его надо оставить в
0:23
покое он справится Да есть другой чувак
0:27
который не бреет сам себя у него есть
0:30
борода надо его побрить приходит борода
0:32
Брей и бреет его Казалось бы в чём
0:35
Парадокс просто убрали бороду У чувака у
0:37
которой который сам не может у себя
0:39
убрать бороду правильно а парадокс в том
0:42
что сам брадобрей чувствует себя плохо
Проблема брадобрея
0:45
брадобрей Это тот чувак который бреет
0:48
бороды Вот сам брадобрей вот он огромная
0:51
голова и у него огромная борода и
0:53
брадобрей думает что мне собственно с
0:55
этой бородой делать брить или не брить
0:57
Проблема в том что если бродо Брей
0:59
побреется Сея бородой как бы вот эту
1:02
избавиться от неё то получается что он
1:04
относится к множеству тех людей которые
1:06
бреют сами
1:07
себя и ему тогда не надо было брить
1:10
такого человека а он его побрил сам себя
1:13
правильно ему Король сказал Побрей тех
1:17
кто не бреет сам себя Давайте ещё точнее
1:20
король вообще долбанутый чел и он такой
1:24
Побрей только тех кто бреет кто сам себя
1:28
не бреет Побрей только тех кто сам себя
1:31
не побрил не Брей никого лишнего никогда
1:35
И если ты кого-то не пореево я тебя
1:38
приказал побрить или
Теория множеств
1:43
побреется он такой В смысле если я сам
1:46
себя побрею то я отношусь к первой
1:48
категории тех кто сам себя бреет и тогда
1:50
мне нельзя самого себя брить А если я
1:52
короче себя не побрею тогда получается я
1:55
отношусь ко второй категории тех кто
1:57
себя не бреет и таких надо брить и он
2:00
такой брить мне себя или не брить что
2:02
делать-то собственно большая проблема
2:04
Сейчас расскажу тебе по-другому эту же
2:06
проблему смотри берём короче в теории
2:08
множеств множества эти множества будут
2:11
устроены следующим образом как файлы на
2:13
компьютере и папки Представь себе папки
2:16
и внутри этих папок есть файлы Да на
2:19
компе Ну как на рабочем столе просто
2:21
только давай сделаем вид что файлов
2:22
вообще не существует существуют только
2:24
ссылки на другие папки например Это
2:25
папка А это папка б это папка с Ну у них
2:28
там название знаешь там работа мои
2:30
документы там какие у тебя ещё папки на
2:32
компе не будем все папки перечислять
2:34
берём значит и вот здесь вот ставим
2:36
ярлык такой на папочку б типа вот можно
2:38
зайти в папку а и там ярлык на б
2:40
переместиться сюда или вот ярлык на
2:43
папочку с Вот например тут содержится А
2:45
где-то вот есть множество которое
2:47
содержит ярлык на папку А вот так вот и
2:51
его называют D и оно кстати содержит
2:53
ярлык на папку D тоже вот такое
2:55
множество интересное А где-то вот
2:57
Существует множество под названием
3:02
брадобрей в чём проблема этого множества
Решение проблемы
3:05
Давайте возьмём такое
3:07
множество которая
3:10
содержит ссылку Ну то есть ярлык на все
3:14
множества
3:16
которые не такие как D то есть не
3:19
содержат сами себя не бреют сами себя
3:22
выберем только такие множества которые
3:24
не содержит ссылку на себя Вот например
3:26
а не содержит ссылку на себя так что
3:28
поместим ссылку на а
3:30
внутрь
3:32
прекрасно оно вообще пустое поэтому не
3:35
содержит само себя так что на б тоже
3:37
помещаем ссылку сюда содержит ссылку на
3:41
с Вот давайте так поэтому не
3:44
помещаем тоже содержит ссылку само на
3:46
себя поэтому мы его не помещаем ну
3:49
нормально вроде взяли такую папочку Да
3:51
собрали теории множеств в математике из
3:54
бы мы предполагаем что если есть
3:56
какие-то папочки ссылочки на папочки тоя
3:58
из них конгу
4:00
Вот например такая конфигурация Давайте
4:02
поместим папочку под названием брадобрей
4:05
только те папки которые сами себя не
4:06
содержат и возникает проблема какая
4:09
проблема Проблема
4:11
Такая существует ли внутри папочки
4:13
брадобрей ссылка на папочку
4:17
брадобрей
4:18
Если да то получается брадобрей содержит
4:22
сам
4:23
себя
4:25
былого
4:28
мжи нет этой ссылки получается брадобрей
4:33
сам себя не содержит и тогда такую
4:35
папочку надо было бы включить вот отстой
4:39
что делать
4:45
непонятно я побрил