Friedbergovo číslování - Friedberg numbering

v teorie vypočítatelnosti, a Friedbergovo číslování je číslování (výčet) množiny všech jednotně rekurzivně vyčíslitelné množiny který nemá žádná opakování: každá rekurzivně vyčíslitelná množina se ve výčtu objeví přesně jednou (Vereščagin a Shen 2003: 30).

Existenci takového číslování prokázal Richard M. Friedberg v roce 1958 (Cutland 1980: 78).

Reference

  • Nigel Cutland (1980), Vypočítatelnost: Úvod do teorie rekurzivních funkcí, Cambridge University Press. ISBN  9780521294652.
  • Richard M. Friedberg (1958), Tři věty o rekurzivním výčtu. I. Rozklad. II. Maximální sada. III. Výčet bez duplikace, Journal of Symbolic Logic 23: 3, s. 309–316.
  • Nikolaj K. Vereščagin a A. Shen (2003), Vypočitatelné funkce, American Mathematical Soc.

externí odkazy