The forum of the Computer Science students of the University of Pisa

Discussione esercizio 1 compito 4/11/2016

Testo dell'esercizio:
Si determini una funzione [math] calcolabile totale tale che [math] sia ricorsivo
L'unica funzione che mi viene in mente che possa soddisfare la condizione è l'identità, che renderebbe [math]. Mi verrebbe da dire che qualsiasi altra funzioni renderebbe [math] un i.i.r.f. quindi non ricorsivo. Il mio ragionamento è corretto?
Il ragionamento mi sembra corretto, ma non saprei come formalizzare il fatto che diventi un i.i.r.f.