Bazsites.com Post, Emil L.

Directory Topics

Emil Post - Biography of Emil Leon Post (1897-1954).
E.L. Post Manuscript Guide - Notes on papers and correspondence by Post at the American Philosophical Society.
Post's Problem of Creativity - An essay discussing some of Post's philosophical ideas in a biographic setting.
PCP@HOME Contest - A project to find short instances of Post's Correspondence Problem with large shortest solutions.
Post's Correspondence Problem - A page dedicated to one of the original algorithmically undecidable problems.

Post's inversion formula - Post's inversion formula for Laplace transforms, named after Emil Post, is a simple-looking but usually impractical formula for evaluating an inverse Laplace transform.
Post correspondence problem - The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946. Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability.
Post's theorem - In computability theory Post's theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees.
Emil Leon Post - U.S.
Tag system - A tag system is a deterministic computational model published by Emil Leon Post in 1943 as a simple form of string rewriting system. A tag system may also be viewed as an abstract machine, called a Post tag machine (not to be confused with Post-Turing machines) -- briefly, a finite state machine whose only tape is a FIFO queue of ...