La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] si trova nell'area frontale dell'ipotalamo, il centro che regola i cicli di sonno e veglia nell'uomo.
1973
Il teorema del passo montano. Esce l'articolo Dual variational methods in critical point theory and applications, in cui Antonio Ambrosetti e ...
Leggi Tutto
Matematico nederlandese (Rotterdam 1920 - Heteren, Paesi Bassi, 1994). Prof. all'univ. di Amsterdam (dal 1962), direttore (dal 1971) dell'Institut des hautes études scientifiques di Bures-sur-Yvette. Apportò [...] matematica e a varie applicazioni alle scienze sperimentali. Noto anche per aver dimostrato il teorema che porta il suo nome e contribuito alla soluzione del teorema di Nash inserito in uno spazio euclideo. Tra le opere: Linear algebra and geometry ...
Leggi Tutto
SEVERINI, Carlo
Matematico, nato ad Arcevia (Ancona) il 10 aprile 1872, morto a Pesaro l'11 maggio 1951. Fu professore di analisi infinitesimale all'università di Catania (dal 1906) e di Genova (1916-1942).
Con [...] alla teoria delle funzioni di variabile reale, delle equazioni differenziali e integrali, delle funzioni analitiche, dei gruppi continui finiti. Il suo nome è in particolare legato ad un celebre teorema sulle successioni di funzioni quasi continue ...
Leggi Tutto
corrispondente
corrispondènte [agg. Der. del part. pres. correspondens -entis del lat. mediev. correspondere "essere conforme", comp. di cum "con" e respondere] [LSF] Di ente che è in corrispondenza [...] denomin. di certe coppie di angoli formate da una retta che taglia rette parallele: → angolo: A. piano. ◆ [FML] Legge, o principio, o teorema, degli stati c.: afferma che i gas con gli stessi valori dei parametri ridotti pR (pari a p/pc, dove p è la ...
Leggi Tutto
{{{1}}}
Matematico italiano (Torino 1736 - Parigi 1813), di famiglia d'origine francese. Indirizzato dal padre verso gli studî legali, si iscrisse a quattordici anni all'univ. di Torino, iniziando anche [...] le successive ricerche fino a P. Ruffini, A.-L. Cauchy, E. Galois (in questa memoria si trova formulato il teorema di L. sull'ordine dei sottogruppi di un gruppo finito). Pubblicò anche una fondamentale memoria sulle equazioni alle differenze finite ...
Leggi Tutto
Gel'fand Izrail' Moiseevich
Gel'fand (anche Gelfand) 〈gÝèlfant〉 Izrail' Moiseevich [STF] (n. Krasnye Okny, Odessa, 1913) Prof. nell'univ. di Mosca (1931); socio straniero dei Lincei (1989). ◆ [ALG] Algebra [...] di G. o di G.-Dikii: v. hamiltoniani, sistemi infinito-dimensionali: III 145 e. ◆ [ANM] Teorema di G.-Naimark: v. algebre di operatori: I 95 a. ◆ [ANM] Teorema di ricostruzione di G.-Neumark-Segal: v. rappresentazioni delle relazioni di commutazione ...
Leggi Tutto
Ornstein Donald Samuel
Ornstein 〈òrnstain〉 Donald Samuel [STF] (n. New York 1934) Prof. di matematica pura nell'univ. di Stanford (1960). ◆ [FML] Equazione, o legge, di O. e Zernike: riguarda le correlazioni [...] : v. liquidi molecolari: III 433 b. ◆ [PRB] Operatore di O.-Uhlenbeck: v. diffusione, teoria della: II 171 d. ◆ [PRB] Processo di O.-Uhlenbeck: v. limite centrale, teorema del: III 417 f. ◆ [PRB] Teorema di O.: v. entropia e informazione: II 430 d. ...
Leggi Tutto
indecidibile
indecidìbile [Comp. di in- neg. e decidibile "che non può essere deciso"] [ALG] [FAF] Teoria i.: quella per la quale non esiste nessun algoritmo mediante il quale sia possibile decidere [...] in un numero finito di passi, per ogni proposizione formulabile in essa, se sia vera o falsa; è tale, per es., l'intera aritmetica (v. Gödel, teorema di: III 53 c). ...
Leggi Tutto
PROGRAMMAZIONE NON LINEARE
Amato Herzel
(App. IV, III, p. 70)
Sia nel campo metodologico, sia in quello computazionale, si sono registrati negli ultimi tempi notevoli progressi. Ci si limiterà qui a [...] , in un intorno sufficientemente piccolo di un punto di ottimo, la funzione obiettivo non lineare può essere approssimata, per il teorema di Taylor, da una quadratica e i vincoli da funzioni lineari. In tale intorno è quindi possibile utilizzare la ...
Leggi Tutto
incremento
increménto [Der. del lat. incrementum, da increscere "aumentare"] [ALG] [ANM] Differenza tra due valori di una variabile (indipendente o dipendente), sinon. perciò di variazione (positiva [...] "); accanto a i. finiti si considerano anche i. infinitesimi. ◆ [PRB] Processo a i. indipendenti: v. processi stocastici: IV 608 c. ◆ [ANM] Teorema degli i. finiti: se f(x) e g(x) sono due funzioni continue in un certo intervallo I, esiste un punto ...
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...