Una nota sulle funzioni ricorsive

Riassunto Si dimostra, estendendo un precedente risultato, che condizione necessaria e sufficiente perchè l'insiemeM delle funzioni computabili maggiorate da una funzione qualsiasi sia ricorsivamente enumerabile è cheM sia finito.

---

The following theorem, which generalizes a previous result is proved: the setM of the computable functions, bounded by any given function, is recursively enumerable if and only ifM is finite.

---

---

Lavoro effettuato nell'ambito dell'attività svolta dal gruppo di logica matematica del C.N.R.