블록 체인에서 튜링 완전성이 가지는 의미
1936년 영국의 수학자 앨런 튜링은 요즘 시대의 컴퓨터의 시초인 튜링 머신을 개발하였습니다. 이것을 개발한 계기는 1928년 수학자 힐베르트가 제안한 명제를 풀기 위해 고안된 상상의 기계였습니다. 일부는 1930년 괴델에 의해서 해결되었지만, ‘수학은 결정 가능한가?’라는 명제는 해결되지 않았습니다. 이것이 바로 정지 문제(halting problem) 입니다. 튜링 머신은 추상적인 개념이었습니다. 무한히 확장 가능한 저장공간(두루마리 휴지 같은 테이프로 묘사)과 그것을 읽을 수 있는 기계(헤더, 상태, 행동표)로 구성되어 있으며, 하나의 튜링 머신은 하나의 기능을 가질 수 있습니다. 그리고 이 머신으로 풀 수 없는 문제는 없다고 가정하였습니다. 이러한 머신을 만들기 위해서는, 조건을 만드는 식이 매우..
IT이모저모/인터넷 세상
2018. 1. 3. 01:30