El teorema de Matiyasevich/MRDP relaciona dos conceptos, uno procedente de la teoría de la computabilidad, y el otro de la teoría de números, y tiene algunas consecuencias inesperadas.