Emil Leon Post (February 11 1897 - April 21 1954) was a Polish-American mathematician and logician. He was born in a Jewish family in Augustow, and died New York City, USA.

In 1936 he developed, independently of Alan Turing's Turing machine, an abstract computer model named the Post machine.

His Post correspondence problem contributed to the decision problems of recursion theory, as a new model of computation.

Essential reading

• Davis, Martin (1964). The Undecidable (Ed.), pp. 228-433. Ravello: Raven Press. ISBN 0-91-121601-4

External links

• Biography of Post (http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Post.html)

de:Emil Leon Post eo:Emil POST pl:Emil Leon Post uk:Пост Еміль