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.
Read more about Post Correspondence Problem: Definition of The Problem, Proof Sketch of Undecidability, Variants
Famous quotes containing the words post and/or problem:
“To the old saying that man built the house but woman made of it a “home” might be added the modern supplement that woman accepted cooking as a chore but man has made of it a recreation.”
—Emily Post (1873–1960)
“The thinking person has the strange characteristic to like to create a fantasy in the place of the unsolved problem, a fantasy that stays with the person even when the problem has been solved and truth made its appearance.”
—Johann Wolfgang Von Goethe (1749–1832)