재귀

위키백과, 우리 모두의 백과사전.

재귀(recursion)은 어떠한 것을 정의할 때 자기 자신을 참조하는 것을 뜻한다. 순환정의 또는 재귀적 정의라고도 한다. 자기언급과도 관련된 재귀는 언어학에서 논리학에 이르기까지 다양한 분야에서 연구되는 주제로, 특히 컴퓨터 과학수학에서, 재귀는 함수가 자신의 정의에 의해 정의될 때의 개념을 가리킨다.

원시 순환정의[편집]

재귀적정의(再歸的定義)는 어떤 것을 정의할 때, 자기 자신을 이용하여 정의하는 방법을 가리킨다. 다음은 그 예이다.

1은 1이다.
2는 1과 1의 합이다.
따라서 1은 2보다 작다.

여기서 '1은 1이다'라는 원시 순환정의를 사용했다. 한편 언어학적으로 작다를 정의하기 위해서는 비교값이 등장해야 한다.

따라서 이러한 맥락의 문제나 오류 발생 가능성을 제한하기 위해 기준이 되도록 순환정의가 필요하며 논리학을 포함한 광범위한 영역에서 이러한 순환정의가 중요하게 다루어지게 된다.

같이 보기[편집]

참고[편집]