Report - Computabilità - MathUniPDbaldan/Computabilita/Intro.pdf · Primo: in ogni teoria T assiomatizzabile e consistente della aritmetica elementare esistono enunciati F per i quali non

Please pass captcha verification before submit form