BB(5) = 47 176 870
Polylog
0:00 / 0:00
BB(5) = 47 176 870
153 883 просмотра · 1 день назад
Polylog
120 тыс. подписчиков
153 883 просмотра · 1 день назад
Функция Busy Beaver задает, казалось бы, простой вопрос: как долго может работать программа, прежде чем она остановится? Так почему же существует целое онлайн-сообщество, посвященное ей, и почему мы никогда не можем узнать полный ответ?
Полное интервью со Скоттом Ааронсоном: • Scott Aaronson: Fast-growing functions, Bu...
Карта мыслей: https://orgpad.info/s/bb
Огромное спасибо сообществу Busy Beaver за бесценные отзывы и проверку фактов в видео! (Все оставшиеся ошибки — наши.)
О 43 оставшихся примерах: Skelet опубликовал этот список в 2003 году, но программа, которую он использовал для его генерации, состояла примерно из 6000 строк кода на Pascal без комментариев, и результат не был независимо проверен. Одной из целей конкурса Busy Beaver было сократить количество оставшихся примеров до аналогичного числа, но более воспроизводимым/прошедшим экспертную оценку способом. (Кроме того, к тому времени уже было доказано, что некоторые из 43 скелетов не останавливаются.)
Discord: / discord
Patreon: / polylog
Веб-сайт: https://polylog.cc
Авторы:
Ричард Хладик: редактор сценариев, видеоредактор, аниматор. Сайт: https://rihl.cz
Томаш Слама: аниматор, видеоредактор, редактор сценариев. Сайт: https://slama.dev
Вацлав Рожон: сценарист, видеоредактор, аниматор. Сайт: https://vaclavrozhon.github.io
Вацлав Волхейн: диктор, аниматор, видеоредактор, редактор сценариев. Канал на YouTube: / @vvolhejn
Спасибо всем нашим бета-тестерам за отзывы: 2swap, Адриену Раманане Рахари, Кате, Павлу Клавику, Тиму (pôle cerveau) и сообществу BB в Discord.
Анимации: Canvas Commons, библиотека TypeScript https://canvascommons.io/
Источники:
Определение пятого значения Busy Beaver: https://arxiv.org/abs/2509.12337
Атака на Busy Beaver 5: https://www.cs.cmu.edu/~cdm/papers/Ma...
Задание Busy Beaver: https://bbchallenge.org
Вики Busy Beaver: https://wiki.bbchallenge.org/wiki/Mai...
Busy beaver Фан-арт: Нико Ропер, Джейдекс, Лорен; всех можно найти на вики Busy Beaver.
Скотт Ааронсон, Кто назовёт большее число? (1999): https://www.scottaaronson.com/writing...
Скотт Ааронсон, «Граница трудолюбивого бобра» (2020): https://scottaaronson.blog/?p=4916
Фото Скотта Ааронсона: Техасский университет, Остин
Фото Тристана Стерина: https://tristan.st
Модель скелета-воина: RuneScape 3 от Jagex
Звуки скелета: Minecraft от Mojang
0:00 Вступление
1:10 Называние наибольшего числа
2:03 Машины Тьюринга
3:08 Функция трудолюбивого бобра
3:50 BB(1)
4:29 BB(2)
5:33 BB(3)
7:29 BB(4)
8:49 BB(5)
9:28 Что делает чемпион BB(5)
11:06 Из От 1990-х до BB Challenge
12:08 Скелет №1
15:03 BB(6) и далее
16:38 Машины, скрывающие открытые проблемы
17:32 Busy Beaver невозможно вычислить
18:50 За пределами аксиом математики
19:10 Заключение