Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 Рекурсивное множество и функция
помогите доказать, что образ рекурсивного множества при отображении рекурсивной функцией не обязательно рекурсивен.
Мендельсон с 275 задание 1.
Подскажите хотя бы с чего начать? Буду благодарен за любую помощь

 Re: Рекурсивное множество и функция
Аватара пользователя
Вспоминайте про перечислимые неразрешимые множества.

 Re: Рекурсивное множество и функция
nikvic в сообщении #731899 писал(а):
Вспоминайте про перечислимые неразрешимые множества.

Если множество рекурсивно, значит оно разрешимо, зачем мне неразрешимые множества?

 Re: Рекурсивное множество и функция
Аватара пользователя
Вы знаете разницу между перечислимым и рекурсивным?
Вы понимаете под ""рекурсивной функцией?

 Re: Рекурсивное множество и функция
Cunning в сообщении #732097 писал(а):
nikvic в сообщении #731899 писал(а):
Вспоминайте про перечислимые неразрешимые множества.
Если множество рекурсивно, значит оно разрешимо, зачем мне неразрешимые множества?
Cunning, Вы зря сопротивляетесь. :-) Подумайте. Вам дали хорошую подсказку.

 [ Сообщений: 5 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group