Страница 1 из 1
Мат. логика
Добавлено: 03 май 2009, 08:48
gepa1
Определение: всякое разрешимое множество перечислимо, обратное не верно
вопрос заключается в том почему это так, особенно почему обратное не верно
заранее спасибо.
Мат. логика
Добавлено: 03 май 2009, 09:00
Таланов
Обратное на мой взгляд утверждение следующее: Если множество перечислимо, оно не обязательно будет разрешимым. He знаю, что такое разрешимое множество, напомните.
Мат. логика
Добавлено: 03 май 2009, 09:07
gepa1
Таланов писал(а):Source of the post Обратное на мой взгляд утверждение следующее: Если множество перечислимо, оно не обязательно будет разрешимым. He знаю, что такое разрешимое множество, напомните.
вопрос в том как это пояснить...
мн-во разрешимо, если его характеристическая ф-ция вычислима, a
мн-во перечислимо, если его арактеристическая ф-ция вычислима
Мат. логика
Добавлено: 03 май 2009, 09:22
Таланов
gepa1 писал(а):Source of the post вопрос в том как это пояснить...
мн-во разрешимо, если его характеристическая ф-ция вычислима, a
мн-во перечислимо, если его арактеристическая ф-ция вычислима
Из этого следуют одинаковые определения для разрешимых и перечислимых множеств, так-ли это на самом деле? Сомневаюсь.
Мат. логика
Добавлено: 03 май 2009, 09:27
gepa1
Таланов писал(а):Source of the post gepa1 писал(а):Source of the post вопрос в том как это пояснить...
мн-во разрешимо, если его характеристическая ф-ция вычислима, a
мн-во перечислимо, если его арактеристическая ф-ция вычислима
Из этого следуют одинаковые определения для разрешимых и перечеслимых множеств, так-ли это на самом деле? Сомневаюсь.
это я ошибся
мн-во разрешимо, если его характеристическая ф-ция вычислима, a
мн-во перечислимо, если его полухарактеристическая ф-ция вычислима
Мат. логика
Добавлено: 04 май 2009, 09:17
gepa1