앨런 튜링(1912-1954)은 영국의 수학자, 논리학자, 컴퓨터 과학자로, 1936년 계산 가능한 수에 관한 논문에서 현재 튜링 기계로 알려진 이론적 모델을 도입하여 인공지능과 현대 컴퓨팅의 이론적 토대를 마련했다. 제2차 세계 대전 중 그는 블레츨리 파크에서 암호 해독 노력을 주도했으며, 봄브 기계에 대한 그의 작업은 독일의 에니그마 암호를 해독하는 데 도움을 주어 연합군의 전쟁 수행에 크게 기여했다.
초기 생애와 이론적 업적
케임브리지와 프린스턴에서 교육을 받은 튜링은 1936년에 모든 가능한 프로그램에 대해 그것이 정지할지 여부를 결정할 수 있는 단일 알고리즘은 존재하지 않는다는 것을 증명했으며, 이 결과는 정지 문제로 알려지게 되었다. 이를 증명하기 위해 그가 고안한 추상적인 "튜링 기계"는 계산의 표준 이론적 모델이 되었고, 이후 알론조 처치가 고안한 람다 계산 및 기타 형식 체계와 동등한 힘을 가진 것으로 밝혀졌다.
블레츨리 파크
1939년부터 튜링은 블레츨리 파크에 있는 영국 정부 암호 및 코드 학교에서 근무했다. 그는 독일 에니그마 기계의 일일 설정 검색을 자동화한 전기 기계식 봄브를 설계했으며, 그의 암호 해독 작업은 전쟁을 단축시킨 것으로 널리 인정받고 있다. 그의 전시 기여 규모는 사후 수십 년 동안 기밀로 유지되었다.
전후 컴퓨팅과 "컴퓨팅 기계와 지능"
전후 튜링은 국립 물리 연구소와 맨체스터 대학교에서 초기 프로그램 내장 컴퓨터 연구에 참여했으며, 자동 계산 엔진 설계에 기여했다. 1950년 그는 저널 Mind에 "컴퓨팅 기계와 지능"을 발표하여 튜링 테스트로 알려지게 된 것을 제안했다. 기계가 "생각"할 수 있는지 묻는 대신, 모호하고 논쟁적인 용어인 이 질문 대신 튜링은 기계의 대화가 인간의 대화와 구별할 수 없는지 여부로 기계를 판단할 것을 제안했다. 이 논문은 의식에 대한 논증, 수학적 한계, 에이다 러브레이스에게 귀속된 "러브레이스 반론"을 포함하여 수십 년 동안 반복될 반론들을 예견했으며, 인공 일반 지능과 기계 이해의 기준에 대한 논쟁의 기준점으로 남아 있다.
박해와 죽음
1952년 튜링은 당시 범죄였던 동성애 행위로 영국 법에 따라 기소되었고, 감옥 대신 화학적 거세를 받아들였다. 그는 1954년 시안화물 중독으로 사망했으며, 검시관은 자살로 판정했지만 그 경위는 전기 작가들 사이에서 논쟁이 되어 왔다. 그는 2013년 사후 왕실 사면을 받았고, 2017년의 "앨런 튜링 법"은 같은 법령으로 유죄 판결을 받은 다른 남성들을 소급하여 사면했다.
유산
튜링은 컴퓨터 과학과 1956년 다트머스 워크숍에서 인공지능으로 명명될 분야의 창시자로 널리 여겨지지만, 그는 이를 보지 못하고 사망했다. 컴퓨팅 분야 최고의 영예인 튜링 상은 그의 이름을 따서 명명되었으며, 튜링 테스트는 챗봇이나 대규모 언어 모델이 설득력 있는 인간 유사 텍스트를 생성할 때마다, 종종 느슨하게 인용되는 문화적 기준점으로 남아 있다. 많은 연구자들은 이러한 비교가 진정한 기계 지능이나 자연어 처리 능력을 평가하는 데 부적절한 테스트라고 간주한다.