Funzione ricorsiva: differenze tra le versioni

Nella [[logica matematica]] e nell'[[informatica]], le '''funzioni ricorsive''' sono una [[Classe (insiemistica)|classe]] di [[Funzione (matematica)|funzioni]] dai [[numero naturale|numeri naturali]] ai [[numero naturale|numeri naturali]] che sono "calcolabili" in un qualche senso intuitivo. Infatti nella [[teoria della calcolabilità]] si mostra che le funzioni ricorsive corrispondono precisamente a quelle funzioni che possono essere calcolate tramite una [[macchina di Turing]].