пятый busy beaver

[avva]

Из блога Скотта Ааронсона я узнал сегодня, что мы теперь точно знаем значение BB(5) - функции Busy Beaver на 5 состояниях. Это одновременно тривиальная и захватывающая новость. Это что-то, про что я не был уверен, что будет известно в течение моей жизни - хотя полагал вероятным

Comments

[livelight]

Ура, бобры победят!

P.S.: Насколько я помню, Busy Beaver должен не работать максимально долго, а загадить единицами максимально большой кусок ленты (но потом всё равно остановиться)

[avva]

Это два разных бивера, первоначально упор был сделан на единицы, но сейчас больше любят число шагов. Обычно чемпион оказывается по обоим одновременно.

[geish_a]

"С одной стороны, не очень ясно, зачем ей заниматься. Найти общую формулу или метод для любого N невозможно в принципе. Ответ для N=5 никакой конкретной пользы ни для чего не приносит. ... И все равно есть что-то притягательное в ней для горстки программистов и математиков, которые продолжали активно работать над ней все эти годы. "

Забавно, что если бы про какую-нибудь "гуманитарную" проблему написали аналогичное утверждение, то большое кол-во даже комментаторов этого блога возмущалось бы, нахрена вообще эти бессмысленные гуманитарии просиживают штаны в академии (на мизерных, заметим, зарплатах). Но поскольку это программирование и математика, то они молодцы, мы ими горды, и деньги они получают за свои "непонятные зачем" долгосрочные проекты весьма серьезные.

Это я так, в сторону, о своем. Не могла пройти мимо ))

[akss]

Малополезная и плохопонятная математика часто находит неожиданное применение через десятки или сотни лет.

Гуманитарии попереливают из пустого в порожнее, да презрительно посмотрят на тех, кто не помнит всего Розенталя наизусть и все. Даже разумную реформу подготовить и провести не могут. Так и пишем "заяц" и "боец" по-разному, морщим лоб, соображая как писать "жареный" и какого рода кофе, при том, что радио и метро - среднего. Со стороны же математики, эволющии языка и языковые модели уже описываются разными прикладными методами линейной алгебры и обнаруживается много общего между языками и биологией. Риелторы уже не идут на курсы письма, а просто просят ИИ описать выставляемые дома покрасивее. Поэтому гуманитариям и платят меньше.

Это я так, в сторону, о своем. Не смог пройти мимо ))

[geish_a]

Лол, спасибо за иллюстрацию. Для вас гуманитарии - это совковая академия русского языка.

[geish_a]

То-то переводы на иностранный язык, сделанные через гугл-транслейт, такие хорошие )

[spamsink]

47176870 = 2*5*13*17*ВНЕЗАПНО 21347

[livelight]

Гугл считает, что 21347 - это лондонская красная телефонная будка. На предоставленных им картинках бобра в будке не заметил.

[burrru]

Напоминает бессмысленные околонаучные британские исследования 18-19 веков.