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:
“A demanding stranger arrived one morning in a small town and asked a boy on the sidewalk of the main street, “Boy, where’s the post office?”
“I don’t know.”
“Well, then, where might the drugstore be?”
“I don’t know.”
“How about a good cheap hotel?”
“I don’t know.”
“Say, boy, you don’t know much, do you?”
“No, sir, I sure don’t. But I ain’t lost.””
—William Harmon (b. 1938)
“The problem for the King is just how strict
The lack of liberty, the squeeze of the law
And discipline should be in school and state....”
—Robert Frost (1874–1963)