계산 가능한 bijective 기능 만 구현할 수있는 프로그래밍 언어?

f 가 계산 가능한 형용사 함수 인 경우에만 함수 구현 (또는 표현) 할 수있는 프로그래밍 언어 (또는 논리)가 있습니까?$f:\mathbb{N}\to \mathbb{N}$$f$

그런 언어는 없습니다.

그러나 Boomerang을 살펴보십시오 . 문자열 사이의 형용사를 쓰는 언어입니다. 지도의 클래스가 얼마나 넓은지를 알 수는 없지만 조금 검색하면 찾을 수 있다고 확신합니다.

$\mathbb{N} \to \mathbb{N}$

$f_0, f_1, f_2, \ldots$

$g : \mathbb{N} \to \mathbb{N}$$g(2 k)$$g(2 k + 1)$$f_k(2 k)$

• $f_k(2 k) = 2 k$$g(2 k) = 2 k + 1$$g(2 k + 1) = 2 k$
• $f_k(2 k) \neq 2 k$$g(2 k) = 2 k$$g(2 k + 1) = 2 k + 1$

$k \in \mathbb{N}$$g$$f_k$$g(2 k) \neq f_k(2 k)$$g$