====== 알고리즘 ======

Algorithm. 교과서적인 정의를 쓰자면 "유한한 규칙으로 (필요하다면) 무한히 많은 일을 할 수 있는 잘 정의된 명령들의 집합"이지만 사실 우리는 알고리즘이 곧 [[계산]](([[처치튜링명제]]: [[함수]]의 계산은 곧 ([[튜링머신]] 또는 그와 동등한 모델로 서술된) 알고리즘이다))이며 [[증명]](([[커리하워드대응]]: 수학적 [[증명]](이를테면, [[직관주의]] 논리계 하에서의...)은 곧 알고리즘이다))임을 알고 있으니 굳이 이런 정의도 필요한지 의문이다.

{{tag>전산학}}