2014 dxdy logo

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

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




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

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

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

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

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

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

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


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