funzionericorsivafunzionericorsiva in logica, funzione aritmetica, cioè di dominio e codominio N, definita a partire da alcune funzioni base e attraverso alcune regole costruttive che ne garantiscono [...] più funzioniricorsive. Così, se g e h sono due funzioniricorsive, anche
è una funzionericorsiva. Più precisamente, se g è una funzionericorsiva di m argomenti (funzione m-aria) e h1 h2, ..., hm sono m funzioniricorsive n arie, la funzione
è ...
Leggi Tutto
funzionericorsiva parziale
funzionericorsiva parziale in logica, → funzionericorsiva non definita per qualche numero naturale. Per esempio, la funzione D(x, y) che associa a ogni coppia di numeri [...] caso in cui il resto sia uguale a zero (tale per cui, per esempio, D(6, 3) = 2, D(12, 4) = 3), tuttavia è una funzionericorsiva parziale in quanto non è definita per la coppia (7, 4) perché il resto della divisione di 7 per 4 è diverso da zero. Non ...
Leggi Tutto
funzionericorsiva generale
funzionericorsiva generale o funzionericorsiva totale, in logica, → funzionericorsiva definita per ogni numero naturale (o ennupla di numeri naturali nel caso di funzioni [...] ). Se ci sono numeri naturali per i quali la funzione non è definita, essa è detta funzionericorsiva parziale. Funzioniricorsive come l’addizione e la moltiplicazione sono ricorsive totali perché associano a ogni coppia di numeri naturali x ...
Leggi Tutto
funzionericorsiva primitiva
funzionericorsiva primitiva in logica, → funzionericorsiva ottenuta a partire dalle funzioni base applicando solo gli schemi della composizione e della ricorsione. Esempi [...] 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 funzioniricorsive che non sono ricorsive primitive: è il caso della ...
Leggi Tutto
Ackermann, funzione di
Ackermann, funzione di esempio di → funzionericorsiva che non è ricorsiva primitiva (→ funzionericorsiva primitiva). Hilbert formulò l’ipotesi che ogni funzione calcolabile fosse [...] è ottenibile soltanto per composizione e ricorsione di funzioni di base. Per definirla si deve ricorrere a un procedimento basato sull’applicazione di un operatore di → minimalizzazione, che data una funzionericorsiva in n + 1 variabili permette di ...
Leggi Tutto
ricorsivo
agg. [der. di ricorrere]. – In matematica e in logica matematica, sinon. di ricorrente (nel sign. 3 c); in partic., nella teoria della ricorsività, funzioni r. primitive, quelle che si possono ottenere dalle funzioni iniziali mediante...
piazza
s. f. [lat. platĕa «via larga, piazza» (dal gr. πλατεῖα, propriam. femm. di πλατύς «largo»); cfr. platea, che risale a una variante lat. platēa con e lunga]. – 1. a. Area libera, più o meno spaziosa, di forma quadrata, rettangolare,...