deduzione
deduzióne [Der. del lat. deductio -onis, da deducere "dedurre", comp. di de- "da" e ducere "trarre"] [LSF] Una proposizione, la verità o il giudizio che si deduce, con il metodo deduttivo, [...] una certa espressione da un dato assioma attraverso un numero finito di altre espressioni, tutte facenti parte dello stesso sistema. ◆ [ALG] [FAF] Teorema di d., o di Herbrand-Tarski (1930): da una certa premessa A di un certo insieme I di premesse è ...
Leggi Tutto
Onsager Lars
Onsager 〈ònsag✄ër〉 Lars [STF] (Oslo 1903 - Coral Gables, Florida, 1976) Prof. di chimica teorica nella Yale Univ. (1945); ha ricevuto nel 1968 il premio Nobel per la chimica per le sue ricerche [...] VI 154 e. ◆ [MCS] Soluzione di O. del modello di Ising: v. modelli risolubili in meccanica statistica: IV 66 f. ◆ [TRM] Teorema di O.: l'insieme delle relazioni di reciprocità di O. (v. sopra). ◆ [TRM] Teoria di O.: v. termodinamica dei processi: VI ...
Leggi Tutto
Poincare Jules-Henri
Poincaré 〈puenkaré〉 Jules-Henri [STF] (Nancy 1854 - Parigi 1912) Prof. (1881) di fisica matematica, e poi di calcolo matematico, astronomia matematica e meccanica celeste nell'univ. [...] , teoria degli: III 287 b. ◆ [ALG] Simmetrie di P.: invarianze rispetto all'azione del gruppo di Poincaré. ◆ [MCC] Teorema di P. dell'impossibilità: v. perturbazioni in meccanica classica: IV 498 f. ◆ [ALG] Trasformazioni di P.: quelle che compongono ...
Leggi Tutto
Cartan Elie
Cartan 〈kartàn〉 Elie [STF] (Dolomieu 1869 - Parigi 1951) Prof. di geometria superiore nell'univ. di Parigi (1909); socio straniero dei Lincei (1927). ◆ [ALG] Algebra di C.: data un'algebra [...] Lie: III 115 d. ◆ [ALG] Sviluppo di C.: costruzione che fornisce una biiezione fra particolari insiemi di curve lisce: v. geometria differenziale stocastica: III 37 f. ◆ [PRB] Teorema di C.-Hadamard: v. geometria differenziale stocastica: III 35 f. ...
Leggi Tutto
energia
energìa [Der. del lat. energia, dal gr. enérgeia, da érgon "lavoro"] [LSF] Capacità che un corpo o un sistema di corpi ha di compiere lavoro, sia come e. in atto, cioè che opera nel processo [...] che favorì la nascita della meccanica statistica quantistica, fu messa in luce grazie all'impossibilità di applicare questo teorema ad alcuni esempi di notevole interesse fisico: v. meccanica statistica: III 733 e. ◆ [FME] Trasferimento lineare di e ...
Leggi Tutto
Hilbert, David
Hilbert ⟨hìlbërt⟩ David [STF] (Königsberg 1862 - Gottinga 1943) Prof. di matematica nell'univ. di Gottinga (1895); socio straniero dei Lincei (1903). ◆ Azione di H.-Einstein: v. gravità [...] essa ogni ricorso all’“evidenza intuitiva” nelle dimostrazioni. ◆ Programma di H.: il sistema dei postulati di H. (v. sopra): v. Gödel, teorema di: III 53 d. ◆ Sottospazio di H.: data una base B di uno spazio di H., è lo spazio vettoriale generato da ...
Leggi Tutto
Poynting John Henry
Poynting 〈pòintin〉 John Henry [STF] (Monton 1852 - Birmingham 1914) Prof. di fisica nell'univ. di Birmingham (1880) e poi di Cambridge (1900); socio straniero dei Lincei (1910). ◆ [...] granulo nel sistema di riferimento del Sole e determina una forza lungo la traiettoria in verso opposto al moto. ◆ [EMG] Teorema di P.: l'energia scambiata nell'unità di tempo da un volumetto di campo elettromagnetico è pari all'integrale del vettore ...
Leggi Tutto
Hamilton Sir William Rowan
Hamilton 〈hèmiltën〉 Sir William Rowan [STF] (Dublino 1805 - ivi 1865) Prof. di astronomia nell'univ. di Dublino e astronomo reale d'Irlanda (1827). ◆ [MCC] Condizione di H.-Jacobi: [...] : III 683 c. ◆ [MCC] Operatore di H.: → hamiltoniano. ◆ [MCC] Principio di H. e principio generalizzato di H.: v. meccanica classica: III 683 a. ◆ [ALG] Quaternioni di H.: v. gruppi classici: III 110 e. ◆ [ALG] Teorema di Cayley-H.: → Cayley, Arthur. ...
Leggi Tutto
Erone
Eróne [gr. Hèron] [STF] (n. Alessandria 3° sec. d.C.; secondo altri 2° e anche 1° sec. d.C.) Filosofo, matematico e grande tecnico (ebbe l'epiteto di ó mechanikós). ◆ [STF] [TRM] Eolipila di E.: [...] da questo principio, anticipatore del principio variazionale di Fermat, E. trasse varie interessanti conseguenze: v. ottica, storia dell': IV 416 d. ◆ [ALG] Teorema di E.: dati in un piano una retta r e due punti P e Q dalla stessa banda di r (v. fig ...
Leggi Tutto
Abel Niels Henrik
Abel 〈àabel〉 Niels Henrik [STF](Findö 1802 - Froland 1829) Matematico norvegese. ◆ [ANM] Condizione, o criterio, di convergenza di A.: (a) se Σnan converge e bn è una successione monotona [...] studio del moto di un corpo che cade in un campo gravitazionale. ◆ [ANM] Somma alla A.: v. trasformazione integrale: VI 297 e. ◆ [ANM] Sommabilità alla A.: v. analisi armonica: I 126 d. ◆ [ANM] Teorema di A.: v. Riemann, superfici di: V 6 a. ◆ [ANM ...
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...