Back Postův korespondenční problém Czech Postsches Korrespondenzproblem German Post correspondence problem English 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 NB
Posts korrespondanseproblem er eit uavgjerbart beslutningsproblem innanføre informatikken og matematikken introdusert av Emil Post i 1946. Sagt på ein annan måte, det finst inga turingmaskin som vert sagt å avgjera problemet. Det verta ofte nytta i bevis for om eit problem er uavgjerbart eller ikkje, då det er enklare å jobba med enn andre uavgjerbare beslutningsproblem som til dømes stoppeproblemet.