En la teoría de la computabilidad , una numeración de Friedberg es una numeración (enumeración) del conjunto de todos los conjuntos enumerables recursivamente de manera uniforme que no tiene repeticiones: cada conjunto enumerable recursivamente aparece exactamente una vez en la enumeración (Vereščagin y Shen 2003:30).
La existencia de tales numeraciones fue establecida por Richard M. Friedberg en 1958 (Cutland 1980:78).
Referencias
- Nigel Cutland (1980), Computabilidad: una introducción a la teoría de funciones recursivas , Cambridge University Press. ISBN 9780521294652 .
- Richard M. Friedberg (1958), Tres teoremas sobre enumeración recursiva. I. Descomposición. II. Conjunto maximalista. III. Enumeración sin duplicación , Journal of Symbolic Logic 23:3, págs. 309–316.
- Nikolaj K. Vereščagin y A. Shen (2003), Funciones computables , American Mathematical Soc.
Enlaces externos