상징의 강 · 강의 물길은 실제 지리가 아닙니다
1 / 16약 825년바그다드근거: 저술
상징: 쓰고 읽힌 기록을 올려 둔 책상시대 구간: 500–1449년장소 풍경: 티그리스 강변 · 대추야자 · 평원
알콰리즈미는 인도식 숫자로 사칙을 하는 방법을 아랍어 독자가 순서대로 따라 할 수 있게 정리했다. 원문은 소실됐고 정확한 집필 연도도 알 수 없지만, 후대 라틴어판에 남은 그의 이름 Algoritmi는 “algorithm”의 어원이 됐다.
장면 전체 읽기드래그해 둘러보기 · ← / → 장면 이동
공간·인지 아틀라스 · 여덟 번째 항로
컴퓨터는 어느 날 한 사람이 발명한 상자가 아닙니다. 사람이 읽던 계산법, 손으로 넘기던 올림, 국가가 분류한 카드, 논리식, 릴레이의 열림과 닫힘, 메모리 속 명령이 서로 다른 도시와 제도에서 차례로 새로운 물질을 얻었습니다.
이 항로에서 붙잡을 질문
사람이 이해하고 따라 하던 절차는 어떤 층을 거쳐 기계가 실행하고 다시 사람이 검증할 수 있는 프로그램이 되었을까요?
이 강이 주장하지 않는 것
이 강은 실제 지리가 아닙니다. 강을 따라 내려간 거리는 흐른 시간이고, 세기가 흐르는 동안 빛이 새벽에서 황혼으로 바뀝니다. 비석 곁의 사물은 사건의 종류와 그 세기 구간에 수학을 쓰고 계산한 방식을 상징할 뿐 실제 유물을 재현하지 않습니다. 정거장 둘레의 땅은 그 장면이 일어난 실제 장소의 자연·지리를 개략으로 따르고, 대표 건축은 그 해에 이미 서 있던 것만 세웁니다. 장면마다 실제 장소와 근거를 그대로 두었으니, 어디서 일어났는지는 지도에서 읽어 주세요. 지도 선은 바그다드의 한 원고가 맨체스터의 회로로 그대로 이동했다는 증거나 문명·국가의 우열 순위가 아닙니다. 번역과 독립 발견, 미완성 설계와 작동 기계, 수학적 모형과 공학적 구현, 개인 저술과 팀 노동을 비교하기 위한 관객의 편집 경로이며, 각 핀이 실제 위치 근거와 주장 한계를 따로 밝힙니다.
세기 구간이 바뀌는 자리에서는 배가 새 구간의 다리 밑을 지나갑니다. 마을·방아·공장·송전탑·빌딩은 그 세기의 기술을 상징할 뿐, 실제 장소나 특정 건축 양식이 아닙니다.
01약 825년바그다드(근거: 저술)
알콰리즈미는 인도식 숫자로 사칙을 하는 방법을 아랍어 독자가 순서대로 따라 할 수 있게 정리했다. 원문은 소실됐고 정확한 집필 연도도 알 수 없지만, 후대 라틴어판에 남은 그의 이름 Algoritmi는 “algorithm”의 어원이 됐다.
02약 1150년톨레도(근거: 번역)
12세기 이베리아의 다언어 번역망에서 알콰리즈미의 산술 전통은 여러 라틴어 판본과 개작으로 새 독자를 만났다. 약 1150년은 편집 기준점이며, 톨레도의 단 한 기관·역자·순간이 모든 유럽에 숫자와 절차를 한번에 전했다는 뜻은 아니다.
031642년루앙(근거: 주요활동)
19세의 파스칼은 노르망디에서 세무 업무를 하던 아버지를 돕기 위해 덧셈·뺄셈과 자릿수 올림을 톱니바퀴가 수행하는 기계를 만들었다. 현존 기계는 수작업 계산의 한 부분을 물질적 동작으로 옮긴 성공을 보여 주지만, 대량 보급된 범용 컴퓨터는 아니었다.
041834년런던(근거: 주요활동)
차분기관 사업이 멈춘 뒤 배비지는 약 1834년부터 천공카드로 명령을 입력하고, 수를 두는 store와 연산하는 mill, 반복·분기를 갖춘 해석기관을 구상했다. 특정 표만 만드는 기계에서 여러 절차를 받아들이는 설계로 질문이 바뀌었지만, 기계 전체는 그의 생전에 완성되지 않았다.
051843년런던(근거: 출판)
러브레이스는 메나브레아의 해석기관 글을 번역하며 원문의 세 배가 넘는 주석을 붙였다. 노트 G의 베르누이 수 명령표는 최초의 공개 컴퓨터 프로그램으로 흔히 읽히지만 배비지와의 협업과 ‘프로그램’의 정의를 두고 논쟁이 남는다. 더 확실한 도약은 기계가 수뿐 아니라 기호·글자·음악도 규칙으로 다룰 수 있다고 구분해 본 점이다.
061854년코크(근거: 저술)
코크의 교수였던 조지 부울은 《사고의 법칙》에서 명제와 분류의 결합을 기호 연산으로 다루었다. 이것은 전자 컴퓨터를 설계한 책이 아니라 ‘추론의 형식’ 자체를 계산 대상으로 바꾸려는 시도였다. 논리식이 열림·닫힘 회로와 만나는 다리는 83년 뒤 섀넌의 작업에서 보인다.
071890년워싱턴 DC(근거: 주요활동)
1880년 미국 인구조사는 집계에 거의 10년이 걸렸다. 1890년에는 사무원이 연령·성별·인종·국적 등의 응답을 카드의 구멍으로 옮기고, 홀러리스의 전기식 판독·계수·분류 장치가 이를 집계했다. 사람이 기계가 읽을 데이터로 바뀌었지만, 어떤 분류를 만들지는 여전히 국가가 정했고 사람의 천공·분류 노동이 필요했다.
081928년괴팅겐(근거: 강의·재직)
《이론 논리의 기초》는 어떤 논리식이 항상 참인지를 유한한 연산으로 판정할 일반 절차가 있는지 물었다. 이 Entscheidungsproblem은 ‘기계적 방법’이 무엇인지 아직 정확히 정의되기 전에 제시된 야심찬 질문이었다. 괴팅겐 핀은 힐베르트 학파의 강의·연구 맥락이며, 책의 정확한 집필실이나 출판 도시를 뜻하지 않는다.
091931년비엔나(근거: 주요활동)
괴델은 자연수 산술을 표현할 만큼 강하고 효과적으로 공리화된 체계에는, 일정한 무모순성 가정 아래 체계 안에서 결정하지 못하는 문장이 생긴다는 것을 보였다. 또 그런 체계는 일반적으로 자신의 무모순성을 자신의 방법만으로 증명할 수 없다. 이것은 ‘모든 수학이 틀렸다’는 말도, 아직 정의되지 않은 모든 기계의 능력을 판정한 말도 아니다.
101936년프린스턴(근거: 저술)
알론조 처치는 람다 계산과 재귀 함수로 ‘효과적으로 계산 가능하다’는 말을 정형화하고, 일반 결정 문제에는 그런 절차가 없다는 부정 해답을 제시했다. 거의 같은 시기 튜링은 완전히 다른 기계 모형으로 같은 경계에 도달했다. 두 형식 모형이 같은 함수 분류를 계산한다는 것은 증명되지만, 직관적 효과 절차가 모두 그 분류에 든다는 Church–Turing 명제는 형식 정리와 구분해야 한다.
111936년케임브리지(근거: 저술)
처치의 람다 계산과 같은 시기, 튜링은 사람이 규칙에 따라 기호를 조작하는 과정을 추상 기계로 표현했다. 두 서로 다른 모형이 같은 계산 가능 함수에 이른 사실이 ‘효과적 절차’의 수학을 굳혔다.
121937년케임브리지(매사추세츠)(근거: 저술)
MIT 대학원생 클로드 섀넌은 릴레이의 열림·닫힘을 부울 대수의 참·거짓과 연결해, 복잡한 스위칭 회로를 논리식으로 분석·단순화했다. 1937년 석사논문과 1938년 공개 논문을 구분해야 하며, 빅토르 셰스타코프 등의 독립적 선행 작업도 있었다. 핵심은 ‘논리=전기’가 아니라 한 형식 언어로 회로를 설계하고 검증할 다리를 만든 점이다.
131941년베를린(근거: 주요활동)
콘라트 추제의 Z3는 이진 부동소수점 연산, 릴레이 제어, 천공 필름의 명령을 결합한 작동 가능한 프로그램 제어 기계였다. 항공 계산에 쓰였고 전쟁 중 파괴되었으며, 오늘 자주 보는 기계는 후대 복원품이다. 명령을 내부 메모리에 두지 않았고 운영 상태의 범용성에도 한계가 있어, ‘모든 뜻의 첫 컴퓨터’라는 순위보다 정확한 특성을 보아야 한다.
141946년필라델피아(근거: 주요활동)
전자식 ENIAC은 종이 탄도표를 계산했던 여성 ‘휴먼 컴퓨터’ 중 선발된 여섯 명이 논리 블록을 이해하고 케이블과 스위치를 배치해 프로그램했다. 기계는 매우 빨랐지만 문제를 바꾸려면 설정에 오랜 시간이 걸렸다. 이 불편과 ENIAC·EDVAC 팀의 논의가 명령을 메모리에 두는 설계를 키웠으며, 이 역사를 하나의 기계 제작자나 폰 노이만 한 사람의 발명으로 줄이지 않는다.
151948년맨체스터(근거: 주요활동)
1948년 6월 21일 Small-Scale Experimental Machine, 별명 Baby가 전자 메모리에 저장된 17개 명령으로 수의 가장 큰 인수를 찾는 프로그램을 실행했다. Freddie Williams·Tom Kilburn·Geoff Tootill과 전시 통신연구소의 기술·부품이 함께 만든 실험 기계였다. 특정 범주의 ‘최초’ 순위보다 프로그램을 데이터처럼 읽고 바꿀 수 있게 된 변화가 핵심이다.
161956년암스테르담(근거: 주요활동)
다익스트라는 1956년 ARMAC 컴퓨터 공식 시연에서 일반인이 이해할 문제를 보이기 위해, 네덜란드 도시 사이의 최단 경로를 찾는 방법을 설계했다. 그는 약혼자 리아와 카페 테라스에서 커피를 마시며 20분 만에 생각했다고 후에 회고했지만, 논문 공개는 1959년이었다. 음수 가중치에는 그대로 쓸 수 없는 조건까지 분명히 붙일 때, 재사용 가능한 알고리즘이 된다.