아~

사실 로직의 측면에서 본다면 iteration이나 recursion이나
결국 induction이라는 점에서 크게 다르지 않을 겁니다.

익숙함의 차이라는 게 제가 볼 때는
대개 프로그래밍을 처음 배우면서
코드가 제대로 동작하는 가를 따져보는 과정을
수학적 증명이 아니라 테스팅으로 하기 때문인 것 같습니다.

만약 자신이 작성한 코드가 제대로 되었다는 것을
수학적으로 증명하도록 요구받는다면,
대개의 경우 수학적 귀납법이 가장 쉬운 방법일 것이므로
iteration이나 recursion 중에 특별한 선호를 가지지 않게 될 것이라 생각합니다.
"recursion이 인간에게 더 친숙하다"고 주장하는 것은
결국 "수학적 귀납법이 손쉬운 증명 방법 중 하나이다" 라는 것과 크게 다르지 않은 뜻이지요.

예를 들어 양수 n을 입력받아 1부터 n 까지의 합을 구하는 코드를 작성하라고 한다면
별 어려움 없이 다음과 같은 코드를 작성할 것입니다.

unsigned int sum(unsigned int n) {
unsigned int result = 0;
for (unsigned int i = 1; i <= n; i++) result += i;
return result;
}

저 코드를 제대로 작성했는가 물으면 대부분의 경우 몇 가지 n을 입력해보고
손으로 계산한 값과 같으니 제대로 되었다고 대답하겠지요.
저기에서 loop invariant를 찾고 그에 따라 루프가 끝난 후
sum이 1부터 n까지의 합과 동일하게 된다는 것을 증명하는 방법은
대학에 와서야 처음 배우게 됩니다.
그마저 골치 아프다고 별로 관심을 두지 않게 되구요.

프로그래머들은 워낙 공부할 게 많은 탓에
위의 for loop에서 변수 i를
어째서 induction variable (귀납 변수)라고 부르는 가를
진지하게 생각해 볼 수 있는 여유를 가지기 힘든 것 같습니다. ^^