計算可能性理論において、フリードバーグ番号付けは、すべての計算可能列挙可能集合の集合の、重複のない計算可能な 番号付け（列挙）です。再帰的に列挙可能な各集合は、列挙の中で正確に 1 回だけ出現します (Vereščagin and Shen 2003:30)。
このような番号の存在は、 1958 年にRichard M. Friedbergによって確立されました(Cutland 1980:78)。
参考文献
- ナイジェル・カトランド（1980年）『計算可能性：再帰関数理論入門』ケンブリッジ大学出版局。ISBN 9780521294652。
- Richard M. Friedberg (1958)、「再帰列挙に関する3つの定理。I. 分解。II. 最大集合。III. 重複のない列挙」、Journal of Symbolic Logic 23:3、pp. 309–316。
- Nikolaj K. Vereščagin と A. Shen (2003)、「Computable Functions」、American Mathematical Soc.
外部リンク
- 数学研究所
