사람을 그렸는데 기계가 되었다

듣는 사람은 아이, 읽는 사람은 부모입니다. 이 페이지는 이야기를 들은 뒤 아이가 던질 질문에 답할 수 있도록 만든 자료입니다. 이야기 대본은 재생 중 스크립트 버튼으로 볼 수 있습니다.

무엇을 다루나

앨런 튜링이 1936년에 그린 것은 기계가 아니라 사람이었습니다. 그는 사람이 종이와 연필로 계산할 때 실제로 하는 일을 아주 단순한 그림으로 옮겼습니다. 근거 문헌의 표현 그대로 — "그는 그것을 인간의 계산을 나타내는 것으로 의도했다"(DOI: 10.1093/oso/9780198747826.003.0049).

그리고 그 그림으로 증명한 것은 "할 수 있다"가 아니라 "할 수 없다"였습니다. 힐베르트의 결정 문제에는 해가 없다는 것 — 튜링 자신의 논문 요약에 그렇게 적혀 있습니다(DOI: 10.1093/oso/9780198250791.003.0005).

같은 문헌이 이어서 말하는 아이러니가 이 편의 끝입니다. "멋진 역설로, 그것은 인간이 아닌 컴퓨터가 무엇을 이룰 수 있는지를 정의하게 되었고, 현대 컴퓨터과학에 깊이 박혔다."

그날 실제로 있었던 일

• 1936년, 튜링이 계산의 수학적 모형을 고안합니다. 오늘날 튜링 기계라 부르는 것입니다. 의도는 두 가지였습니다 — 인간의 계산을 표현하는 것, 그리고 수학을 기계화하려던 다비트 힐베르트 계획의 핵심을 반박하는 것(DOI: 10.1093/oso/9780198747826.003.0049).

• 튜링 논문의 정의: "내 정의에 따르면, 어떤 수의 십진 전개를 기계가 써 내려갈 수 있으면 그 수는 계산 가능하다." (원문의 decimal — 3.14159…처럼 소수점 아래로 이어지는 자릿수를 말합니다. 素數를 뜻하는 소수가 아닙니다.) 그리고 계산 가능한 수는 정의 가능한 모든 수를 포함하지 않으며, 계산 불가능한 예를 하나 제시합니다(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)와 지금의 인공지능. 그가 1950년에 제안한 지능 시험은 인간의 언어 행동과 구별되지 않는가를 기준으로 삼습니다 — 이 대목은 우리가 확보한 초록이 아니라 1950년 논문 「Computing Machinery and Intelligence」에 관한 널리 알려진 배경 설명입니다(우리가 확보한 튜링 전기 문헌[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년 뒤 세상을 떠납니다.

이 사실을 아이 이야기에는 넣지 않았습니다. 숨기려는 것이 아니라, 초등 저학년이 감당할 맥락(당시의 법, 성적 지향, 국가의 폭력)을 이야기 안에서 정직하게 다룰 수 없기 때문입니다. 언제 어떻게 말할지는 부모님의 판단입니다. 아이가 나중에 어디선가 듣고 물어 온다면, "그때 법이 잘못됐던 거야. 지금은 그게 잘못이었다고 나라가 사과했어"부터 시작하시면 됩니다.

근거와 그 뒤

근거 논문

• On Computable Numbers, with an Application to the Entscheidungsproblem. DOI: 10.1112/plms/s2-42.1.230 (1937)
• On Computable Numbers, with an Application to the Entscheidungsproblem (1936). DOI: 10.1093/oso/9780198250791.003.0005 (2004)
• On Computable Numbers: Corrections and Critiques. DOI: 10.1093/oso/9780198250791.003.0006 (2004)
• Decidability and the Entscheidungsproblem. DOI: 10.1093/oso/9780198747826.003.0049 (2017)
• Baby. DOI: 10.1093/oso/9780198747826.003.0029 (2017)
• ACE. DOI: 10.1093/oso/9780198747826.003.0030 (2017)
• Crime and punishment. DOI: 10.1093/oso/9780198747826.003.0010 (2017)

그 뒤에 이어진 것

• 그림이 하드웨어가 됩니다. 1948년 6월 21일 맨체스터의 '베이비'가 첫 프로그램을 돌리며 세계 최초의 하드웨어 범용 튜링 기계가 됩니다. 오늘의 컴퓨터가 모두 이 계보 위에 있습니다(DOI: 10.1093/oso/9780198747826.003.0029).
• 튜링 자신이 설계도 합니다. 1945년 국립물리연구소에서 ACE를 설계했고, 1950년의 파일럿 ACE는 동급에서 가장 빨랐습니다(DOI: 10.1093/oso/9780198747826.003.0030).
• 불가능성이 학문이 됩니다. "무엇을 계산할 수 없는가"는 이후 계산 이론의 한 축이 되고, 이 편의 짝인 섀넌 편(1938)이 다루는 불 대수와 함께 현대 컴퓨터의 두 기둥을 이룹니다.

함께 해볼 것

• 종이 튜링 기계 만들기. 모눈종이 한 줄에 칸을 그리고, 동전이나 스티커로 '표시'를 놓으세요. 규칙은 다섯 개뿐입니다 — 본다 / 지운다 / 표시한다 / 오른쪽 / 왼쪽. 부모가 규칙표를 하나 정해 주고 아이가 로봇처럼 그대로만 따르게 해 보세요. "생각하지 말고 표만 보기"가 핵심입니다.
• "이거 규칙으로 쓸 수 있어?" 놀이. 이 닦기, 신발 신기처럼 아이가 잘하는 일을 아주 작은 단계로만 적어 보게 하세요. 대부분 생각보다 훨씬 많은 단계가 나옵니다 — 튜링이 부딪힌 문제가 그것입니다.
• "안 되는 걸 알아내기"도 알아내기다. 아이가 안 되는 걸 발견했을 때 "실패했네" 대신 "안 된다는 걸 알아냈네"라고 말해 보세요. 이 편의 요지가 그것입니다.