Friedberg numeração - Friedberg numbering

Na teoria da computabilidade , a numeração Friedberg é uma numeração (enumeração) do conjunto de todos os conjuntos uniformemente recursivamente enumeráveis que não tem repetições: cada conjunto recursivamente enumerável aparece exatamente uma vez na enumeração (Vereščagin e Shen 2003: 30).

A existência desses numerações foi criada por Richard M. Friedberg em 1958 (Cutland 1980: 78).

Referências

  • Nigel Cutland (1980), Computability: Uma Introdução à teoria da função recursiva , Cambridge University Press. ISBN  9780521294652 .
  • Richard M. Friedberg (1958), Três Teoremas sobre enumeração recursiva. I. decomposição. II. Set máxima. III. Enumeração sem duplicação , Journal of Symbolic Logic 23: 3, pp 309-316..
  • Nikolaj K. Vereščagin e A. Shen (2003), funções computáveis , American Mathematical Soc.

links externos