Соответствие формулы для последовательности

[Soul Friend]

1)Есть ли критерий - проверить формулу до заданного $n$ и считать, является ли данная формула истинной для определённой последовательности? Если да, то чему равно максимальное значение $n$?
2) Как проверяют формулы на OEIS?

[Brukvalub]

Soul Friend в сообщении #1281121 писал(а):

1)Есть ли критерий - проверить формулу до заданного $n$ и считать, является ли данная формула истинной для определённой последовательности? Если да, то чему равно максимальное значение $n$?

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

[arseniiv]

Soul Friend в сообщении #1281121 писал(а):

2) Как проверяют формулы на OEIS?

Как и другие математические утверждения — по-разному.

[Korvin]

Soul Friend в сообщении #1281121 писал(а):

Есть ли критерий - проверить формулу до заданного $n$ и считать, является ли данная формула истинной для определённой последовательности? Если да, то чему равно максимальное значение $n$?

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

[Евгений Машеров]

Разность скользящих средних это скорее полосовой фильтр (поскольку скользящее среднее, простое, экспоненциальное или какое иное, это плохой НЧ-фильтр).