funzione ricorsiva primitiva
funzione ricorsiva primitiva in logica, → funzione ricorsiva ottenuta a partire dalle funzioni base applicando solo gli schemi della composizione e della ricorsione. Esempi di funzioni primitive sono l’addizione, la moltiplicazione, l’elevazione a potenza con esponente naturale, il fattoriale e molte fra le funzioni solitamente utilizzate. Esistono tuttavia delle funzioni ricorsive che non sono ricorsive primitive: è il caso della funzione di → Ackermann.