Введение

Гиббратская гипотеза — это гипотеза в теории чисел, касающаяся последовательностей, генерируемых применением оператора конечных разностей к последовательным простым числам с взятием абсолютных значений результатов, и последующим повторением этого процесса для последовательных членов полученной последовательности и так далее. Гипотеза названа в честь Нормана Л. Гилбрата, который в 1958 году представил её математическому сообществу, случайно заметив закономерность при выполнении арифметических вычислений на салфетке. Однако, в 1878 году, за восемьдесят лет до открытия Гилбрата, Франсуа Прот опубликовал те же наблюдения вместе с попыткой доказательства, которая впоследствии оказалась неверной. Тем не менее, гипотеза остаётся нерешённой проблемой. Вместо вычисления n строк, Одлызко вычислил 635 строк и установил, что 635-я строка начинается с 1 и далее содержит только 0 и 2 для следующих n чисел. Это подразумевает, что следующие n строк также начинаются с 1.

Обобщения

В 1980 году Мартин Гарднер опубликовал гипотезу Галларда Крофта, утверждавшую, что свойство гипотезы Гилбрета (наличие 1 в первом члене каждой последовательности разностей) должно выполняться в более общем виде для любой последовательности, начинающейся с 2, затем содержащей только нечетные числа и имеющей достаточно малую верхнюю границу для разностей между последовательными элементами. Эта гипотеза также повторялась другими авторами. Однако она неверна: для любой начальной подпоследовательности, состоящей из 2 и нечетных чисел, и для любой неконстантной скорости роста существует продолжение этой подпоследовательности нечетными числами, разности между элементами которой подчиняются заданной скорости роста, но последовательности разностей которой не начинаются с 1 бесконечно часто. Гарднер был более осторожен, говоря о некоторых эвристических основаниях для веры в гипотезу Гилбрета, что "вышеупомянутые аргументы применимы ко многим другим последовательностям, в которых первый элемент равен 1, остальные четные, а разности между последовательными элементами не слишком велики и достаточно случайны". Однако он не дает формального определения понятия "достаточно случайный".