Доказать, что у неразрешимого множества есть разрешимое бесконечное подмножество.

Когда мы доказываем,что у разрешимого множества есть неразрешимое подмножество, то мы оперируем мощностью. Но в другую сторону так нельзя, тогда как быть?

задан 7 Апр '17 20:04

10|600 символов нужно символов осталось
0

Это утверждение неверно: см. Теорему 14 здесь на стр. 21. См. также доказательство отсюда. Если же в условии имелось в виду бесконечное перечислимое множество (такое упражнение имеется в книге), то решение имеется здесь.

ссылка

отвечен 7 Апр '17 23:49

10|600 символов нужно символов осталось
Ваш ответ

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

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

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

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

отмечен:

×725
×520

задан
7 Апр '17 20:04

показан
228 раз

обновлен
7 Апр '17 23:49

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

по почте:

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

по RSS:

Ответы

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

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