Discussioni su argomenti di Informatica
18/01/2024, 11:42
Ciao a tutti, avrei bisogno di un aiuto per risolvere questo esercizio, nel contesto dei fondamenti teorici dell'informatica (in particolare, sto studiando la calcolabilità e i teoremi di ricorsione):
Si mostri che esiste $ nu in \mathbb{N} $ tale che
$ varphi _nu(y) = 2^y $ se $ y<=nu $
$ varphi _nu(y) = 5 $ se $ y>nu $
dove $ varphi _nu $ è la $ nu $-esima funzione calcolabile (dato un qualunque ordinamento aritmetico delle funzioni calcolabili).
Grazie per l'attenzione!
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.