Здравствуйте. Помогите пожалуйста с задачкой:

Пусть задана некоторая главная универсальная нумерация вычислимых функций. Докажите, что множество пар (n, m), таких что n-ая вычислимая функция определена на m, а m-ая вычислимая функция не определена на n, неперечислимо и некоперечислимо

Спасибо вам!

задан 24 Май '17 16:07

Было здесь.

(24 Май '17 18:21) falcao
10|600 символов нужно символов осталось

Вопрос был закрыт. Причина - "Повтор вопроса". Закрывший - falcao 24 Май '17 18:22

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

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

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

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

отмечен:

×557
×454
×20

задан
24 Май '17 16:07

показан
112 раз

обновлен
24 Май '17 18:21

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

по почте:

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

по RSS:

Ответы

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

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