Science Fair Project Encyclopedia
Emil Leon Post
(Redirected from Emil Post)
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 in New York City, USA.
In 1936 he developed, independently of Alan Turing's Turing machine, an abstract computer model named the Post machine.
He has also been credited with the invention of truth tables for symbolizing the semantics of propositional logic, independently of and possibly prior to Wittgenstein, who is better-known as their originator.
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
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details