Paperis 아티클
계산의 시작 · 튜링 (1936)
이 글이 근거로 삼은 논문 중 ‘거인의 어깨’에 오른 초석 연구예요. 개념을 익혔다면 원전으로 가보세요.
'기계적으로 계산한다'가 무엇인지를 처음으로 정확히 정의한 논문입니다. 튜링은 사람이 종이와 연필로 계산하는 과정을 본떠 모형을 만들었고(오늘의 튜링 기계), 그것으로 힐베르트의 결정 문제에 해가 없음을 증명했습니다. 불가능성을 보이려 만든 이 모형이 뒤에 사람이 아닌 기계가 무엇을 할 수 있는지를 정의하게 됩니다.
이 분야의 거인의 어깨 →이 글은 AI가 연구 논문을 바탕으로 작성한 교육·정보 제공용 콘텐츠이며, 전문가의 조언을 대체하지 않습니다. 오류를 발견하셨나요? 알려주세요
© 2026 네오쿤스(Paperis) · 링크 공유는 환영합니다. 전문 전재·재배포는 사전 허가가 필요합니다.
듣는 사람은 아이, 읽는 사람은 부모입니다. 이 페이지는 이야기를 들은 뒤 아이가 던질 질문에 답할 수 있도록 만든 자료입니다. 이야기 대본은 재생 중 스크립트 버튼으로 볼 수 있습니다.
앨런 튜링이 1936년에 그린 것은 기계가 아니라 사람이었습니다. 그는 사람이 종이와 연필로 계산할 때 실제로 하는 일을 아주 단순한 그림으로 옮겼습니다. 근거 문헌의 표현 그대로 — "그는 그것을 인간의 계산을 나타내는 것으로 의도했다"(DOI: 10.1093/oso/9780198747826.003.0049).
그리고 그 그림으로 증명한 것은 "할 수 있다"가 아니라 "할 수 없다"였습니다. 힐베르트의 결정 문제에는 해가 없다는 것 — 튜링 자신의 논문 요약에 그렇게 적혀 있습니다(DOI: 10.1093/oso/9780198250791.003.0005).
같은 문헌이 이어서 말하는 아이러니가 이 편의 끝입니다. "멋진 역설로, 그것은 인간이 아닌 컴퓨터가 무엇을 이룰 수 있는지를 정의하게 되었고, 현대 컴퓨터과학에 깊이 박혔다."
1936년, 튜링이 계산의 수학적 모형을 고안합니다. 오늘날 튜링 기계라 부르는 것입니다. 의도는 두 가지였습니다 — 인간의 계산을 표현하는 것, 그리고 수학을 기계화하려던 다비트 힐베르트 계획의 핵심을 반박하는 것(DOI: 10.1093/oso/9780198747826.003.0049).
튜링 논문의 정의: "내 정의에 따르면, 어떤 수의 소수 표현을 기계가 써 내려갈 수 있으면 그 수는 계산 가능하다." 그리고 계산 가능한 수는 정의 가능한 모든 수를 포함하지 않으며, 계산 불가능한 예를 하나 제시합니다(DOI: 10.1093/oso/9780198250791.003.0005).
같은 요약의 결론: "§11에서 힐베르트의 결정 문제가 해를 가질 수 없음이 보여진다." 또한 알론조 처치가 다르게 정의된 '실효적 계산 가능성' 개념으로 결정 문제에 대해 유사한 결론에 도달했다고 튜링 자신이 적고 있습니다(같은 DOI).
에밀 포스트도 독립적으로 거의 같은 분석에 도달했습니다(1936년까지). 포스트의 '문제 해결자'는 "양방향으로 무한한 칸(상자)의 열" 위에서 작동하고, 한 칸은 비어 있거나 표시 하나가 있는 두 상태만 가지며, "고정 불변의 지시 집합"에 따라 다섯 가지 기본 동작을 합니다 — 현재 칸이 표시됐는지 확인 / 지우기 / 표시하기 / 오른쪽으로 이동 / 왼쪽으로 이동(DOI: 10.1093/oso/9780198250791.003.0006).
논문에는 실수가 몇 개 있었습니다. 튜링은 원 논문이 나온 몇 달 뒤 런던수학회 회보에 짧은 정정 노트를 실었습니다. 1947년에는 에밀 포스트의 비판도 발표됩니다(같은 DOI).
튜링 기계가 어떤 물건인지는 예 하나면 충분합니다. 근거 문헌이 든 예가 "이진법으로 쓴 정수가 3의 배수인지 판정하는 기계"입니다 — 105는 이진법으로 1101001이고, 그 숫자들을 따라 마디에서 마디로 옮겨 가면 답이 나옵니다(DOI: 10.1093/oso/9780198747826.003.0049).
1948년 6월 21일, 그림이 하드웨어가 됩니다. 최초의 전자식 범용 프로그램 내장 컴퓨터가 첫 프로그램을 성공적으로 실행했고, 맨체스터에서 만들어진 이 기계는 세계 최초의 하드웨어 범용 튜링 기계였습니다. 이름은 '베이비'였습니다(DOI: 10.1093/oso/9780198747826.003.0029).
1945년 10월 튜링은 국립물리연구소에 영입돼 컴퓨터 개발을 이끕니다. 그의 설계 ACE(자동 계산 기관)는 독특하면서도 매우 효과적이었고, 1950년 완성된 소형 파일럿 ACE는 당시 중형 컴퓨터 중 가장 빨랐습니다(DOI: 10.1093/oso/9780198747826.003.0030).
에니그마와 블레츨리 파크. 제2차 세계대전 동안 블레츨리 파크에서 독일 에니그마 암호를 깨는 튜링의 지휘는 연합군 승리에 크게 기여했고, 수학적 논리와 기계 보조 계산의 실용적 힘을 보여 주었습니다(DOI: 10.58532/nbennurldbd9).
튜링 테스트(1950)와 지금의 인공지능. 그의 지능 시험은 인간의 언어 행동과 구별되지 않는가에 근거합니다(DOI: 10.1093/oso/9780198537748.003.0001). 그리고 오늘, 최신 대규모 언어모델이 고전적 튜링 테스트를 통과하며 어떤 경우에는 실제 인간 참가자보다 더 자주 인간으로 판정됩니다(DOI: 10.35291/2454-9150.2026.0001). 이야기는 1936년 그림 → 전쟁 → 1948년 6월 맨체스터 '베이비' → 1950년 시험 → 오늘의 순서로 흘러갑니다.
그의 말년과 죽음은 다루지 않았습니다. 앨런 튜링은 1912년 6월 23일~1954년 6월 7일을 살았습니다(DOI: 10.31235/osf.io/r3ugs). 마흔한 살이었습니다. 그가 겪은 일과 죽음의 경위는 널리 알려져 있으나 우리가 확보한 근거 문헌에 그 내용이 없어 이야기에 쓰지 않았고, 어린 아이에게 어떻게 말할지는 부모가 정할 문제이기도 합니다. 아이가 물으면 "마흔한 살에 돌아가셨어. 그 이유는 슬픈 이야기라서, 네가 조금 더 크면 같이 이야기하자"가 정직한 답입니다.
"기계를 진짜로 만든 게 아니야?" 1936년에는 만들지 않았습니다. 종이 위의 그림이었습니다. 그게 요점입니다 — 생각을 위한 도구였지 제품이 아니었습니다. 진짜 기계는 12년 뒤에 나옵니다.
"왜 사람을 관찰했어?" "기계적으로 계산한다"가 정확히 무엇인지 아무도 정의한 적이 없었기 때문입니다. 튜링은 정의를 만들려고 가장 확실한 사례, 즉 사람을 봤습니다. 보고, 지우고, 쓰고, 옆으로 옮기고 — 그게 전부라는 것을 알아낸 게 발견입니다.
"그래서 못 한다는 걸 증명한 거야? 그게 좋은 거야?" 좋습니다. "할 수 없다"를 확실히 아는 것도 지식입니다. 이걸 알아야 사람들이 불가능한 것을 붙잡고 평생을 낭비하지 않습니다. 그리고 그 증명을 하려고 만든 도구가 결국 컴퓨터의 정의가 됐습니다.
"튜링이 혼자 다 한 거야?" 아닙니다. 처치가 다른 방식으로 같은 결론에 닿았고, 포스트는 거의 같은 그림에 따로 도착했습니다. 비슷한 시기에 서로 모른 채 같은 곳에 닿는 일은 과학에서 드물지 않습니다. 이 편은 그 점을 일부러 이야기에 넣었습니다.
"그 논문에 틀린 게 있었다고?" 있었습니다. 그리고 튜링이 직접 정정을 냈습니다. 아이에게 해 주기 좋은 말입니다 — "틀린 걸 고쳐서 다시 내는 것까지가 그 사람 일이야."
"'베이비'는 왜 그렇게 불렀어?" 근거 문헌은 이름만 전합니다("Fittingly, it was called simply 'Baby'"). 작은 시제품이었기 때문으로 보이지만, 이유를 단정할 근거는 없어 이야기에서도 이름만 전했습니다.
널리 확립된 사실 1936년 튜링 기계의 고안과 그 의도(인간 계산의 표현 + 힐베르트 계획 반박), 결정 문제에 해가 없다는 결론, 계산 불가능한 수의 존재, 처치의 독립적 결론과 포스트의 독립적 모형, 원 논문의 오류와 튜링 자신의 정정, 1948년 6월 21일 맨체스터 '베이비', 1945년 ACE 설계.
이 글이 조심한 것 튜링의 암호 해독(블레츨리 파크) 이야기는 넣지 않았습니다. 유명하지만 이 편의 주제(계산이란 무엇인가)와 다른 갈래이고, 우리가 수집한 근거의 중심도 아닙니다. 언젠가 별도의 편으로 다룰 소재입니다.
의도적으로 빼놓은 것 — 부모님께 튜링은 1952년 동성애자라는 이유로 체포·기소돼 유죄 판결과 화학적 거세형을 받았습니다. 근거 문헌은 이를 "그가 그토록 구하는 데 기여한 나라가 저지른 수치스러운 처사"라고 적습니다(DOI: 10.1093/oso/9780198747826.003.0010). 그는 2년 뒤 세상을 떠납니다.
이 사실을 아이 이야기에는 넣지 않았습니다. 숨기려는 것이 아니라, 초등 저학년이 감당할 맥락(당시의 법, 성적 지향, 국가의 폭력)을 이야기 안에서 정직하게 다룰 수 없기 때문입니다. 언제 어떻게 말할지는 부모님의 판단입니다. 아이가 나중에 어디선가 듣고 물어 온다면, "그때 법이 잘못됐던 거야. 지금은 그게 잘못이었다고 나라가 사과했어"부터 시작하시면 됩니다.
근거 논문
그 뒤에 이어진 것