앨런 튜링(Alan Turing, 1912~1954, 영국)
계산가능한 수에 대해서, 수리명제 자동생성 문제에 응용하면서
On Computable Numbers, With an Application to the Entscheitungsproblem
기계를 입력으로 받아서 그 기계가 하는 일을 고스란히 따라 하는 기계를
튜링은 보편만능의 기계universal machine라고 불렀다
01패턴을 무한히 반복하는 프로그램이있을시 무한적일을하니 멈추지않는다
1936년에 앨런 튜링이 모든 가능한 입력값에 대해 정지문제를 풀 수 있는 일반적인 알고리즘 은 존재하지 않는다는 것을 증명했다. 그러므로 '정지문제는 튜링 기계에서 판정할 수 없다'고 한다.
튜링머신은 저렇게 읽고 명령을 수행한다
튜링의대표적인논문
계산 가능한 수와 결정 문제에 응용On computable numbers, with an application to the Entscheidungsproblem
계산 기계와 지능Computing machinery and intelligence
튜링의 이논문들로 ACM(Association for Computing Machinery)은 튜링상을 만들고
1966년부터 매년 컴퓨 터과학 분야에 탁월한 공적을 쌓은 사람을 선정하여 시상하고 있다
튜링은 독일군이 사용하던 당시 세계 최고의 암호기인 에니그마의 암호 를 해독하는 일을 성공적으로했다
전쟁이 끝난 후 런던의 국립 물리연구소의 권유로 튜링 기계 를 실제 제작하는 일에 착수한다. 이 기계의 이름은 ACE였다
결국 그는 현실적인벽에 부딪쳐 완성하지 연구소를 떠났다
그는 그후 튜링테스트라는 논문을쓰게되는데
이테스트는 사람이 컴퓨터인지를 모른다면 그건 인공지능이다 라는 간단한 인공지능인지기계인지 테스트하는것이다
튜링의 최후는 우리가 잘알듯이 독이든 사과를 먹고 자살했다
REF(참고한자료)
컴퓨터스토리
위키백과
네이버블로그
'컴퓨터 역사' 카테고리의 다른 글
허만 홀러리스 (Herman Hollerith, 1860~1929, 미국) (0) | 2020.04.26 |
---|---|
조지 부울 (George Boole, 1815~1864, 영국) (0) | 2020.04.26 |
어거스타 에이더 (Augusta Ada Lovelace, 1815~1852, 영국) (0) | 2020.04.26 |
찰스 배비지 (Charles Babbage, 1791~1871, 영국) (0) | 2020.04.26 |
블레즈 파스칼 (Blaise Pascal, 1623~1662, 프랑스) (0) | 2020.04.26 |