기록노트

4. 앨런 튜링과 튜링 기계 2.1 기계적 계산의 정의: 튜링기계[ 책 p.31~34 ] 제2차 세계대전에서 독일 나치의 암호체계, 에니그마를 풀어내 연합군을 승리에 큰 공헌을 이바지한 사람이자, 컴퓨터 공학의 아버지라고 불리는 천재 수학자, 앨런 튜링은 괴델의 증명을 단도직입적으로 다시 증명했다. 그는 "기계적인 방식"이 뭔지를 정의내렸고, 그 방식만으로는 모든 사실을 만들 수 없음을 증명했다. 튜링은 다섯 종류의 단순한 기계 부품들을 정의하고 그 부품들로 만든 기계로 돌릴 수 있는 것만을 "기계적인 방식"이라고 정의했다. 그리고 이 방식으로는 절대 돌릴 수 없는 계산 문제를 하나 보여 기계적인 방식으로는 모든 참인 명제를 만들어낼 수 없다는 결론을 이끌어 냈다. 그는 우선 자신이 정의한 "기계적인 방..