1936년, 튜링은 "계산 가능한 수와 결정 문제에의 응용에 관하여(On Computable Numbers, with an Application to the Entscheidungsproblem)"라는 논문을 발표했습니다. 이 논문은 런던 수학 학회(London Mathematical Society) 저널에 11월 30일과 12월 23일, 두 차례에 걸쳐 게재되었습니다.
튜링은 자신의 논문 "계산 가능한 수에 관하여, 결정 문제에 대한 응용(On Computable Numbers, with an Application to the Entscheidungsproblem)"을 발표했습니다. 이 논문은 런던 수학 학회 저널에 11월 30일과 12월 23일, 두 부분으로 나뉘어 게재되었습니다. 이 논문에서 튜링은 괴델의 보편 산술 기반 형식 언어를 튜링 기계로 알려지게 된 형식적이고 단순한 가상의 장치로 대체함으로써, 증명과 계산의 한계에 대한 쿠르트 괴델의 1931년 연구 결과를 재구성했습니다. 결정 문제(Entscheidungsproblem)는 원래 1928년 독일 수학자 다비트 힐베르트가 제기한 문제였습니다. 튜링은 자신의 "보편 계산 기계"가 알고리즘으로 표현 가능하다면 상상할 수 있는 모든 수학적 계산을 수행할 수 있음을 증명했습니다. 그는 튜링 기계의 정지 문제가 결정 불가능하다는 것을 먼저 보여줌으로써 결정 문제에 대한 해결책이 없음을 증명했습니다. 즉, 튜링 기계가 언젠가 멈출지 여부를 알고리즘적으로 결정하는 것은 불가능합니다.
1936년, 튜링은 "계산 가능한 수와 결정 문제에의 응용에 관하여(On Computable Numbers, with an Application to the Entscheidungsproblem)"라는 논문을 발표했습니다. 이 논문은 런던 수학 학회(London Mathematical Society) 저널에 11월 30일과 12월 23일, 두 차례에 걸쳐 게재되었습니다.
튜링은 자신의 논문 "계산 가능한 수에 관하여, 결정 문제에 대한 응용(On Computable Numbers, with an Application to the Entscheidungsproblem)"을 발표했습니다. 이 논문은 런던 수학 학회 저널에 11월 30일과 12월 23일, 두 부분으로 나뉘어 게재되었습니다. 이 논문에서 튜링은 괴델의 보편 산술 기반 형식 언어를 튜링 기계로 알려지게 된 형식적이고 단순한 가상의 장치로 대체함으로써, 증명과 계산의 한계에 대한 쿠르트 괴델의 1931년 연구 결과를 재구성했습니다. 결정 문제(Entscheidungsproblem)는 원래 1928년 독일 수학자 다비트 힐베르트가 제기한 문제였습니다. 튜링은 자신의 "보편 계산 기계"가 알고리즘으로 표현 가능하다면 상상할 수 있는 모든 수학적 계산을 수행할 수 있음을 증명했습니다. 그는 튜링 기계의 정지 문제가 결정 불가능하다는 것을 먼저 보여줌으로써 결정 문제에 대한 해결책이 없음을 증명했습니다. 즉, 튜링 기계가 언젠가 멈출지 여부를 알고리즘적으로 결정하는 것은 불가능합니다.
