Emil Post
(미국 수학자 논리학자 1897~1954)
Emil Leon Post 는 폴란드계 미국 수학자겸 논리학자이다. 그는 유태계 집안에서 태어나서 뉴욕에서 사망했다.
1936 년에 Alan Turing 의 튜링머신과는 독립적으로 Post machine 이라고 이름붙인 가상의 컴퓨터 모델을 개발했다. 그는 또한 명제논리의 의미론 (semantics) 를 기호화 하기위한 진리표 (truth tables) 을 발명한것으로 알려져 있다. 그것은 최초의 발명자로 널리 알려진 Wittgenstein 과는 독립적으로 만들어진 것이며 오히려 먼저 발명했을 가능성이 크다.
그의 Post correspondence problem 은 computation 의 새로운 모델로서, 재귀이론 (recursion theory) 의 결정문제 (decision problems) 에 공헌하였다. ............. (Wikipedia : Emil Leon Post)
term :
Post Correspondence Problem 튜링 기계 (Turing Machine) 계산 (Computation) 계산가능성 이론 (Computability Theory) 생성규칙 (Production Rule) 진리표 (Truth Table) 재귀 (Recursion) Alan Turing Ludwig Wittgenstein Emil Post
site :
Emil Post : University of St Andrews
paper :