El Problema de Correspondencia de Post es un problema de decisión indecidible que fue propuesto por Emil Post.