프리드버그 번호 매기기
Friedberg numbering계산가능성 이론에서 프리드버그 번호 매기는 반복이 없는 모든 균일하게 재귀적으로 열거된 집합의 집합의 번호 매기기(누수)이다. 각 재귀적으로 열거된 집합은 열거에 정확히 한 번 나타난다(베레차긴과 션 2003:30).
그러한 번호의 존재는 리차드 M에 의해 확립되었다. 1958년 프리드버그(Cutland 1980:78).
참조
- Nigel Cutland(1980), 계산 가능성: 케임브리지 대학 출판부의 재귀적 기능 이론 소개 ISBN9780521294652.
- 리처드 M.Friedberg(1958), 재귀 열거에 대한 세 가지 이론. I. 분해. II. 막시말 세트. III. 중복되지 않은 열거, 기호 논리 저널 23:3, 페이지 309–316.
- 니콜라이 K.베레슈차긴과 A.심(2003년), 계산 가능한 함수, 미국 수학 사회.
