В комментариях к статье о разрядности и точности машинных вычислений совершенно неожиданно возникла небольшая дискуссия, которая к собственно вычислениям имела не самое прямое отношение. Она была гораздо шире вопросов систем счисления, математической логики, схемотехники. Можно сказать, что она затрагивала и философские вопросы, и мировоззренческие. Прошло уже две недели, была опубликована и другая статья, казалось бы, вопрос остался в прошлом... Почему же я вспомнил о нем? Прошлая неделя выдалась довольно напряженной...

Представьте, что вам показывают ряд чисел: 1, 6, 21, 107 и — внимание! — 47 176 870. Кажется естественным спросить: какое число идёт дальше? Угадать его невозможно. Эти значения — первые пять членов так называемой последовательности «занятого бобра». Она связана с одной из самых глубоких и трудных проблем теоретической информатики. Вычисление её членов оказывается настолько сложным, что уже более шестидесяти лет этой задачей занимаются и профессиональные математики, и энтузиасты. Первые четыре числа были установлены ещё в 1960–1970-х годах...