Levinson Lorne Joel
Levinson 〈livinsn〉 Lorne Joel [STF] (n. Winnipeg, Canada) Fisico allo SLAC della Stanford Univ. (1978). [ELT] Ricursione di L.: v. segnali, elaborazione numerica dei: V 136 f. ◆ [MCQ] [...] Teorema di L.: v. diffusione da potenziale: II 150 a. ...
Leggi Tutto
Bayes Thomas
Bayes 〈bèis〉 Thomas [STF] (Londra 1702 - Turnbridge Wells 1761) Matematico, membro della Royal Society. ◆ [PRB] Equazione, o formula, di B.: formula concernente il calcolo delle probabilità [...] condizionate, detta anche teorema di B.: v. probabilità classica: IV 582 f. ◆ [PRB] Stima di B.: la stima ottenuta con il metodo della probabilità a posteriori (per es., v. immagini, elaborazione di: III 170 f). ...
Leggi Tutto
Lindenbaum Adolf
Lindenbaum 〈lìndënbaum〉 Adolf [STF] (Varsavia 1904 - m. in un campo di concentramento nazista, forse nel 1942). ◆ [ALG] Algebre di L.: algebre associabili a vari tipi di sistemi formali. [...] ◆ [ALG] Teorema, o lemma, di L.: afferma che ogni teoria non contraddittoria ammette un'estensione nello stesso linguaggio non contraddittoria e completa. ...
Leggi Tutto
Buckingham Edgar
Buckingham 〈bèkinghëm〉 Edgar [STF] (Filadelfia 1867 - Washington 1940) Fisico del National Bureau of Standards (1906). ◆ [FAT] Potenziale di B.: espressione per l'energia potenziale [...] di due atomi: v. cristalli molecolari: II 35 e. ◆ [MCC] Teorema π o di B.: uno dei teoremi fondamentali della teoria della similitudine: v. dimensionale, analisi: II 173 f. ◆ [MCC] Teorema ✄ o di B.-Vaschy: v. similitudine meccanica: V 192 a. ...
Leggi Tutto
Doob Joseph Leo
Doob 〈dóub〉 Joseph Leo [STF] (n. Cincinnati, Ohio, 1910) Prof. di matematica nell'univ. del-l'Illinois, a Urbana (1945). ◆ [ANM] Criterio di misurabilità di D.: v. misura e integrazione: [...] IV 3 b. ◆ [PRB] Teorema di decomposizione di D.-Meyer: v. processi di punto: IV 601 b. ◆ [PRB] Teorema di D.-May: v. probabilità classica: IV 591 a. ...
Leggi Tutto
Levi Eugenio Elia
Lèvi Eugenio Elia (fratello di Beppo) [STF] (Torino 1883 - m. in guerra 1917) Prof. di matematica nell'univ. di Genova (1909). ◆ [ANM] Invariante, o forma, di L., problema e teorema [...] di L.: v. funzioni di più` variabili complesse: II 773 c, d ...
Leggi Tutto
correttezza
correttézza [Der. di corretto "l'essere esente da errore", dal part. pass. correctus del lat. corrigere "correggere"] [FAF] La proprietà di una teoria formalizzata (un calcolo logico, una [...] particolare teoria deduttiva: per es., la teoria dei gruppi, ecc.) per cui ogni teorema dimostrato nella teoria risulta effettivamente verificato in tutti i modelli della teoria stessa (nell'esempio precedente, in tutti i casi concreti di gruppi). ◆ ...
Leggi Tutto
Brouwer Luitzen Egbertus Jan
Brouwer 〈bràuër〉 Luitzen Egbertus Jan [STF] (Overschie, Olanda, 1881 - m. 1966) Prof. di matematica nell'univ. di Amsterdam (1951). ◆ [ALG] Grado topologico di B.: v. analisi [...] di un insieme I (sottinsieme di uno spazio euclideo) in sé stesso, esiste un punto P∈I "fisso" per f, cioè tale che f(P)=P. Il teorema di B. è suscettibile di numerose generalizzazioni: v. analisi non lineare: I 143 c e funzionale, analisi: II 771 f. ...
Leggi Tutto
Cramer Carl Harald
Cramér 〈kramër〉 Carl Harald [STF] (Stoccolma 1893 - ivi 1985) [STF] Prof. di statistica nell'univ. di Stoccolma (1929). ◆ [PRB] Disuguaglianza di C.-Rao: v. statistica: V 589 f. ◆ [...] [PRB] Teorema di C.-Levy: se una variabile aleatoria normale è la somma di due variabili aleatorie indipendenti, anche queste sono di tipo normale. ...
Leggi Tutto
transfer
trànsfer [Lettura it. di un s.ingl. "trasferimento", dal v. to transfer 〈trènsfëë〉 "trasferire", che è dal lat. transferre, comp. di trans "oltre" e ferre "portare"] [ALG] [FAF] Principio del [...] t.: importante teorema della logica matematica: v. analisi non standard: I 147 d. ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...