Numeracja Friedberga

W teorii obliczalności numeracja Friedberga jest numeracją (wyliczeniem) zbioru wszystkich zbiorów jednolicie rekurencyjnie przeliczalnych , które nie mają powtórzeń: każdy zbiór przeliczalny rekurencyjnie pojawia się dokładnie raz w wyliczeniu (Vereščagin i Shen 2003:30).

Istnienie takiej numeracji zostało ustalone przez Richarda M. Friedberga w 1958 r. (Cutland 1980: 78).

•   Nigel Cutland (1980), Obliczalność: wprowadzenie do teorii funkcji rekurencyjnych , Cambridge University Press. ISBN 9780521294652 .
• Richard M. Friedberg (1958), Trzy twierdzenia o wyliczaniu rekurencyjnym. I. Rozkład. II. Maksymalny zestaw. III. Wyliczanie bez powielania , Journal of Symbolic Logic 23: 3, s. 309–316.
• Nikolaj K. Vereščagin i A. Shen (2003), Funkcje obliczeniowe , American Mathematical Soc.

Linki zewnętrzne

• Instytut Matematyki