Emil Leon Post was an American mathematician and logician.
FactSnippet No. 1,425,968 |
Emil Leon Post was an American mathematician and logician.
FactSnippet No. 1,425,968 |
Emil Post is best known for his work in the field that eventually became known as computability theory.
FactSnippet No. 1,425,969 |
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 |
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 |
Emil Post then became a high school mathematics teacher in New York City.
FactSnippet No. 1,425,972 |
Emil Post married Gertrude Singer in 1929, with whom he had a daughter, Phyllis Emil Post Goodman .
FactSnippet No. 1,425,973 |
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 |
Emil Post died in 1954 of a heart attack following electroshock treatment for depression; he was 57.
FactSnippet No. 1,425,975 |
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 |
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 |
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 |
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 |
Emil Post showed that the Post Correspondence Problem of satisfying their constraints is, in general, undecidable.
FactSnippet No. 1,425,980 |
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 |
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 |