때로는 아무도 상상할 수 없는 사람들이 누구도 상상할 수 없는 일을 해낸다.
Alan Mathison Turing은 영국의 수학자, 컴퓨터 과학자, 논리학자, 암호해독가, 철학자, 그리고 이론 생물학자였습니다. Turing은 이론 컴퓨터 과학의 발전에 매우 영향력이 있었으며, Turing 기계를 통해 알고리즘과 계산의 개념을 형식화했습니다. Turing 기계는 범용 컴퓨터의 모델로 간주될 수 있습니다. Turing은 이론 컴퓨터 과학과 인공지능의 아버지로 널리 인정받고 있습니다. 이러한 성과에도 불구하고, 그는 당시 만연한 동성애 혐오와 그의 많은 업무가 공식 기밀법으로 보호되었기 때문에 생전에 자신의 모국에서 완전히 인정받지 못했습니다.
제2차 세계대전 중, Turing은 영국의 암호 해독 센터인 Bletchley Park의 정부 암호 및 암호학 학교 GC&CS에서 일했습니다. 한때 그는 독일 해군 암호 분석을 담당하는 부서인 Hut 8을 이끌었습니다. 여기서 그는 독일 암호를 깨는 속도를 높이기 위한 여러 기술을 고안했으며, 전쟁 전 폴란드 봄베 방법의 개선 사항들을 포함했습니다. 봄베는 Enigma 기계의 설정을 찾을 수 있는 전자 기계식 기계였습니다.
Turing은 연합군이 많은 중요한 전투, 특히 대서양 전투에서 나치를 격퇴할 수 있게 해주는 암호화된 메시지를 해독하는 데 중요한 역할을 했으며, 이를 통해 전쟁 승리에 도움을 주었습니다. 반사실적 역사의 문제로 인해 Ultra 정보가 전쟁에 미친 정확한 영향을 추정하기는 어렵지만, 최대 추정치에 따르면 이 업무는 유럽의 전쟁을 2년 이상 단축했으며 1,400만 명 이상의 생명을 구했습니다.
전쟁 후, Turing은 국립 물리 연구소에서 일했으며, 여기서 자동 계산 엔진을 설계했습니다. 자동 계산 엔진은 저장 프로그램 컴퓨터의 초기 설계 중 하나였습니다. 1948년, Turing은 Manchester의 Victoria 대학교에 있는 Max Newman의 컴퓨팅 머신 실험실에 합류했으며, 여기서 그는 Manchester 컴퓨터 개발을 도왔고 수학 생물학에 관심을 갖게 되었습니다. 그는 형태 형성의 화학적 기초에 관한 논문을 썼으며, 1960년대에 처음 관찰된 Belousov–Zhabotinsky 반응과 같은 진동 화학 반응을 예측했습니다.
Turing은 1952년 동성애 행위로 기소되었습니다. 1885년의 Labouchere 수정안은 영국에서 "심각한 외설"이 범죄 행위라고 규정했습니다. 그는 감옥의 대안으로 DES를 이용한 화학적 거세 치료를 받아들였습니다. Turing은 1954년에 42세 생일 16일 전에 청화물 중독으로 사망했습니다. 검시관은 그의 사망을 자살로 판정했지만, 알려진 증거는 우발적 중독과도 일치한다는 점이 지적되었습니다.
2009년, 인터넷 캠페인에 따라 영국 총리 Gordon Brown은 "그가 받은 끔찍한 대우"에 대해 영국 정부를 대신하여 공식적인 공개 사과를 했습니다. Elizabeth II 여왕은 2013년에 Turing에게 사후 사면을 허락했습니다. "Alan Turing 법"은 현재 동성애 행위를 불법화한 역사적 법안에 따라 경고를 받거나 유죄 판결을 받은 남성들을 소급하여 사면한 2017년 영국 법안의 비공식 용어입니다.
어린 시절 및 교육
가족
Turing은 Maida Vale, London에서 태어났으며, 그의 아버지인 Julius Mathison Turing 1873–1947은 Chatrapur의 인도 공무원 제도 ICS에서의 직무에서 휴가를 내고 있었습니다. 당시 Madras 관구에 있었고 현재는 인도의 Odisha 주에 있습니다. Turing의 아버지는 목사였던 Rev. John Robert Turing의 아들이었으며, 네덜란드를 기반으로 하던 스코틀랜드 상인 가족 출신이었고 남작을 포함했습니다. Turing의 어머니인 Julius의 아내는 Ethel Sara Turing née Stoney 1881–1976였으며, Madras 철도의 총 엔지니어였던 Edward Waller Stoney의 딸이었습니다. Stoneys는 County Tipperary와 County Longford 모두에서 온 프로테스탄트 영국계 아일랜드 귀족 가족이었으며, Ethel 자신은 County Clare에서 어린 시절의 대부분을 보냈습니다.
ICS에서의 Julius의 업무는 가족을 영국령 인도로 데려갔으며, 그의 할아버지는 벵골 육군의 장군이었습니다. 그러나 Julius와 Ethel 모두 그들의 자녀들이 영국에서 성장하기를 원했으므로, 그들은 Maida Vale, London으로 이주했으며, Alan Turing은 1912년 6월 23일에 태어났으며, 이는 나중에 Colonnade Hotel이 된 그의 출생지 집 외부의 파란 명패에 기록되어 있습니다. Turing은 형인 John(Turing 남작 중 12대 남작인 Sir John Dermot Turing의 아버지)이 있었습니다.
Turing의 아버지의 공무원 위임장은 여전히 활동 중이었고, Turing의 어린 시절에 그의 부모는 영국의 Hastings와 인도 사이를 오가며, 두 아들을 은퇴한 육군 부부와 함께 머물게 했습니다. Hastings에서, Turing은 Upper Maze Hill, St Leonards-on-Sea의 Baston Lodge에 머물렀으며, 현재는 파란 명패로 표시되어 있습니다. 명패는 Turing의 출생 100주년인 2012년 6월 23일에 공개되었습니다.
인생 초기에, Turing은 나중에 두드러지게 드러낼 천재성의 신호를 보였습니다. 그의 부모는 1927년에 Guildford에 집을 구입했으며, Turing은 학교 방학 중에 그곳에서 살았습니다. 이 위치도 파란 명패로 표시되어 있습니다.
학교
Turing의 부모는 그를 St Leonards-on-Sea의 Charles Road 20번지에 있는 일일 학교인 St Michael's에 6살 때 등록했습니다. 교장은 그의 재능을 일찍 인식했으며, 나중의 많은 선생님들도 그렇게 했습니다.
1922년 1월부터 1926년까지, Turing은 현재 East Sussex인 Sussex의 Frant 마을에 있는 독립 학교인 Hazelhurst 준비 학교에서 교육을 받았습니다. 1926년, 13살 때, 그는 Dorset의 Sherborne 시장 마을에 있는 기숙 독립 학교인 Sherborne School에 진학했으며, Westcott House에서 기숙했습니다. 학기의 첫날은 1926년 영국 총파업과 일치했지만, Turing은 참석하려는 결심이 매우 강해서 Southampton에서 Sherborne까지 자전거를 타고 혼자 60마일(97km)을 여행했으며, 여관에서 밤을 보냈습니다.
우리는 앞으로 짧은 거리밖에 볼 수 없지만, 그곳에서 해야 할 일이 많다는 것을 볼 수 있습니다.
Turing의 수학과 과학에 대한 자연스러운 경향은 Sherborne의 일부 선생님들로부터 존경을 받지 못했습니다. 그들의 교육의 정의는 고전에 더 많은 강조를 두었습니다. 그의 교장은 부모에게 이렇게 썼습니다: "나는 그가 두 걸의를 사이에서 실패하지 않기를 바랍니다. 만약 그가 공립학교에 머물려면, 교육을 받는 것을 목표로 해야 합니다. 만약 그가 순전히 과학 전문가가 되려면, 그는 공립학교에서 시간을 낭비하고 있습니다". 이에도 불구하고, Turing은 계속해서 자신이 사랑하는 연구에서 놀라운 능력을 보였으며, 기본 미적분학을 공부하지 않고도 1927년에 고급 문제를 풀었습니다. 1928년, 16살 때, Turing은 Albert Einstein의 업무를 만났습니다. 그는 그것을 이해했을 뿐만 아니라, 그가 이것이 명시적으로 만들어진 적 없는 텍스트에서 Newton의 운동 법칙에 대한 Einstein의 의문을 추론할 수 있었던 것 같습니다.
Christopher Morcom
Sherborne에서, Turing은 같은 학생인 Christopher Collan Morcom 1911년 7월 13일 – 1930년 2월 13일과 중요한 우정을 형성했으며, 그는 Turing의 "첫사랑"으로 묘사되었습니다. 그들의 관계는 Turing의 미래 노력에 영감을 주었지만, 몇 년 전에 감염된 소 우유를 마신 후 얻은 우역의 합병증으로 인해 Morph의 사망으로 1930년 2월에 중단되었습니다.
이 사건은 Turing에게 큰 슬픔을 주었습니다. 그는 Morcom과 공유했던 과학과 수학의 주제에 더 열심히 일함으로써 그의 슬픔에 대처했습니다. Morcom의 어머니 Frances Isobel Morcom née Swan에게 쓴 편지에서 Turing은 다음과 같이 썼습니다:
나는 그처럼 훌륭하면서도 매력적이고 자만하지 않은 다른 동료를 어디에서도 찾을 수 없었을 것이라고 확신합니다. 나는 내 일에 대한 관심과 천문학(그가 나에게 소개해준 것)과 같은 것들에 대한 관심을 그와 공유할 것으로 생각했으며, 나는 그도 나에 대해 조금 같은 느낌을 가지고 있다고 생각합니다. 나는 만약 그가 살아 있다면 내가 할 관심만큼 에너지를 내 일에 쏟아야 한다는 것을 압니다. 왜냐하면 그것이 그가 나에게 하고 싶어 하는 것이기 때문입니다.
Morcom의 사망 후 오랫동안 Turing과 Morph의 어머니와의 관계는 계속되었으며, 그녀는 Turing에게 선물을 보냈고, 그는 일반적으로 Morph의 생일에 편지를 보냈습니다. Morph의 사망 3주년 하루 전인 1933년 2월 13일, 그는 Morph 부인에게 다음과 같이 썼습니다:
이 편지가 당신에게 도착할 때 당신이 Chris를 생각하고 있을 거라고 예상합니다. 나도 생각할 것이고, 이 편지는 단지 당신에게 내가 내일 Chris를 그리고 당신을 생각할 것임을 알려주기 위한 것입니다. 나는 그가 지금 여기에 있을 때만큼 행복하다고 확신합니다. 애정을 담아 Alan.
일부는 Morph의 사망이 Turing의 무신론과 유물론의 원인이라고 추측했습니다. 명백하게, 인생의 이 시점에서 그는 여전히 몸과 독립적이고 죽음 후에도 지속되는 정신과 같은 개념을 믿었습니다. 나중에 Morph의 어머니에게 쓴 편지에서, Turing은 다음과 같이 썼습니다:
개인적으로, 나는 정신이 정말로 영구적으로 물질과 연결되어 있다고 믿지만, 확실히 같은 종류의 몸으로는 아닙니다. 정신과 몸 사이의 실제 연결에 관해서는, 몸이 '정신'을 붙잡을 수 있다고 생각합니다. 몸이 살아 있고 깨어 있는 동안 둘은 견고하게 연결되어 있습니다. 몸이 잠들어 있을 때 무슨 일이 일어나는지 추측할 수 없지만, 몸이 죽을 때 몸의 '메커니즘'은 정신을 붙잡지 못하고, 정신은 곧 새로운 몸을 찾으며, 아마도 즉시일 것입니다.
대학 및 계산 가능성에 대한 업무
Sherborne 후, Turing은 1931년부터 1934년까지 Cambridge의 King's College에서 학부 학생으로 공부했으며, 수학에서 1등급 우등상을 받았습니다. 1935년, 22살의 나이에, 그는 중심극한정리를 증명한 논문의 강점으로 King's College의 펠로우로 선출되었습니다. 위원회가 모르는 사이에, 정리는 이미 1922년에 Jarl Waldemar Lindeberg에 의해 증명되었습니다. 파란 명패는 2012년 6월 23일 그의 출생 100주년에 공개되었으며, 현재 King's Parade의 King's College의 Keynes 건물에 설치되어 있습니다.
1936년, Turing은 "On Computable Numbers, with an Application to the Entscheidungsproblem"이라는 논문을 발표했습니다. 그것은 London Mathematical Society 저널의 Proceedings에 두 부분으로 출판되었으며, 첫 번째는 11월 30일이고 두 번째는 12월 23일이었습니다. 이 논문에서, Turing은 Kurt Gödel의 1931년 증명과 계산의 한계 결과를 개혁했으며, Gödel의 보편적 산술 기반 형식 언어를 Turing 기계로 알려진 형식적이고 단순한 가설적 장치로 대체했습니다. Entscheidungsproblem 결정 문제는 원래 독일 수학자 David Hilbert에 의해 1928년에 제기되었습니다. Turing은 그의 "범용 컴퓨팅 기계"가 알고리즘으로 표현될 수 있다면 어떤 생각할 수 있는 수학적 계산을 수행할 수 있을 것임을 증명했습니다. 그는 Turing 기계의 정지 문제가 결정 불가능함을 먼저 보여줌으로써 결정 문제에 대한 해결책이 없음을 증명했습니다. Turing 기계가 멈출지 안 멈출지를 알고리즘적으로 결정할 수 없습니다. 이 논문은 "역사상 가장 영향력 있는 수학 논문"이라고 불렸습니다.
Turing의 증명이 그의 람다 미적분을 사용한 Alonzo Church의 동등한 증명 직후에 발표되었지만, Turing의 접근 방식은 Church의 것보다 훨씬 더 접근 가능하고 직관적입니다. 또한 현재 범용 Turing 기계로 알려진 '범용 기계'의 개념을 포함했으며, 그러한 기계가 Church의 람다 미적분도 마찬가지로 할 수 있듯이 다른 계산 기계의 작업을 수행할 수 있다는 아이디어를 가졌습니다. Church–Turing 논제에 따르면, Turing 기계와 람다 미적분은 계산 가능한 것이 무엇이든 계산할 수 있습니다. John von Neumann은 현대 컴퓨터의 중심 개념이 Turing의 논문 때문이라는 것을 인정했습니다. 오늘날까지, Turing 기계는 계산 이론의 중심 연
