이 페이지의 선택한 이전 버전과 현재 버전 사이의 차이점을 보여줍니다.
알고리즘 [2010-04-07 01:25] lifthrasiir 새로 만듦 |
알고리즘 [2011-05-30 18:25] (현재) |
||
---|---|---|---|
줄 3: | 줄 3: | ||
Algorithm. 교과서적인 정의를 쓰자면 "유한한 규칙으로 (필요하다면) 무한히 많은 일을 할 수 있는 잘 정의된 명령들의 집합"이지만 사실 우리는 알고리즘이 곧 [[계산]](([[처치튜링명제]]: [[함수]]의 계산은 곧 ([[튜링머신]] 또는 그와 동등한 모델로 서술된) 알고리즘이다))이며 [[증명]](([[커리하워드대응]]: 수학적 [[증명]](이를테면, [[직관주의]] 논리계 하에서의...)은 곧 알고리즘이다))임을 알고 있으니 굳이 이런 정의도 필요한지 의문이다. | Algorithm. 교과서적인 정의를 쓰자면 "유한한 규칙으로 (필요하다면) 무한히 많은 일을 할 수 있는 잘 정의된 명령들의 집합"이지만 사실 우리는 알고리즘이 곧 [[계산]](([[처치튜링명제]]: [[함수]]의 계산은 곧 ([[튜링머신]] 또는 그와 동등한 모델로 서술된) 알고리즘이다))이며 [[증명]](([[커리하워드대응]]: 수학적 [[증명]](이를테면, [[직관주의]] 논리계 하에서의...)은 곧 알고리즘이다))임을 알고 있으니 굳이 이런 정의도 필요한지 의문이다. | ||
+ | {{tag>전산학}} |