Бюрократы, editor, Администраторы
422
правки
Изменения
Нет описания правки
== По конспекту ==
У тебя на полном серьёзе два разных множества натуральных чисел? Я что-то вообще с трудом улавливаю связь между сводимостью каких-то там множеств натуральных чисел и тем, что надо получить, собственно. [[Участник:Kirelagin|Кирилл Елагин]]
В первом абзаце доказательства всё правильно, но использована какая-то идиотская терминология («одно множество отличается от другого в точке») и вообще как-то убого написано. Это надо удалить и написать своими словами так чтобы прочитать можно было потом. Во втором абзаце вообще какая-то беда. Если не считать, что я так и не понял, что такое номер функции, вычисленной от множества, то надо, наверное, заметить, что я вообще не понял, какие номера и зачем ты вычисляешь. А теперь FATALITY: эта твоя «теорема» прямо следует из второго свойства, так что тянет максимум на следствие.
А вот свойства надо бы доказать.
{{Заголовок со строчной буквы}}
