Определение: всякое разрешимое множество перечислимо, обратное не верно
вопрос заключается в том почему это так, особенно почему обратное не верно
заранее спасибо.
Полная версия: Мат. логика > Разное
А вы как думаете?
Цитата(tig81 @ 3.5.2009, 8:01) 
А вы как думаете?
про первую часть, я думаю, что поскольку мн-во разрешимо, значит его хар-кая ф-ция вычислима, и след-но есть программа (алгоритм), которая может перечислить все эл-ты
а вот в обратную сторону догадок никаких нет..
Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста, нажмите сюда.