Бодигрим писал(а):
Обычно арифметической функцией называют произвольную функцию вида

. В частности функция Эйлера

, функция Мебиуса

и т. д. - это все примеры арифметических функций. Можно изучать распределение значений той или иной конкретной функции на всех натуральных числах, а можно на подпоследовательностях специального вида.
Ну, это в разных науках по разному. У нас в теории вычислимости арифметической называют функцию из

в

, график которой выделяется на

формулой арифметики первого порядка. Это то же самое, что функция, график которой (рассматриваемый как бинарное отношение на

), попадает в один из (конечных) уровней арифметической иерархии.