Hodge Sir William Vallance Douglas
Hodge 〈hògë〉 Sir William Vallance Douglas [STF] (Edimburgo 1903 - Cambridge 1975) Prof. di matematica nell'univ. di Cambridge (1936). ◆ [ALG] Complesso e operatore [...] ] Dualità di H.: v. varietà riemanniane: VI 505 c. ◆ [PRB] Laplaciano di H.-De Rahm: v. geometria differenziale stocastica: III 39 c. ◆ [ALG] Operatore di H.: v. operatori, indici di: IV 300 e. ◆ [ALG] Teorema di H.: v. forme differenziali: II 689 e. ...
Leggi Tutto
soft
soft 〈sòft〉 [LSF] Agg. ingl. usato talora anche nel linguaggio della fisica in luogo degli equivalenti it. morbido, molle e simili, spec. per indicare enti di relativ. piccola energia: per es., [...] morbido: v. intelligenza artificiale: sviluppi recenti: VI 641 b. ◆ [FSN] S. pion theorem 〈sòft pàion tíorem〉: locuz. ingl. per teorema dei pioni a impulso piccolo (un pione ideale siffatto è detto soft pion): v. corrente nella teoria dei campi: I ...
Leggi Tutto
vis mortua, vis viva
vis mortua 〈mòrtua〉, vis viva [STF] [MCC] Locuz. con cui furono chiamate inizialmente (ai tempi di Galilei e di Newton), nella trattatistica in latino che era allora prevalente, [...] ., inerzia ed energia cinetica; queste due locuz. latine non sono più in uso da tempo, ma mentre la prima si è persa completamente, della seconda è ancora in uso l'equivalente forma it. forza viva, per es. nell'espressione teorema delle forze vive. ...
Leggi Tutto
SIMMETRIA (XXXI, p. 804)
Raffaele Raul GATTO
Fisica (XXXI, p. 807). - L'applicazione del concetto di s. allo studio dei fenomeni fisici si è rivelato sempre più utile ed importante, particolarmente nell'ambito [...] tempo) esiste invarianza sotto l'operazione CPT, consistente nell'eseguire una dopo l'altra le tre operazioni C, P e T. Questo teorema basta fra l'altro a stabilire che la massa e la vita media di una particella devono essere uguali a quelle della ...
Leggi Tutto
Von Neumann Johann Ludwig
Von Neumann (o von Neumann) 〈fòn nòüman〉 Johann Ludwig [STF] (Budapest 1903, nat. SUA - Washington 1957) Prof. di matematica nell'univ. di Princeton (1930), poi membro dell'Institute [...] misura secondo V.: v. misura in meccanica quantistica, teoria della: IV 8 e. ◆ [ALG] Teorema di densità di V.: v. algebre di operatori: I 98 c. ◆ [ALG] Teorema di unicità di V.: v. rappresentazioni delle relazioni di commutazione canoniche: IV 750 c ...
Leggi Tutto
Materia, stabilità della
Walter Thirring
sommario: 1. Introduzione storica. 2. Argomenti euristici. 3. La dimostrazione. 4. Conseguenze. a) Stabilità relativistica. b) L'esistenza di dinamiche locali. [...] , ..., ZM) di aTF + bTF + cTF + dTF al variare di ρ. In questo modello la stabilità diventa banale in conseguenza del seguente teorema enunciato da E. Teller e dimostrato da Lieb e Simon (v., 1977):
ETF (Z1, ..., ZM) ≥ ETF (Z1, ..., 0) +
+ ETF (0, Z2 ...
Leggi Tutto
Waring Edward
Waring 〈uèërin〉 Edward [STF] (Shrewsbury 1734 - ivi 1798) Prof. nell'univ. di Cambridge (1770). ◆ [ALG] Formule di W.: formule che permettono di esprimere xn+yn secondo le quantità x+y [...] y); x4+y4=(x+ y)4-4xy(x+y)2+2(xy)2. ◆ [ALG] Problema di W.: consiste nel trovare la dimostrazione del seguente teorema, che W. enunciò, senza dimostrarlo, nel 1770: "Per ogni numero intero n≥2 esiste un numero intero r, dipendente solo da n, tale che ...
Leggi Tutto
portanza
portanza [Der. di portare] [MCC] La capacità che ha una struttura di sostenere un carico verticale; anche, il valore massimo di tale carico. ◆ [MCF] La forza verticale (anche forza di p.) che [...] , prodotto del volume di questo per la p. statica specifica del gas sostentatore, che è la differenza di densità tra il gas e l'aria circostante. ◆ [MCF] Teorema della p.: lo stesso che teorema di Kutta-ZŠukovskij: v. aerodinamica subsonica: I 68 b. ...
Leggi Tutto
sintassi
sintassi [Der. del gr. sy´ntaxis "organizzazione", comp. di sy´n "insieme" e táxis "sistemazione"] [ALG] [FAF] Nella logica matematica, lo studio delle proprietà e delle relazioni formali di [...] sui simb. e sulle formule stesse (calcolo logico); in partic., rientrano nella s. i concetti di dimostrazione e di teorema, in quanto le regole per essi prescindono da casi o signif. specifici. ◆ [ELT] [INF] Nella tecnica dei calcolatori elettronici ...
Leggi Tutto
inferenza
inferènza [Der. del lat. inferentia, dal part. pres. inferens -entis di inferre "concludere", comp. di in- e ferre "portare"] [FAF] Ogni forma di deduzione con cui si dimostri il logico conseguire [...] ) richiede l'esame di informazioni a priori, che sono modificate dai dati in questione attraverso un'applicazione ripetuta del teorema di Bayes, portando infine a una nuova rappresentazione della realtà: v. statistica: V 589 b e, per es., biometria ...
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...