2012.06.27

'세상 모든 컴퓨터의 시작' 수학자 앨런 튜링의 업적

Joab Jackson | IDG News Service
지난 토요일은 영국의 수학자 앨런 튜링(Alan Turning)이 태어난 지 100년이 된 날이었다. 현재 우리가 누리고 있는 컴퓨팅 환경은 그가 태어날 당시에 존재조차 하지 않았다는 것이 놀랍다.
 
하지만 튜링의 업적이 없었다면 우리가 지금 알고 있는 컴퓨터가 존재하지 않았을 것이다. 인터넷을 운영하는 TCP/IP의 공동 투자자 로버트 칸(Robert Kahn)이 한 인터뷰에서 “튜링이 없었다면, 컴퓨터의 발전 방향은 지금과 완전히 달랐거나 그렇지 않더라도 최소한 지연되었을 것이다"고 말했다.
 
영국의 수학자 찰스 바배지가 그의 분석적 엔진에 관한 아이디어를 공식화 한 1837년 이래로 프로그램이 가능한 컴퓨터에 관한 아이디어가 생겨났지만, 튜링은 세계 최초로 디지털 세계가 어떻게 움직이는지에 관한 물리학의 기반을 다지는 어려운 연구를 수행했다. 그리고 그는 이것을 위해 (이론적인) 무한한 테이프의 한 조각을 사용했다.
 
슈퍼컴퓨터를 능가한 왓슨(Watson)의 ‘제오파디(Jeopardy)’를 구축한 IBM 팀 소속이었던 에릭 브라운은 "튜링의 업적은 컴퓨터 공학에 있어서 너무나 근본적이기 때문에 그의 업적에 영향을 받지 않은 컴퓨터로는 아무 것도 할 수 없다"고 말했다.
 
초일류 지성인으로서 튜링은 컴퓨터 공학의 영역을 넘어서는 다수의 엄청난 업적을 달성했다. 2차 세계대전 중 그는 독일의 암호화된 메시지를 해독하는데 크게 일조하여 영국이 독일의 행동을 예측하고 궁극적으로 전쟁에 승리할 수 있게 되었다. 또한 그는 이런 수학적인 능력을 활용해 비선형 생물 이론의 영역에서 아이디어를 개발하여 혼돈 및 복잡성 이론의 기반을 다졌으며, 그는 슬픈 죽음으로도 잘 알려져 있는데, 그는 동성애 때문에 영국 정부의 추궁을 당하자 급기야 자살하고 말았다.
 
하지만 컴퓨터 공학 분야에서 그의 업적은 길이 남을 것이다. 지난 주 전산기계협회(Association of Computing Machinery)는 이틀 동안 튜링과 함께 컴퓨터 분야의 큰 별이라 할 수 있는 빈트 서프, 켄 톰슨, 앨런 C. 키의 업적을 기리고 그들을 추모하는 행사를 열었다.
 
지난 세기 초기에 컴퓨터에 관해 생각한 사람은 튜링만이 아니었다. 수학자들은 종종 계산이 가능한 함수에 관해 생각하곤 했다. 튜링은 1930년대 프린스턴 대학(Princeton University)의 연구에서 영감을 얻었다. 거기서 알론소 처치는 람다 계산(Lambda Calculus)을 정의했다 (이것은 훗날 Lisp 프로그래밍 언어의 기반을 형성했다). 그리고 커트 갭델은 불완전성 이론과 재귀 함수 이론을 연구했고 튜링은 두 수학자의 업적을 토대로 계산기의 개념을 마련했다.
 
튜링 머신
그의 1936년 논문에는 훗날 튜링 머신(Turning Machine)으로 알려진 것에 관한 설명이 포함되어 있다. 그는 이것을 에이 머신(a-machine)이라 불렀다. 해당 논문에서 그는 일련의 기호를 포함한 무한하게 긴 테이프 조각을 사용하는 이론적인 연산을 설명했다. 기계의 헤드가 테이프로부터 기호를 읽을 수 있을 뿐 아니라 자체적인 기호를 추가할 수도 있었다. 기호는 한번에 하나씩 테이프의 다른 부분을 돌아다닐 수 있었다.
 
렌셀러 폴리테크닉 대학교(Rensselaer Polytechnic Institute)의 컴퓨터 공학 교수이자 시맨틱 웹(Semantic Web)의 핵심 연구원 중 한 사람인 제임스 헨들러는 "튜ㅣㄹㅇ 머신은 계산이 무엇이며 프로그램을 갖는다는 것이 어떤 의미인지에 관한 아이디어를 제공했다"라며, "다른 사람들도 비슷한 생각을 했지만 튜ㅣㄹㅇ은 이것을 증명할 수 있는 형식적인 관점에서 접근했다"라고 말했다.
 
튜링 머신 자체는 절대로 실현될 수 없었다. 우선 "무한한 테이프는 실현이 불가능하다"고 칸이 농담을 던졌다. 하지만 이 개념은 해당 아이디어에 있어서 매우 중요한 부분이다. 칸은 "해당 머신의 로직(Logic)에 기반하여 튜ㅣㄹㅇ은 계산할 수 있는 모든 함수를 계산할 수 있다는 것을 증명했다"고 칸이 말했다.
 
물론 오늘날의 컴퓨터는 이진수를 사용한다. 컴퓨터 프로그램은 컴파일러(Compiler)가 일련의 1과 0으로 변환되는 하나의 또는 일련의 알고리즘이라 할 수 있다. 기본적으로 이것들은 테이프가 없다는 점을 제외하고는 튜링 머신과 작동 방식이 똑같다.
 
미들 테네시 주립 대학교(Middle Tenessee State University) 컴퓨터공학과의 학장인 크리실라 페티는 "일반적으로 튜링 머신의 개념은 디지털 컴퓨터가 할 수 있는 모든 것을 모델화할 수 있는 것으로 받아들여지고 있다"고 말했다.
 
이메일을 통한 인터뷰에서 페티는 튜링 덕분에 "유한한 일련의 기호를 다루는 모든 알고리즘이 컴퓨터를 사용하는 절차로 간주되고 있다"고 밝혔다.
 



2012.06.27

'세상 모든 컴퓨터의 시작' 수학자 앨런 튜링의 업적

Joab Jackson | IDG News Service
지난 토요일은 영국의 수학자 앨런 튜링(Alan Turning)이 태어난 지 100년이 된 날이었다. 현재 우리가 누리고 있는 컴퓨팅 환경은 그가 태어날 당시에 존재조차 하지 않았다는 것이 놀랍다.
 
하지만 튜링의 업적이 없었다면 우리가 지금 알고 있는 컴퓨터가 존재하지 않았을 것이다. 인터넷을 운영하는 TCP/IP의 공동 투자자 로버트 칸(Robert Kahn)이 한 인터뷰에서 “튜링이 없었다면, 컴퓨터의 발전 방향은 지금과 완전히 달랐거나 그렇지 않더라도 최소한 지연되었을 것이다"고 말했다.
 
영국의 수학자 찰스 바배지가 그의 분석적 엔진에 관한 아이디어를 공식화 한 1837년 이래로 프로그램이 가능한 컴퓨터에 관한 아이디어가 생겨났지만, 튜링은 세계 최초로 디지털 세계가 어떻게 움직이는지에 관한 물리학의 기반을 다지는 어려운 연구를 수행했다. 그리고 그는 이것을 위해 (이론적인) 무한한 테이프의 한 조각을 사용했다.
 
슈퍼컴퓨터를 능가한 왓슨(Watson)의 ‘제오파디(Jeopardy)’를 구축한 IBM 팀 소속이었던 에릭 브라운은 "튜링의 업적은 컴퓨터 공학에 있어서 너무나 근본적이기 때문에 그의 업적에 영향을 받지 않은 컴퓨터로는 아무 것도 할 수 없다"고 말했다.
 
초일류 지성인으로서 튜링은 컴퓨터 공학의 영역을 넘어서는 다수의 엄청난 업적을 달성했다. 2차 세계대전 중 그는 독일의 암호화된 메시지를 해독하는데 크게 일조하여 영국이 독일의 행동을 예측하고 궁극적으로 전쟁에 승리할 수 있게 되었다. 또한 그는 이런 수학적인 능력을 활용해 비선형 생물 이론의 영역에서 아이디어를 개발하여 혼돈 및 복잡성 이론의 기반을 다졌으며, 그는 슬픈 죽음으로도 잘 알려져 있는데, 그는 동성애 때문에 영국 정부의 추궁을 당하자 급기야 자살하고 말았다.
 
하지만 컴퓨터 공학 분야에서 그의 업적은 길이 남을 것이다. 지난 주 전산기계협회(Association of Computing Machinery)는 이틀 동안 튜링과 함께 컴퓨터 분야의 큰 별이라 할 수 있는 빈트 서프, 켄 톰슨, 앨런 C. 키의 업적을 기리고 그들을 추모하는 행사를 열었다.
 
지난 세기 초기에 컴퓨터에 관해 생각한 사람은 튜링만이 아니었다. 수학자들은 종종 계산이 가능한 함수에 관해 생각하곤 했다. 튜링은 1930년대 프린스턴 대학(Princeton University)의 연구에서 영감을 얻었다. 거기서 알론소 처치는 람다 계산(Lambda Calculus)을 정의했다 (이것은 훗날 Lisp 프로그래밍 언어의 기반을 형성했다). 그리고 커트 갭델은 불완전성 이론과 재귀 함수 이론을 연구했고 튜링은 두 수학자의 업적을 토대로 계산기의 개념을 마련했다.
 
튜링 머신
그의 1936년 논문에는 훗날 튜링 머신(Turning Machine)으로 알려진 것에 관한 설명이 포함되어 있다. 그는 이것을 에이 머신(a-machine)이라 불렀다. 해당 논문에서 그는 일련의 기호를 포함한 무한하게 긴 테이프 조각을 사용하는 이론적인 연산을 설명했다. 기계의 헤드가 테이프로부터 기호를 읽을 수 있을 뿐 아니라 자체적인 기호를 추가할 수도 있었다. 기호는 한번에 하나씩 테이프의 다른 부분을 돌아다닐 수 있었다.
 
렌셀러 폴리테크닉 대학교(Rensselaer Polytechnic Institute)의 컴퓨터 공학 교수이자 시맨틱 웹(Semantic Web)의 핵심 연구원 중 한 사람인 제임스 헨들러는 "튜ㅣㄹㅇ 머신은 계산이 무엇이며 프로그램을 갖는다는 것이 어떤 의미인지에 관한 아이디어를 제공했다"라며, "다른 사람들도 비슷한 생각을 했지만 튜ㅣㄹㅇ은 이것을 증명할 수 있는 형식적인 관점에서 접근했다"라고 말했다.
 
튜링 머신 자체는 절대로 실현될 수 없었다. 우선 "무한한 테이프는 실현이 불가능하다"고 칸이 농담을 던졌다. 하지만 이 개념은 해당 아이디어에 있어서 매우 중요한 부분이다. 칸은 "해당 머신의 로직(Logic)에 기반하여 튜ㅣㄹㅇ은 계산할 수 있는 모든 함수를 계산할 수 있다는 것을 증명했다"고 칸이 말했다.
 
물론 오늘날의 컴퓨터는 이진수를 사용한다. 컴퓨터 프로그램은 컴파일러(Compiler)가 일련의 1과 0으로 변환되는 하나의 또는 일련의 알고리즘이라 할 수 있다. 기본적으로 이것들은 테이프가 없다는 점을 제외하고는 튜링 머신과 작동 방식이 똑같다.
 
미들 테네시 주립 대학교(Middle Tenessee State University) 컴퓨터공학과의 학장인 크리실라 페티는 "일반적으로 튜링 머신의 개념은 디지털 컴퓨터가 할 수 있는 모든 것을 모델화할 수 있는 것으로 받아들여지고 있다"고 말했다.
 
이메일을 통한 인터뷰에서 페티는 튜링 덕분에 "유한한 일련의 기호를 다루는 모든 알고리즘이 컴퓨터를 사용하는 절차로 간주되고 있다"고 밝혔다.
 

X