Emil Leon Post (February 11 1897 - April 21 1954) was a Polish-American mathematician and logican. He was born in a Jewish family in Augustow, and died New York City, USA.
Emil Leon Post introduced the Post machine in 1936, an abstract computer, independently of the Turing machine.
His Post correspondence problem contributed to the decision problems of recursion theory, as a new model of computation.
Davis, Martin (1964). The Undecidable (Ed.), pp. 228-433. Ravello: Raven Press. ISBN 0-91-121601-4
Biography of Post
This article is a stub. You can help Wikipedia by fixing it.