기호가 기계가 되기까지 — 쓰인 절차에서 저장 프로그램까지

생각은 어떻게 달라졌나

인도식 자릿값 숫자로 덧셈·뺄셈·곱셈·나눗셈을 수행하는 동작을 순서 있는 글로 정리하면서 계산은 답만이 아니라 반복 가능한 절차가 되었습니다. 여기서의 절차는 현대 프로그래밍 언어나 추상적 알고리즘 정의와 같지 않지만, 사람이 따르는 규칙을 지식의 단위로 만든 중요한 층입니다.

이 장소가 가능 조건이 된 이유

9세기 바그다드의 아바스 궁정, 행정 계산, 번역·필사 문화는 여러 수 체계와 천문·산술 문헌을 비교하고 새 독자를 위한 계산서를 만들 조건을 제공했습니다. 한 건물인 ‘지혜의 집’에서 모든 일이 일어났다고 단정하지 않습니다.

실제 이동 방식

인도식 자릿값 수와 계산 전통 → 아랍어 산술서와 필사 → 소실된 원문을 반영한 여러 라틴어 개작 → 저자명 *al-Khwarizmi*가 절차를 뜻하는 *Algoritmi*와 이후 algorithm으로 변화

생각은 어떻게 달라졌나

라틴 독자들은 낯선 숫자 표기와 계산 동작을 번역·개작·주석하며 *Algoritmi*를 저자 이름과 계산 방식 양쪽으로 읽었습니다. 절차가 새 언어의 교재가 되면서 저자의 고유명은 점차 일반적인 방법을 가리키는 말로 이동했습니다.

이 장소가 가능 조건이 된 이유

12세기 톨레도와 이베리아의 다언어 환경은 아랍어 과학 문헌, 라틴 독자, 유대·기독교·무슬림 지식인의 언어 능력이 만나는 여러 번역 관계를 만들었습니다. 현대적 중앙 번역학교 하나로 통합하지 않습니다.

실제 이동 방식

아랍어 산술 전통과 여러 필사본 → 이베리아의 구술 중개·라틴어 번역·개작 → 수도원·학교의 계산 교재와 algorism 전통 → 저자명에서 절차 일반명으로 장기적 어휘 변화

생각은 어떻게 달라졌나

각 자리의 바퀴가 한 바퀴를 채울 때 다음 자리를 움직이게 해 올림을 물리적 상태 전이로 만들었습니다. 계산 규칙 일부가 기계 구조에 고정되면서 사용자는 매 단계의 중간값을 기억하는 대신 입력과 결과를 다루게 되었습니다.

이 장소가 가능 조건이 된 이유

루앙에서 세금을 징수하던 파스칼의 아버지가 반복하는 장부 계산은 정확한 덧셈·뺄셈을 기계화할 구체적 문제를 제공했고, 정밀 금속 가공과 특허 후원은 여러 시제품을 만들 조건이 되었습니다.

실제 이동 방식

노르망디 세무 장부의 반복 계산 → 파스칼의 여러 시제품과 올림 장치 → 왕실 특권과 시연 → 소수의 현존 기계·박물관 복원·기계식 계산 연구

생각은 어떻게 달라졌나

배비지는 수를 보관하는 *store*, 연산하는 *mill*, 천공카드 명령, 반복과 조건 분기를 구별하며 기계 구조와 수행할 절차를 분리했습니다. 특정 계산을 기어에 영구 고정하는 대신 명령 배열을 바꾸어 여러 계산을 표현하는 설계였습니다.

이 장소가 가능 조건이 된 이유

런던의 왕립학회·정부 자금·정밀 공학자·인쇄된 수표 수요는 거대한 계산기 사업을 가능하게 했지만, 배비지와 정부·제작자 사이의 갈등과 비용은 완성도 가로막았습니다. 같은 도시는 설계와 미완성의 조건을 모두 보여 줍니다.

실제 이동 방식

오류 많은 인쇄 수표와 차분기관 계획 → 정부 후원·Joseph Clement의 정밀 제작 → Jacquard식 카드 개념과 해석기관 설계 → 도면·노트·미완성 부품 → 박물관의 후대 제작과 역사적 재검토

생각은 어떻게 달라졌나

러브레이스의 노트 G는 베르누이 수를 계산할 연산 순서와 중간 변수를 표로 배치해 기계와 수행 절차를 따로 읽게 했습니다. 더 넓게는 관계가 기호로 표현된다면 수뿐 아니라 문자나 음악도 기계 규칙의 대상이 될 수 있다고 보았습니다.

이 장소가 가능 조건이 된 이유

런던의 과학 사교망과 배비지와의 장기 협업, 프랑스어 논문의 영어 번역, Taylor의 *Scientific Memoirs* 출판은 미완성 기계의 설계를 공개 토론 가능한 텍스트로 바꾸었습니다. 계급 특권은 교육 접근을 열었지만 여성의 공식 직업 경로는 좁았습니다.

실제 이동 방식

배비지의 도면·설명과 메나브레아의 프랑스어 논고 → 러브레이스의 번역·A~G 주석과 두 사람의 서신 협업 → 1843년 인쇄 → 후대 프로그램사·젠더사 논쟁과 재독해

생각은 어떻게 달라졌나

조사 답변을 미리 정한 위치의 구멍으로 부호화하고 전기 접촉으로 읽으면서 사람의 속성은 기계가 합산·분류할 수 있는 표준 레코드가 되었습니다. 알고리즘은 계산식뿐 아니라 자료 형식, 입력 노동, 분류 규칙, 기계 처리의 결합으로 넓어졌습니다.

이 장소가 가능 조건이 된 이유

워싱턴의 연방 인구조사국은 헌법상 반복되는 전국 조사, 대규모 예산, 이전 조사 지연이라는 압력을 한곳에 모았습니다. 국가 행정은 기계 시장을 만들었지만 인종·성별·시민권 같은 범주를 정하고 사람을 그 칸에 넣는 권력도 행사했습니다.

실제 이동 방식

1880년 조사 집계 지연 → Hollerith의 철도표·천공 아이디어와 Census Office 시험 → 사무원의 카드 천공·검사 → 전기식 tabulator·sorter → 정부 계약, 국제 통계 처리와 이후 기업형 데이터 산업

생각은 어떻게 달라졌나

힐베르트와 아커만은 ‘기계적으로 풀 수 있다’는 희망을 *Entscheidungsproblem*이라는 명시적 보편 문제로 만들었습니다. 계산 장치를 먼저 정한 것이 아니라, 어떤 입력에도 끝나고 예·아니오를 내는 결정 절차가 존재하는지 물어 훗날 계산 모형들이 답해야 할 목표를 세웠습니다.

이 장소가 가능 조건이 된 이유

괴팅겐의 수학 연구소, 강의, 공리화 프로그램, 국제 학생망은 논리·기하·수론의 기초 질문을 공동 의제로 만들었습니다. 도시 핀은 힐베르트 학파의 연구·교육 환경을 가리키며 책의 정확한 집필실이나 출판 주소가 아닙니다.

실제 이동 방식

19세기 공리화와 형식논리 → 힐베르트 프로그램·괴팅겐 강의 → Hilbert–Ackermann 1928 교재의 결정 문제 → 괴델의 형식 체계 결과 → 처치와 튜링의 서로 다른 1936년 부정 해답

생각은 어떻게 달라졌나

괴델은 식과 증명을 자연수로 부호화해 산술 체계가 자신의 증명 가능성에 관해 말하도록 만들었습니다. 일정한 무모순성 조건 아래 충분히 강하고 효과적으로 공리화된 체계에는 참이지만 그 체계 안에서 증명할 수 없는 문장이 생기며, 체계는 일반적으로 자기 무모순성도 내부에서 증명하지 못합니다.

이 장소가 가능 조건이 된 이유

비엔나 대학과 수학 콜로퀴움, 빈 학단 주변의 논리·언어 토론은 괴델이 힐베르트 프로그램의 정확한 형식 도구를 익히고 결과를 발표·논의할 공동체를 제공했습니다. 정치적 불안과 반유대주의는 이 학술망을 곧 해체했습니다.

실제 이동 방식

괴팅겐의 형식주의·완전성 질문 → 비엔나의 논리 콜로퀴움과 괴델 번호화 → 1930 발표·1931 논문 → 프린스턴 IAS 이주와 후속 해석 → 계산 가능성·증명론·컴퓨터 검증 연구

생각은 어떻게 달라졌나

처치는 람다 정의 가능성과 재귀 함수로 계산 가능한 함수의 형식적 범주를 세우고, 그 범주 안에서 일반 결정 문제를 푸는 함수가 없음을 보였습니다. ‘기계적 방법’이라는 일상적 직관이 조작 가능한 수학 대상이 되면서 계산할 수 없는 문제도 정확히 증명할 수 있게 됐습니다.

이 장소가 가능 조건이 된 이유

프린스턴 수학과의 논리 세미나, *Annals of Mathematics*, 방문 연구자와 대학원생의 밀집은 처치·Kleene·Rosser의 형식 연구와 튜링의 후속 유학을 연결했습니다. 같은 장소는 한 사람의 단독 학파라기보다 서로 다른 계산 모형을 비교할 장이었습니다.

실제 이동 방식

괴델·Herbrand의 재귀 함수 연구 → 처치·Kleene의 람다 계산 → 1936년 비결정 가능성 논문 → 튜링 원고의 독립 기계 모형과 동치 확인 → Church–Turing 명제와 계산이론 교육

생각은 어떻게 달라졌나

튜링은 무한 테이프, 읽고 쓰는 머리, 유한한 상태, 전이표로 사람의 규칙적 기호 조작을 추상화했습니다. 개별 기계를 부호로 읽어 여러 기계의 동작을 흉내 내는 범용 기계와, 어떤 기계가 멈출지 일반적으로 판정할 수 없다는 경계를 같은 틀에서 보였습니다.

이 장소가 가능 조건이 된 이유

케임브리지 King's College의 수학 교육, Max Newman의 기초론 강의, 도서관과 학술지 접근은 튜링이 계산자의 실제 동작에서 형식 모형을 끌어낼 조건을 주었습니다. 논문이 심사·출판되는 동안 처치의 독립 결과를 알게 되어 프린스턴으로 이어졌습니다.

실제 이동 방식

힐베르트의 결정 문제와 Newman 강의 → 사람이 종이에 계산하는 동작 분석 → 1936년 원고와 1937년 인쇄 → Church 모형과 동치 비교 → 전후 저장 프로그램·프로그래밍 언어·계산 복잡도 연구

생각은 어떻게 달라졌나

섀넌은 릴레이 접점의 열림·닫힘을 부울 대수의 0·1 조건과 대응시켜 회로를 식으로 쓰고 동치 변환으로 단순화했습니다. 기호 논리와 물리적 스위치 사이에 설계·검증의 왕복 번역이 생기면서 회로는 시행착오 배선이 아니라 계산 가능한 구조가 되었습니다.

이 장소가 가능 조건이 된 이유

MIT의 전기공학 대학원과 Vannevar Bush의 Differential Analyzer 유지 작업은 섀넌에게 복잡한 릴레이 회로라는 실제 문제를 주었고, 논문·산업 연구망은 1938년 결과를 널리 전했습니다. 같은 시기 Shestakov 등 다른 지역의 독립 작업도 있었습니다.

실제 이동 방식

Boole 이후 기호논리 → MIT Differential Analyzer의 릴레이 회로 문제 → 1937년 석사논문·1938년 AIEE 논문 → Bell Labs의 스위칭·통신 연구 → 디지털 논리 합성과 하드웨어 설계

생각은 어떻게 달라졌나

Z3는 천공 필름에서 순차 명령을 읽고 릴레이로 이진 부동소수점 연산을 수행했습니다. 명령과 기계가 분리되어 같은 하드웨어가 다른 계산 순서를 따를 수 있었지만, 조건 분기와 내부 저장 프로그램이 없는 운영 설계에는 분명한 한계가 있었습니다.

이 장소가 가능 조건이 된 이유

베를린의 공학 교육, 부모 집 작업실, 항공 연구소의 제한적 지원과 항공 계산 수요는 추제가 대형 기관 밖에서 기계를 만들면서도 전시 산업과 연결되게 했습니다. 폭격으로 원기계와 문서 일부가 파괴되어 오늘 보는 Z3는 후대 복원품입니다.

실제 이동 방식

토목 계산의 반복과 Z1·Z2 실험 → 전화용 릴레이·폐필름 천공 명령 → 1941년 Z3 시연과 항공 계산 → 전시 파괴 → 추제의 1960년대 복원과 박물관·계산사 재평가

생각은 어떻게 달라졌나

ENIAC의 프로그램은 계산 문제를 누산기·함수표·제어 장치의 흐름으로 분해하고 케이블과 스위치를 실제로 재구성하는 일이었습니다. 전자는 연산을 크게 가속했지만 문제 전환이 느렸고, 이 마찰은 명령을 데이터처럼 저장·수정하는 설계의 가치를 선명하게 만들었습니다.

이 장소가 가능 조건이 된 이유

필라델피아 Moore School은 미 육군 탄도연구소 자금, 전자공학자, 탄도표를 손으로 계산하던 여성 인력을 모았습니다. 여섯 초기 프로그래머는 회로도와 장치 논리를 익혀 기계를 작동시켰지만 오랫동안 공식 사진과 공로 설명에서 주변화됐습니다.

실제 이동 방식

전시 탄도표 수요와 여성 human computer 집단 → Eckert·Mauchly 팀의 전자식 ENIAC → Bartik·Holberton·Meltzer·McNulty·Spence·Teitelbaum의 배선식 프로그램 → EDVAC 논의·저장 프로그램 보고서 → 교육과 산업 컴퓨팅

생각은 어떻게 달라졌나

Manchester Baby는 Williams–Kilburn 전자 메모리에서 명령을 차례로 읽고 결과에 따라 반복하며 17개 명령의 최대 인수 프로그램을 실행했습니다. 프로그램이 물리적 배선이 아니라 읽고 고칠 수 있는 메모리 패턴이 되면서 기계 제작과 프로그램 작성의 층이 실제로 분리되기 시작했습니다.

이 장소가 가능 조건이 된 이유

맨체스터 대학은 전시 Telecommunications Research Establishment에서 온 Williams·Kilburn·Tootill의 레이더 메모리 경험, 대학 연구 공간, Ferranti와의 산업 연결을 모아 불안정한 새 메모리를 작은 실험 기계로 시험했습니다.

실제 이동 방식

전시 레이더용 cathode-ray 기술 → Williams–Kilburn 저장관 실험 → SSEM/Baby 제작 → 1948년 6월 21일 저장 프로그램 실행 → Manchester Mark 1과 Ferranti Mark 1 → 소프트웨어 직업·컴퓨터 산업

생각은 어떻게 달라졌나

다익스트라의 방법은 시작점에서 확정된 최단거리를 하나씩 넓히고 가장 가까운 미확정 정점을 선택하는 불변식을 사용했습니다. 새 기계를 보여 주는 한 번의 시연 문제가 입력 그래프, 선택 규칙, 종료, 정확성 조건을 가진 재사용 알고리즘이 되었고, 음수 가중치에서는 그 보장이 깨진다는 경계도 드러납니다.

이 장소가 가능 조건이 된 이유

암스테르담 Mathematisch Centrum의 ARMAC 팀은 네덜란드 자체 컴퓨터를 공식 공개하면서 비전문가도 결과를 이해할 시연을 필요로 했습니다. 작은 도시 지도라는 설명 가능한 문제와 실제 기계의 제한이 우아하고 메모리 절약적인 절차를 선택하게 했습니다.

실제 이동 방식

Mathematisch Centrum의 계산 서비스·ARMAC 제작 → 1956년 공개 시연용 최단경로 문제 → 다익스트라의 카페 테라스 회고 → 1959년 그래프 연결 논문 → 네트워크 라우팅·GIS·알고리즘 교육과 변형