Back Postův korespondenční problém Czech Postsches Korrespondenzproblem German Problema de correspondencia de Post Spanish مسئله تناظر پست Persian Problème de correspondance de Post French בעיית ההתאמה של פוסט HE Samræmingarverkefni Posts Icelandic Correspondentieprobleem van Post Dutch Posts korrespondanseproblem NN Posts korrespondanseproblem NB

Post correspondence problem

Not to be confused with the other Post's problem on the existence of incomparable r.e. Turing degrees.
Not to be confused with PCP theorem.

The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946.[1] Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability.

  1. ^ E. L. Post (1946). "A variant of a recursively unsolvable problem" (PDF). Bull. Amer. Math. Soc. 52 (4): 264–269. doi:10.1090/s0002-9904-1946-08555-9. S2CID 122948861.

Rich TVX News Network Site

Rich TVX News Network Info

© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search