smn 정리는 카레와 같은 개념입니까?

나는 smn 정리를 공부하고 있으며 그 개념은 저에게 커리를 상기시켜주었습니다.

smn 정리 에 대한 Wikipedia 기사에서 :

정리는 주어진 프로그래밍 언어와 양의 정수 m과 n에 대해 m 값과 함께 m + n 자유 변수를 가진 프로그램의 소스 코드를 입력으로 받아들이는 특정 알고리즘이 있다고 말합니다. 이 알고리즘은 첫 번째 m 자유 변수의 값을 효과적으로 대체하는 소스 코드를 생성하고 나머지 변수는 자유로 웁니다.

카레 에 관한 기사에서 :

직관적으로, 카레는 "일부 인수를 고치면 나머지 인수의 함수를 얻습니다"라고 말합니다.

나에게도 같은 생각 인 것 같습니다. 내가 확실하지 않은 유일한 이유는 내가 smn에서 겪은 재료가 카레에 대해 언급하지 않았고 그 반대도 마찬가지이기 때문에 실제로 얻을 수 있도록 상담하고 싶었다.

그렇습니다.

$\lambda$$A \times B \to C$$A \to (B \to C)$$A$$B$$A$$B$$\lambda$

$(A, \nu_A)$$A$$\nu_A : \mathbb{N} \to A$$A$$\nu_A(n) = x$$n$$x$$\varphi$$\varphi_n(k)$$n$$k$

$f : (A, \nu_A) \to (B, \nu_B)$$n \in \mathbb{N}$$f(\nu_A(k)) = \nu_B(\varphi_n(k))$$k$$\nu_A$$\varphi_n$$f$$\phi_n$$f$

$\lambda$