튜링머신

독일 수학자 힐버트(David Hilbert)는 1928년에‘ 원칙적으로 수학의 모든 문제를 순서대로 해결할 수 있는 일반적인 기계적 절
차가 있는가?’ 라는 문제를 제기했다.
1931년, 미국의 수학자 쿠르트 괴델(Kurt Godel)은“ 기계적인 방식으로는 수학의 모든사실들을 만들어 낼 수 없다.”라는 것
을 증명했다.
튜링(Alan Turing)은 이 문제를 새롭게 증명하는 과정에서“ 기계적인 방식만으론 모든 수학적인 사실들이 만들어질 수 없다”라
고 하면서‘ 기계적인 방식’이 무엇인지를 정의한다. 튜링은 아주 단순한 다섯 종류의 기계 부품들을 정의하고 그 부품들로 만든
기계들로 돌릴 수 있는 것만을‘ 기계적인 방식’이라고 했다.
그 후, 이 방식으로는 절대 풀 수 없는 계산 문제 하나를 제시하고, 따라서 기계적인 방식으로 모든 수학적인 사실들이 만들어
질 수 없다는 결론을 냈다.
이 결론을 내는 중간 과정에서 튜링은 인간의 두뇌를 기계의 본보기로 설정하고, 사람처럼 계산하는 기계를 구성할 수 있다는
사실을 논문『 계산 가능한 수에 대해, 수리명제자동생성 문제에 응용하면서』에 기재했다.