15 Facts About Emil Post

1.

Emil Leon Post was an American mathematician and logician.

FactSnippet No. 1,425,968
2.

Emil Post is best known for his work in the field that eventually became known as computability theory.

FactSnippet No. 1,425,969
3.

Emil Post was born in Augustow, Suwalki Governorate, Congress Poland, Russian Empire into a Polish-Jewish family that immigrated to New York City in May 1904.

FactSnippet No. 1,425,970
4.

Emil Post had been interested in astronomy, but at the age of twelve lost his left arm in a car accident.

FactSnippet No. 1,425,971
5.

Emil Post then became a high school mathematics teacher in New York City.

FactSnippet No. 1,425,972
6.

Emil Post married Gertrude Singer in 1929, with whom he had a daughter, Phyllis Emil Post Goodman .

FactSnippet No. 1,425,973
7.

Emil Post spent at most three hours a day on research on the advice of his doctor in order to avoid manic attacks, which he had been experiencing since his year at Princeton.

FactSnippet No. 1,425,974
8.

Emil Post died in 1954 of a heart attack following electroshock treatment for depression; he was 57.

FactSnippet No. 1,425,975
9.

Emil Post initially failed to publish his ideas as he believed he needed a 'complete analysis' for them to be accepted.

FactSnippet No. 1,425,976
10.

In 1936, Emil Post developed, independently of Alan Turing, a mathematical model of computation that was essentially equivalent to the Turing machine model.

FactSnippet No. 1,425,977
11.

Emil Post's rewrite technique is ubiquitous in programming language specification and design, and so with Church's lambda-calculus is a salient influence of classical modern logic on practical computing.

FactSnippet No. 1,425,978
12.

Emil Post devised a method of 'auxiliary symbols' by which he could canonically represent any Emil Post-generative language, and indeed any computable function or set at all.

FactSnippet No. 1,425,979
13.

Emil Post showed that the Post Correspondence Problem of satisfying their constraints is, in general, undecidable.

FactSnippet No. 1,425,980
14.

Emil Post made a fundamental and still-influential contribution to the theory of polyadic, or n-ary, groups in a long paper published in 1940.

FactSnippet No. 1,425,981
15.

Emil Post demonstrated that a polyadic group operation on a set can be expressed in terms of a group operation on the same set.

FactSnippet No. 1,425,982