알고리즘

Algorithm. 교과서적인 정의를 쓰자면 "유한한 규칙으로 (필요하다면) 무한히 많은 일을 할 수 있는 잘 정의된 명령들의 집합"이지만 사실 우리는 알고리즘이 곧 계산1)이며 증명2)임을 알고 있으니 굳이 이런 정의도 필요한지 의문이다.

1) 처치튜링명제: 함수의 계산은 곧 (튜링 머신 또는 그와 동등한 모델로 서술된) 알고리즘이다
2) 커리하워드대응: 수학적 증명(이를테면, 직관주의 논리계 하에서의…)은 곧 알고리즘이다

도쿠위키DokuWiki-custom(rev 9085d92e02)을 씁니다.
마지막 수정 2011-05-30 18:25 | 외부 편집기