(11/05/21 h.9--11; 12/05/21 h.11-13) Il teorema DPR
Schema della sezione
-
Per stabilire che ogni insieme ricorsivamente enumerabile ammette una specifica diofantea esponenziale, ci rifacciamo alla dimostrazione di Matiyasevich--Jones che migliora il risultato originale di Davis--Putnam--Robinson dotando la rappresentazione diofantea esponenziale della proprietà di single-foldness.