Изменения
→Главная нумерация
Собственно, то, что с помощью главной нумерации мы можем легко получать номер композиции двух программ и является преимуществом главной нумерации относительно других.
Приведем пример вычислимой нумерации множества <tex>R\mathbb{Q}</tex>. Для этого упорядочим все дроби, образующие все множество <tex>R\mathbb{Q}</tex> по неубыванию суммы числителя и знаменателя. В случае равенства упорядочим по увеличению числителя. Полученная нумерация, очевидно, вычислима.
== Литература ==
