Indécidabilité de la confluence et de la terminaison

On montre que le Problème de Correspondance de Post est indécidable.