앨런
튜링
계산의 본질을 밝히고 AI를 꿈꾼 선구자
Alan Mathison Turing · 1912 — 1954
기계가 생각할 수 있는지 묻는 것은 잠수함이 수영할 수 있는지 묻는 것과 같다.
— 앨런 튜링컴퓨터과학과 인공지능의 아버지
앨런 매티슨 튜링. 계산 가능성의 수학적 기초를 확립하고, 인공지능의 개념을 처음으로 제시한 20세기의 천재입니다. 그의 ‘튜링 기계’는 현대 컴퓨터의 이론적 모델이며, ‘튜링 테스트’는 지능의 정의에 대한 철학적 논쟁을 촉발했습니다.
런던에서 맨체스터까지
튜링은 어린 시절부터 수학과 과학에 깊은 관심을 보였습니다. 셔본 학교에서는 친구 크리스토퍼 모컴의 죽음이 과학에 대한 열정에 영향을 미쳤습니다. 케임브리지 킹스 칼리지에서 수학을 공부했고, 1936년 “계산 가능한 수에 대하여”라는 논문으로 튜링 기계를 제안했습니다.
현대 컴퓨팅의 기원
튜링 기계는 컴퓨터과학의 가장 근본적인 개념입니다. 모든 프로그래밍 언어, 모든 컴퓨터는 본질적으로 튜링 기계와 동등합니다. “계산 가능하다”는 것이 무엇을 의미하는지를 튜링이 정의했기 때문에, 그의 연구 없이는 컴퓨터과학 자체가 존재하지 않았을 것입니다.
역사적 순간: 에니그마 해독
블레츨리 파크에서 튜링과 동료들은 매일 약 3,000개의 독일군 암호 메시지를 해독했습니다. 역사학자들은 이 암호 해독이 제2차 세계대전을 최소 2년 단축시켰다고 추정합니다. 이는 수백만 명의 생명을 구한 것과 같습니다. 그러나 이 업적은 1970년대까지 기밀로 남아 있었고, 튜링은 자신이 구한 국가로부터 인정받지 못했습니다.
계산과 지능의 이론
{work.desc}
계산 가능성의 수학적 기초
튜링의 1936년 논문 「계산 가능한 수에 대하여, 결정 문제에의 응용과 함께」는 수학사에서 가장 중요한 논문 중 하나입니다. 이 논문에서 튜링은 “계산”이라는 직관적 개념을 엄밀하게 수학적으로 정의했습니다. 튜링 기계는 무한한 테이프, 읽기/쓰기 헤드, 유한 상태 집합으로 구성된 추상 기계로, 알고리즘으로 풀 수 있는 모든 문제를 풀 수 있습니다.
처치-튜링 명제와 보편 튜링 기계
처치-튜링 명제는 “효과적으로 계산 가능한 함수는 정확히 튜링 기계로 계산 가능한 함수와 일치한다”는 가설입니다. 알론조 처치의 람다 대수와 튜링 기계가 동등한 계산 능력을 가진다는 발견은 “계산”의 본질에 대한 보편적 정의를 제공했습니다. 또한 튜링은 다른 모든 튜링 기계를 시뮬레이션할 수 있는 “보편 튜링 기계”(Universal Turing Machine)를 고안했는데, 이것이 바로 범용 프로그래밍 가능한 현대 컴퓨터의 이론적 원형입니다.
비극의 천재
튜링은 독특하고 비범한 인물이었습니다. 자전거를 타고 출근할 때 방독면을 쓰고(꽃가루 알레르기 때문), 컵을 라디에이터에 체인으로 묶어두었습니다. 마라톤을 취미로 즐겼으며, 올림픽 출전 수준의 실력이었습니다. 그의 동료들은 그를 괴짜라고 생각했지만, 동시에 그의 천재성을 인정했습니다.
시대를 앞서간 천재의 복권
튜링의 유산은 21세기에 들어 온전히 인정받고 있습니다. 2009년 영국 정부는 공식 사과했고, 2013년 엘리자베스 2세 여왕이 사후 사면했습니다. 2017년에는 과거 동성애로 유죄 판결을 받은 이들을 사면하는 “앨런 튜링 법”이 시행되었습니다.