Перейти к содержимому

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 Заключение