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

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

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

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

 в 

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

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

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