пятый busy beaver

[avva]

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

Comments

[geish_a]

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

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

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

[akss]

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

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

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

[geish_a]

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

[geish_a]

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

[firanx]

Вот это вы на редкость неудачный пример выбрали. Переводы в сто раз лучше, чем 10 лет назад, и кто-то из людей, занимающихся ИИ для машинных переводов, говорил, что каждый раз, когда они увольняют из команды лингвиста, качество перевода растет.

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

[geish_a]

То есть после первого предложения все остальное подтверждает, что машинные переводы плохие. ОК :-)

[firanx]

Действительно, эта собака пока не переигрывает вас в шахматы. Всего лишь одну партию из 5.

И в обучении собаки специалисты по шахматной теории только мешали.

[firanx]

А вы думаете, это где-то кем-то финансируется? Если вы в свое свободное время занимаетесь какой-то редко кому понятной и интересной филологической проблемой, упрекать вас в просиживании штанов было бы действительно странно.

[geish_a]

А все эти математики занимаются этим бесплатно дома? Сомневаюсь.

[firanx]

Не знаю, но имхо скорее бесплатно. Когда речь именно о таких частностях, во всяком случае.

Update: Ок, alaev меня опроверг. Все равно думаю, что "в принципе финансируется" не равно "каждый, кто вносит вклад, делает это как часть работы за зарплату/гранты", но что бывает - ясно.

[ald1976]

Вряд ли этим занимаются математики-профессионалы. Скорее математики-любители.

Кто-то десятичные разложения констант ищет, с точностью до триллионов знаков, кто-то бобров считает.

Вреда от этой деятельности никакого, кроме перевода электроэнергии, польза, теоретически, может быть - в процессе могут быть открыты полезные побочные результаты [часто бесконечно далекие от изначальной [малоинтересной] задачи].

Но только теоретически - намного чаще люди просто запускают чужие алгоритмы на своем железе, чем ищут новые продуктивные идеи. Примерно как Лудольф, досчитавший Пи до 32-го знака наивным античным методом, потратив на это десятилетия, после чего все его "достижения" были помножены на ноль аналитическими методами.

[ext_6183453]

Я тоже думаю, что это энтузиасты в свободное время делали, а не сотрудники университетов за зарплату.

Кстати, с числом пи есть ещё одна поучительная история, как один британец во второй половине 19го века посчитал 700 с чем-то знаков числа пи вручную, используя разложение арктангенса в ряд Тейлора. Рекорд докомпьютерной эры, однако. Правда, уже в 40е годы на самых первых компьютерах выяснилось, что он ошибся в 528-м знаке и все последующие цифры оказались неверными.

[ald1976]

И чему нас учит ошибка на 528 знаке? Или 100 триллионов верных знаков?

Так то конечно лучше переводить электричество, чем рабочее время квалифицированного специалиста. Но сам результат не говорит о числе пи ничего, что не было бы известно из рассуждений на салфетке.

**********************

Во всей этой движухе с бессмысленными механическими вычислениями было только одно светлое пятно - когда Фабрис Беллар сообразил, что супер-компьютер почти ничего не дает, слишком много съедается операциями ввода-вывода, и посчитал триллион знаков на слегка прокачанной PC. А потом пошла школота, запускающая на своих компах чужие проги. И школота из всяких гуглов, которая делает это на железе работодателя для рекламных целей.

Disc. На всякий случай, это не наезд на хозяина журнала. И вообще не наезд на кого-бы то ни было, а просто личное мнение о подобной деятельности.

[alaev]

Да, такие вещи финансируются. Обычно не в форме "исследование проблемы трудолюбивых бобров", а "исследование свойств машин Тьюринга с ограниченным числом состояний".