Una nota sulle funzioni ricorsive |
| |
Authors: | Pantaleo Aloisio |
| |
Institution: | (1) Istituto di Fisica Teorica, Università di Napoli, Napoli, Italia |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|