Informateci

Elementi di calcolabilità 1 - Riguardo a EXT, come dimostro che non è nè R nè R.E? Ha qualcosa a che vedere con il fatto che le sue funzioni si possono estendere a TOT? -Basta descrivere una funzione che vale 1 se x=0 ed è indefinita altrimenti, dimostro che non è R tramite il teorema di Rice e che ...