Обсуждение:M-сводимость

☐ англоязычные термины

☐ ссылка на английскую википедию, у существующих источников ссылки на номер страницы

☐ написать еще про сведение по Тьюрингу и чем m-сведение от него принципиально отличается (в частности, про то, что по Тбюрингу не сохраняется неразрешимость). --Дмитрий Герасимов 11:53, 9 декабря 2012 (GST)