(21 aprile h.11/13, aula 3 edificio C5) Completamento della dimostrazione del teorema DPR, nella dimostrazione di Jones-Matiyasevich
Section outline
-
È stata inoltre discussa un'applicazione del teorema DPR alla formulazione in un'aritmetica del prim'ordine della congettura di Goldbach