In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] naturali (per le variabili individuali di T), dalla costante ‘zero’ (per il simbolo non logico 0), dalla funzione ‘successore’ (per il simbolo non logico s), dalle operazioni di addizione e moltiplicazione ordinarie (rispettivamente per i simboli non ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] spesso, recorsive). Queste si definiscono a partire da 3 funzioni iniziali mediante 3 regole. Le funzioni iniziali sono: la funzione zero z(x) = 0, la funzionesuccessore s(x) = x+1 (simbolo x′), la funzione selezione i(x1, …, xn) = xk(1≤k≤n). Le ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] cui argomenti sono variabili, oppure 0; ad esempio s=f(g(x, y′), h(z′, 0, x)). Di questi simboli funzionali solo ′ ha un significato preassegnato, poiché denota la funzionesuccessore', che a x fa corrispondere x′=x+1.
Un altro modo di introdurre le ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] struttura dei numeri naturali in modo univoco, e scoprì che una struttura ordinata con un primo elemento e una funzionesuccessore è indistinguibile dai (in termini tecnici, isomorfa ai) numeri numerali se soddisfa il 'principio del minimo', cioè se ...
Leggi Tutto
Diritto
Diritto privato
Fenomeno squisitamente giuridico per il quale un soggetto subentra ad altro soggetto in un complesso di rapporti giuridici patrimoniali ovvero in un rapporto giuridico patrimoniale [...] estingue; di cessione, ossia trasferimento allo Stato successore di una parte del territorio dello Stato predecessore ν tale che per ogni n>ν è ||an–a||<ε; tra le funzioni integrabili in D per le quali la norma è ∫D ∣f(x)∣dx tale convergenza ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] è quella di «successore»; si dirà allora: 1) zero appartiene a N; 2) se n appartiene a N, anche il successore di n deve appartenere da n e dal valore della funzione per n, utilizzando, se del caso, anche altre funzioni già note.
L’i. forte ...
Leggi Tutto
zero Primo numero della successione naturale 0, 1, 2, 3 ecc., unico numero naturale che non sia il successore di un altro; come numero cardinale indica la mancanza di ogni unità, cioè il numero cardinale [...] prodotto di due elementi qualunque sia sempre zero.
La parola z. è anche usata nel senso di punto di annullamento (uno z. di una funzione f(x) è un qualsiasi valore x̄ della x per il quale f(x̄)=0). Z. di un polinomio è ogni sua radice; molteplicità ...
Leggi Tutto
GRAFO
Francesco Speranza
. Con linguaggio informale, si può dire che un g. è formato da certe entità (vertici) e da certi collegamenti fra queste (spigoli o archi): s'intende che ciascuno spigolo collega [...] (se esso è orientato da a a b diremo che b è un successore di a). Abbiamo parlato di "struttura di g." (invece che di "
le quali permettono di considerare l'insieme dei vertici del g., con la funzione d, uno "spazio metrico" (App. II, 11, p. 874). ...
Leggi Tutto
PEANO, Giuseppe
Clara Silvia Roero
PEANO, Giuseppe. – Nacque a Spinetta, nei pressi di Cuneo, il 27 agosto 1858, secondogenito di Bartolomeo e di Rosa Cavallo, proprietari terrieri.
Frequentò le scuole [...] la dimostrazione di un teorema sulle derivate parziali di una funzione di due variabili, su cui si erano cimentati Paul Mansion aver assunto i concetti primitivi di zero, numero e successore, enunciò gli assiomi per l’aritmetica, ancor oggi ...
Leggi Tutto
successore
successóre s. m. [dal lat. successor -oris, der. di succedĕre «venire dopo, sottentrare» (supino successum)]. – 1. (f. succeditrice, ma la forma è per lo più evitata) Chi succede, cioè subentra a un altro in una carica, in un ufficio,...
zero
żèro agg. e s. m. [dal lat. mediev. zèphyrum, adattam. (Leonardo Fibonacci nel Liber abbaci, 1202) dell’arabo ṣifr «nulla, zero», calco del sanscr. śūnyá «vuoto» e poi «zero» (v. anche cifra)]. – 1. a. Primo numero della successione naturale...