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