Пусть A ⊆ N рекурсивно, а f : N → N тотальная строго возрастающая вычислимая функция, т.е. f(x) < f(y) для всех x < y. Докажите, что множество f(A) = {y ∈ N | ∃x ∈ A (f(x) = y)} является рекурсивным.

задан 28 Май 14:30

Этот вопрос в ряде эквивалентных формулировок звучал многократно. См. здесь.

(28 Май 14:54) falcao
10|600 символов нужно символов осталось

Вопрос был закрыт. Причина - "Повтор вопроса". Закрывший - falcao 28 Май 14:54

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

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

Присоединяйтесь!

отмечен:

×1,469
×160
×158
×27

задан
28 Май 14:30

показан
41 раз

обновлен
28 Май 14:54

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru