Перейти к навигации Перейти к поиску
В теории вычислимости , нумерация Фридберг является нумерация (перечисление) множества всех равномерно рекурсивно перечислимых множеств , что не имеет повторений: каждый перечислимое множество появляется ровно один раз в перечислении (Vereščagin и Shen 2003: 30).
Существование такой нумерации было установлено Ричардом М. Фридбергом в 1958 г. (Cutland 1980: 78).
Ссылки [ править ]
- Найджел Катленд (1980), Вычислимость: Введение в теорию рекурсивных функций , Cambridge University Press. ISBN 9780521294652 .
- Ричард М. Фридберг (1958), Три теоремы о рекурсивном перечислении. I. Разложение. II. Максимальный набор. III. Перечисление без дублирования , Журнал символической логики 23: 3, стр. 309–316.
- Николай К. Верещагин, А. Шен (2003), Вычислимые функции , American Mathematical Soc.
Внешние ссылки [ править ]
 | Эта статья по математической логике - незавершенная . Вы можете помочь Википедии, расширив ее . |