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
Tarski Alfred
Tarski 〈tàrski〉 Alfred [STF] (Varsavia 1901, nat. SUA - Oakland 1983) Prof. di teoria degli insiemi nell'univ. di Varsavia (1925), poi di matematica nella Harvard Univ. (1939) e infine [...] nell'univ. della California di Berkeley (1945). ◆ [ALG] Teorema di T.: v. Gödel, teorema di: III 56 b. ...
Leggi Tutto
In fisica, termine, introdotto da R.J.E. Clausius, per indicare la quantità
Π = Σn1iri ∙ Fi, dove ri è il raggio vettore
del generico punto di un sistema materiale e Fi la forza agente su di esso. Teorema [...] finita dello spazio con velocità finite (di modo che la media del termine contenuto nella parentesi quadra tenda a zero) si ha (teorema del v.) 2E̅c=−Π̅, dove la sopralineatura indica la media temporale. Se le forze agenti sui punti del sistema sono ...
Leggi Tutto
Puiseux Victor-Alexandre
Puiseux 〈püisö´〉 Victor-Alexandre [STF] (Argenteuil 1820 - Fontenay 1883) Prof. di matematica e astronomia nell'École normale (1847) e poi alla Sorbona di Parigi. ◆ [ANM] Sviluppo [...] in serie di P. e teorema di P.: v. curve e superfici: II 76 b. ...
Leggi Tutto
Menabrea Luigi Federico
Menabrèa Luigi Federico [STF] (Chambéry 1809 - ivi 1896) Uomo politico, scienziato e generale, fu prof. di geometria descrittiva, meccanica e scienza delle costruzioni nell'Accademia [...] militare di Torino (1839-48). ◆ [MCC] Teorema di M.: la distribuzione delle tensioni interne e delle reazioni di vincolo di un corpo elastico in equilibrio è quella che rende il lavoro di deformazione minimo, compatibilmente con le forze esterne date ...
Leggi Tutto
Dini Ulisse
Dini Ulisse [STF] (Pisa 1845 - ivi 1918) Prof. nell'univ. di Pisa di geodesia (1865) e poi di analisi matematiche (1874), anche direttore della Scuola normale (1874-76) e (1900-1918). ◆ [ANM] [...] Teorema di D.: afferma che se una successione non decrescente di funzioni fn(x) converge in un intervallo chiuso [a, b] alla funzione f(x), tale convergenza è anche uniforme. ...
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...