Что означает f:N -> N? В статье на википедии Вычислимая функция написано "это множество функций вида f:N -> N", что означает что то типа функция f с областью определения N и областью значений N ? Или что, не могу до конца вникнуть в статью, просьба помочь.

Предыдущий
вопрос Следующий
вопрос

Да, вы правильно поняли. Выражение "f: N -> N" означает, что функция f имеет область определения в множестве натуральных чисел (N) и область значений также в множестве натуральных чисел (N). Таким образом, f:N -> N обозначает множество всех функций, которые принимают натуральные числа в качестве входных данных и возвращают натуральные числа в качестве результатов.