Версия для печати темы

Автор: gepa 3.5.2009, 7:52

Определение: всякое разрешимое множество перечислимо, обратное не верно

вопрос заключается в том почему это так, особенно почему обратное не верно

заранее спасибо.

Автор: tig81 3.5.2009, 8:01

А вы как думаете?

Автор: gepa 3.5.2009, 8:20

про первую часть, я думаю, что поскольку мн-во разрешимо, значит его хар-кая ф-ция вычислима, и след-но есть программа (алгоритм), которая может перечислить все эл-ты
а вот в обратную сторону догадок никаких нет..