De Giorgi Ennio
Dé Giòrgi Ennio [STF] (n. Lecce 1928) Prof. di analisi matematica nella Scuola Normale di Pisa (1958). ◆ [ANM] Teorema di D.: afferma una forma di continuità per alcune funzioni a quadrato [...] sommabile: v. variazioni, calcolo delle: VI 468 a ...
Leggi Tutto
Egorov Dmitrij Fedorovich
Egorov 〈iigòrëf〉 Dmitrij Fëdorovich [STF] (Mosca 1869 - Kazan' 1931) Prof. di matematica nell'univ. di Mosca (1903). ◆ [ANM] Teorema di E.-Severini: una successione di funzioni [...] di variabile reale quasi continue in un insieme I di misura finita e convergente quasi ovunque in I è quasi uniformemente convergente in I ...
Leggi Tutto
Mil'man David Pinkhasovic
Mil'man (o Milman) 〈mìlman〉 David Pinkhasovič [STF] (n. 1913) Prof. di matematica nell'univ. di Mosca. ◆ [ANM] Teorema di Krein-M.: → Krein, Mark Grigorjevič. ...
Leggi Tutto
Gorini Vittorio
Gorini Vittorio [STF] (n. Roma 1940) Prof. di metodi matematici per la fisica nell'univ. di Milano (1987). ◆ [ANM] [MCQ] Teorema di G.-Kossakowski-Sudarshan-Lindblad: v. semigruppi dinamici [...] quantistici: V 165 d ...
Leggi Tutto
Paley Hiram
Paley 〈pèili〉 Hiram [STF] (n. Rochester, New York, 1933) Prof. di matematica nell'univ. dell'Illinois, a Urbana (1966). ◆ [ANM] Teorema di P.-Wiener: riguarda la trasformata di Fourier di [...] distribuzioni a supporto compatto: v. analisi armonica: I 128 e ...
Leggi Tutto
Pringsheim Alfred
Pringsheim 〈prìns'aim〉 Alfred [STF] (Ohlau 1850 - Zurigo 1941) Prof. di matematica nell'univ. di Monaco di Baviera (1901). ◆ [ANM] Teorema di Vivanti-P.: afferma l'esistenza di punti [...] singolari sulla circonferenza di convergenza di una funzione analitica ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] ); L(A3)=L(A1)∩L(A2); L(A3)=∉L(A1).
Due automi che accettano lo stesso linguaggio si dicono equivalenti. Una conseguenza del precedente teorema è che si può costruire un automa A4 che riconosce il linguaggio L(A4)=(L(A1)∩⌝L(A2))∪(⌝L(A1)∩L(A2)), e si ...
Leggi Tutto
Severini Carlo
Severini Carlo [STF] (Arcevia 1872 - Pesaro 1951) Prof. di analisi nell'univ. di Catania (1906) e poi di Genova (1916). ◆ [ANM] Teorema di S.-Egorov: → Egorov, Dmitrij Fedorovič. ...
Leggi Tutto
Hartogs Friedrich
Hartogs 〈hàrtoks〉 Friedrich [STF] (Bruxelles 1874 - Monaco di Baviera 1933) Prof. di matematica nell'univ. di Monaco di Baviera (1927). ◆ [ANM] Teorema di prolungamento di H.: v. funzioni [...] di più` variabili complesse: II 773 a ...
Leggi Tutto
Takesaki Masamichi
Takesaki Masamichi [STF] (n. Sendai, Giappone, 1933, nat. SUA) Prof. di matematica nell'univ. della California, a Los Angeles (1970). ◆ [ANM] Teorema di T.: v. algebre di operatori: [...] I 99 d. ◆ [ANM] Teoria di Tomita-T.: v. algebre di operatori: I 99 b ...
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...