Мат. логика

[gepa1]

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

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

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

[Таланов]

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

Обратное на мой взгляд утверждение следующее: Если множество перечислимо, оно не обязательно будет разрешимым. He знаю, что такое разрешимое множество, напомните.

[gepa1]

Source of the post

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

Обратное на мой взгляд утверждение следующее: Если множество перечислимо, оно не обязательно будет разрешимым. He знаю, что такое разрешимое множество, напомните.

вопрос в том как это пояснить...
мн-во разрешимо, если его характеристическая ф-ция вычислима, a
мн-во перечислимо, если его арактеристическая ф-ция вычислима

[Таланов]

Source of the post
вопрос в том как это пояснить...
мн-во разрешимо, если его характеристическая ф-ция вычислима, a
мн-во перечислимо, если его арактеристическая ф-ция вычислима

Из этого следуют одинаковые определения для разрешимых и перечислимых множеств, так-ли это на самом деле? Сомневаюсь.

[gepa1]

Source of the post

Source of the post
вопрос в том как это пояснить...
мн-во разрешимо, если его характеристическая ф-ция вычислима, a
мн-во перечислимо, если его арактеристическая ф-ция вычислима

Из этого следуют одинаковые определения для разрешимых и перечеслимых множеств, так-ли это на самом деле? Сомневаюсь.

это я ошибся
мн-во разрешимо, если его характеристическая ф-ция вычислима, a
мн-во перечислимо, если его полухарактеристическая ф-ция вычислима

[gepa1]