뜻이다. 처치는 기계에 대한 생각은 하지 않았지만, 람다 계산법은 ‘튜링-완전(turing-complete)’한 언어다. 튜링-완전하다는 것은 프로그래밍 언어로 기계적인 계산은 뭐든 표현할 수 있다는 의미다. 때문에 이 교수는 “튜링 기계와 람다 계산법이 결론적으로 똑같다”고 말한다. 컴퓨터로 돌릴 수 ...
만들어낸다. 이런 DNA 중합효소의 특징을 흥미롭게 읽은 아들만은 곧 ‘튜링기계’(Turing machine)를 떠올렸다. 컴퓨터 과학자인 아들만에게 어쩌면 당연한 연상이었는지 모른다.튜링 기계는 20세기 영국의 위대한 수학자 가운데 한 사람인 앨런 튜링(Alan Turing)이 고안한 가상의 개념이다. 튜링은 ...
주도하면서 현대 컴퓨터의 이론적 모델을 최초로 제시한 과학자는 영국의 앨런 튜링(Alan Turing)이었다.튜링은 인간의 두뇌와 비슷한 동작을 하는 계산기계의 모습을 정의해 이를 자동자이론으로 정리했으며, 튜링기계와 함께 튜링의 위대한 업적으로 남아 있다.자동자란 일정한 형태의 입력과 출력이 ...
간파했다.물론 노이만의 자기증식 이론에 대한 보다 근원적인 이론 체계는 앨런 튜링(Alan Turing)에 의해서 제기된 것이다. 튜링은 '튜링기계'라는 가상적인 연산기계를 제안했다. 지금까지 알려진 최신의 슈퍼컴퓨터도 아직은 이 간단한 튜링기계의 능력을 벗어나지 못하고 있다.이 기계는 자기 ...
때의 차이를 쉽게 알 수 있다는 점에 착안해 일찍이 영국의 컴퓨터 과학자 알렌 튜링(Alan Turing)은 지능의 유무를 살필 수 있는 검사를 제안했다. 이 검사를 '튜링 검사'라고 하는데 이는 벽으로 밀폐된 두 방 속에 두 사람, C와 D가 서로 컴퓨터 통신을 통하여 게임을 하고 있는 상황에서 시작된다.이 ...
하지만, 현재까지 가장 일반적으로 받아들여지는 지능의 궁극적 기준으로서 튜링 검사(Turing test)를 들 수 있다. 이 검사의 골자는 컴퓨터와 인간의 대화를 제삼자가 모니터해 둘중 어느 쪽이 인간이고 어느 쪽이 컴퓨터인가를 분간하지 못할 정도가 될 때 그 컴퓨터는 튜링 검사를 통과했다고 ...
조직화에 순응한 생의 주요 특징중 하나인 이러한 사실은 영국 수학자 알란 튜링(Alan Turing)이 1952년 처음 발표했다. 이것은 물리학자와 생물학자에게 동시에 영감을 주었으며 지금까지 연구가 계속되고 있다.온도가 1천44k 이상이 되면 철은 자기적 특성을 띠지 않는다. 이것을 식혔을 때 어느 ...
전자계산학의 이론적 기초가 다져지기 시작했으며, 아직도 그의 이름을 사용한 튜링머신(Turing machine)이란 이론적 모델이 전산학의 전 분야에서 이용되고 있다. 현대의 모든 컴퓨터는 튜링머신의 능력에 미치지 못한다. 튜링머신은 전선과 트랜지스터로 구성되어있는 쇳덩어리가 아니라 몇개의 ...
일어나리라 생각되는 과정에 대한 논리적 접근을 가능케 했다. 영국의 수학자 튜링(Turing)은 복잡한 문제를 풀어나가는 지적사고의 과정은 정신세계에서만 가능한 추상적이고 불가해한 과정이 아니라고 주장했다. 아무리 복잡한 데이터라도 극히 단순한 이진법의 기호(symbol)로 기술될 수 있으며, 이 ...
영역의 문제라면, 곧 컴퓨터 과학의 알고리즘(algorithm)이 존재하는 문제라면 투링머신(turing machine)이라는 단순한 기계에 문제를 푸는 일정한 수순을 부여함에 따라 원하는 문제풀이가 가능함을 수학적으로 증명했다.(그림1)는 투링 머신과 인간의 계산과정을 나타낸다. 이 투링머신은 추상적인 기계에 ...