중심 기준점1/5
계산 가능성
절차만 정확하면 모든 질문은 언젠가 풀릴까?
AI 해석 일러스트
계산의 규칙이 기계가 되고, 해독은 팀의 일이 되다
얼굴은 전해지는 튜링의 사진을 참고했지만, 이 장면은 1936년 추상 계산 논문과 전시 블레츨리 파크 작업을 한순간에 합친 기록이 아닙니다. 폴란드 암호학자들의 선행 성과와 여성 운용자·동료들의 협업을 함께 두며, 한 사람의 기계가 전쟁을 정확히 몇 년 줄였다는 식의 수치나 죽음의 방식에 관한 이미지를 사용하지 않습니다.
MathVoyage editorial direction · OpenAI image generation · historical photograph reference · 2026-08-07
연도보다 생각을 먼저 기억한다면
튜링
Alan Turing
AD 1912 - AD 1954
생각의 무대 · 케임브리지
현대규칙·테이프·계산 가능성봄브와 에니그마 해독폴란드 선행 연구와 팀 작업
먼저 기억할 생각
기계는 생각할 수 있는가?한 장면으로 들어가기
AD 1936
튜링 기계 — 계산의 경계를 그리다
《계산 가능 수에 관하여》에서 사람이 규칙에 따라 기호를 조작하는 과정을 추상 기계로 만들었다. 이로써 계산 가능한 것과 아닌 것을 함께 보였다.
종이 기계를 돌리는 30초1936년 · 케임브리지 · 계산 가능성 원고의 연구 기준점
읽기·쓰기·이동만으로 “계산”을 붙잡을 수 있을까?
튜링의 기계는 미래 컴퓨터의 설계도라기보다, 종이 위에서 규칙을 따르는 계산자의 행동을 극도로 단순한 단계로 분해한 사고 실험이었다. 단순해진 만큼 무엇을 계산할 수 없는지도 증명할 수 있었다.
작은 규칙 하나를 세 단계로 실행해보자.
각 단계를 눌러 상태·기호·이동이 다음 행동을 어떻게 결정하는지 따라가세요.
한 단계를 열어 앞과 뒤의 상태를 비교하세요.
이 사람이 열어 주는 질문
업적 목록 대신, 다시 탐험할 개념 항구
아래 연결은 직접 영향이나 단독 발명 계보가 아니라, 기존 개념 항로에서 이 인물이 맡는 편집 역할을 반대로 보여 줍니다.
중심 기준점10/18
수치 계산
‘수치 계산’에서 묻습니다. 순간의 변화와 긴 시간의 누적을 어떻게 한 언어로 묶을까?
중심 기준점2/5
컴퓨터 보조 증명
‘컴퓨터 보조 증명’에서 묻습니다. 정확한 절차가 풀 수 있는 것과 끝내 결정할 수 없는 것은 무엇일까?
중심 기준점3/5
양자 알고리즘
‘양자 알고리즘’에서 묻습니다. 정확한 절차가 풀 수 있는 것과 끝내 결정할 수 없는 것은 무엇일까?
중심 기준점4/5
신경망 보편 근사 정리
‘신경망 보편 근사 정리’에서 묻습니다. 정확한 절차가 풀 수 있는 것과 끝내 결정할 수 없는 것은 무엇일까?
PROFILE 02 · DEEP VOYAGE
튜링의 생각이 움직인 길
연도를 더 외우는 대신, 한 사람을 만든 시대와 방향을 바꾼 장면, 다음 세대로 건너간 질문을 차례로 따라갑니다.
CHAPTER 01 · 사람과 시대
튜링은 어떤 질문 속에서 살았을까?
완성된 업적보다 먼저, 이 사람이 무엇을 문제로 보았고 어디까지 확실하게 말할 수 있는지 읽습니다.
약 1분 읽기
어떤 문제를 기계적으로 풀 수 있는지, 그리고 기계의 지능을 어떻게 물을지를 바꾼 수학자. 1936년 튜링은 단순한 규칙으로 계산을 수행하는 추상 기계를 제시해 계산 가능성과 그 한계를 분석했다. 전쟁 중에는 블레츨리 파크의 대규모 협업 속에서 에니그마 해독 방법과 봄브 개발에 핵심적으로 기여했다. 이 공헌을 정확한 ‘전쟁 단축 연수’나 ‘구한 생명의 수’로 확정해서는 안 된다. 이후 맨체스터에서 컴퓨터, 기계 지능, 형태 발생을 연구했다. 1952년 동성애 관계로 유죄 판결을 받고 호르몬 치료를 강요받았다. 1954년 청산가리 중독으로 사망했고, 검시법정은 자살로 판정했지만 어머니는 사고였다고 믿었다. 침대 곁 사과는 검사되지 않아 ‘청산가리 사과를 베어 물었다’는 설명은 확인된 사실이 아니다.
CHAPTER 02 · 전환의 장면
생각의 방향을 바꾼 4개의 장면
생각이 한 단계 이동한 순간을 시간순으로 펼칩니다. 모든 장면은 확인된 장소 또는 정직하게 표시한 시대 맥락에서 다음 항해로 이어집니다.
장면 1 / 4
AD 1936케임브리지튜링 기계 — 계산의 경계를 그리다
《계산 가능 수에 관하여》에서 사람이 규칙에 따라 기호를 조작하는 과정을 추상 기계로 만들었다. 이로써 계산 가능한 것과 아닌 것을 함께 보였다.
장면 2 / 4
AD 1940블레츨리 파크블레츨리 파크 — 팀으로 해독하다
튜링은 폴란드의 선행 연구와 영국 암호 해독팀의 협업 위에서 봄브의 논리와 해군 에니그마 해독 절차에 핵심적으로 기여했다. 전쟁 효과의 정확한 숫자는 추정으로 남는다.
장면 3 / 4
AD 1950케임브리지· 지리 맥락모방 게임 — 질문을 바꾸다
《계산 기계와 지능》에서 “기계가 생각하는가”를 직접 정의하는 대신, 대화에서 사람과 기계를 구별할 수 있는지를 묻는 모방 게임을 제안했다.
장면 4 / 4
AD 1954위름슬로사망 — 확정된 것과 남은 의문
위름슬로의 집에서 청산가리 중독으로 사망했다. 검시법정은 자살로 판정했지만 사고 가능성은 가족에 의해 제기되었다. 사과에 청산가리가 있었는지는 검사되지 않았다.
CHAPTER 03 · 생각의 이동
생각이 자리를 얻은 곳
도시는 배경이 아니라 사람·원고·제도·도구가 만난 조건입니다. 각 핀은 생애 전체가 아니라 확인되는 활동 구간을 가리킵니다.
- 01
케임브리지
Cambridge
케임브리지 대학
CHAPTER 04 · 남겨진 도구
후대가 다시 꺼내 쓴 것
별점보다 중요한 것은 무엇이 남아 다른 문제를 풀 수 있게 되었는가입니다.
TOOL 01AD 1936
튜링 기계
계산가능성의 수학적 모델. 컴퓨터 과학의 이론적 기초.
THOUGHT EXPERIMENT · 사실이 아닌 가정
튜링의 이름을 지도에서 지운다면
아래 내용은 확인된 역사적 사실이 아니라, 이 인물의 영향을 생각해 보는 가정입니다.
튜링 혼자가 컴퓨터나 암호 해독을 ‘발명’한 것은 아니다. 그의 특별한 유산은 서로 다른 분야에 한 번씩 강력한 도구를 남긴 데 있다. 계산의 한계를 보이는 추상 기계, 실전 암호 해독 방법, 지능을 다시 묻는 모방 게임, 생물의 무늬를 설명하는 반응–확산 모형이다.
STANDING ON SHOULDERS · 근거가 있는 연결
누구에게서 무엇을 받아, 어디로 건넸을까?
같은 시대였다는 이유로 선을 긋지 않습니다. 저작·문제·가르침으로 확인되는 연결만 문장과 근거로 보여 줍니다.
튜링
현대
받아온 연결 2건넨 연결 1
이 사람이 받아온 것
MathVoyage 너머로
큐레이터가 고른 원전과 탐구 과제. OEIS·Project Euler·MathOverflow·arXiv에서는 발견 하나를 수첩으로 가져올 수 있습니다.