dimostrabile
dimostràbile [Der. di dimostrare: → dimostrazione] [FAF] Detto di un'espressione in un sistema formale T se esiste una sua dimostrazione in T; allora l'espressione costituisce un teorema [...] di T ...
Leggi Tutto
Bott Raoul H.
Bott 〈bòt〉 Raoul H. [STF] (n. Budapest 1923, nat. SUA) Prof. di matematica nell'univ. del Michigan (1959) e poi nella Harvard Univ. (1977). ◆ [ANM] Teorema di periodicità di B.: v. algebre [...] di operatori: I 96 c ...
Leggi Tutto
Siegert Arnold John Frederick
Siegert 〈sìig✄ërt〉 Arnold John Frederick [STF] (n. Dresda 1911, nat. SUA) Prof. di fisica nella North Western Univ. a Evanston, Illinois (1947). ◆ [FNC] Teorema di S.: v. [...] raggi gamma: IV 731 c ...
Leggi Tutto
Talete di Mileto
Talète di Miléto [STF] (n. 624/23 - m. 548/45 a.C.) Filosofo e scienziato sulla cui vita si hanno poche e incerte notizie. ◆ [ALG] Teorema di T.: se un fascio di rette parallele è intersecato [...] da due rette a esso trasversali, coppie di segmenti corrispondentisi sono tra loro in proporzione (v. fig.), in partic., a segmenti uguali su una delle trasversali corrispondono segmenti uguali sull'altra ...
Leggi Tutto
Betti Enrico
Bétti Enrico [STF] (Pistoia 1823 - Soiana, Pisa, 1892) Prof. di matematica nell'univ. di Pisa (1857). ◆ [ALG] Gruppo di B. e numeri di B.: → omologia. ◆ [MCC] Teorema di B.: dimostrato da [...] B. nel 1878, enuncia il principio di reciprocità della teoria matematica dell'elasticità; date due diverse deformazioni di un corpo elastico, prodotte da due corrispondenti sistemi di forze esterne, il ...
Leggi Tutto
Glimm James Gilbert
Glimm 〈g✄lim〉 James Gilbert [STF] (n. Peoria, Illinois, 1934) Prof. di matematica nel MIT (1960) e poi nella Rockfeller Univ. di New York (1974). ◆ [ANM] Teorema di G.: v. algebre [...] di operatori: I 95 f ...
Leggi Tutto
Longo Roberto
Lóngo Roberto [STF] (n. Roma 1953) Prof. di analisi matematica nell'univ. "La Sapienza" di Roma (1980), poi nell'univ. "Tor Vergata", sempre di Roma (1987). ◆ [ANM] Teorema di L.-Popa: [...] afferma che per C∗-algebre A separabili una sottoalgebra che separa gli stati fattoriali di A coincide con A ...
Leggi Tutto
Noether Amalie Emmy
Noether 〈nö´öter〉 Amalie Emmy [STF] (Erlangen 1882 - Bryn Mawr, Pennsylvania, 1935) Prof. di matematica nell'univ. di Gottinga (1922) e poi in quella di Bryn Mawr (1933). ◆ [ALG] [...] [MCC] Teorema di N.: mette in relazione le simmetrie della lagrangiana di un sistema con le sue quantità conservate: v. moto, costanti del: IV 124 f. Tale teorema, enunciato, nel 1918, ha un ruolo cruciale nella moderna teoria dei campi. ...
Leggi Tutto
Sakai Shoichiro
Sakai 〈sakài〉 Shoichiro [STF] (n. in Giappone 1928, nat. SUA) Prof. di matematica nell'univ. della Pennsylvania, a Filadelfia (1969). ◆ [ANM] Caratterizzazione di S.: v. algebre di operatori: [...] I 98 a. ◆ [ANM] Teorema della derivazione di Kadison-S.: v. algebre di operatori: I 98 b. ◆ [ALG] Teorema di S.-Anderson-Bunce: v. algebre di operatori: I 95 d. ...
Leggi Tutto
Cetaev Nikolaj Gur'yevich
Cetaev 〈citaiòf〉 Nikolaj Gur'yevich [STF] (Karaduli, Kazan, 1902 - Mosca 1959) Prof. di meccanica razionale nell'univ. di Kazan (1930) e poi di Mosca (1940). ◆ [MCC] Teorema [...] di C. (1934): v. stabilità del moto: V 579 e ...
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...