Изменения
Нет описания правки
}}
Простые множества являются примерами перечислимых множеств, не являющихся m-полными. Именно так и возникло понятие простого множества: Пост (англ. ''Post'' ) искал пример перечислимого неразрешимого множества, которое не было бы m-полным.
== См. также ==*[[m-сводимость]]
== Источники информации ==
* Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. — М.: МЦНМО, 1999. С. 134. ISBN 5-900916-36-7
