Lindenbaum Adolf
Lindenbaum 〈lìndënbaum〉 Adolf [STF] (Varsavia 1904 - m. in un campo di concentramento nazista, forse nel 1942). ◆ [ALG] Algebre di L.: algebre associabili a vari tipi di sistemi formali. [...] ◆ [ALG] Teorema, o lemma, di L.: afferma che ogni teoria non contraddittoria ammette un'estensione nello stesso linguaggio non contraddittoria e completa. ...
Leggi Tutto
Levi Eugenio Elia
Lèvi Eugenio Elia (fratello di Beppo) [STF] (Torino 1883 - m. in guerra 1917) Prof. di matematica nell'univ. di Genova (1909). ◆ [ANM] Invariante, o forma, di L., problema e teorema [...] di L.: v. funzioni di più` variabili complesse: II 773 c, d ...
Leggi Tutto
L'Eta dei Lumi: matematica. Lo sviluppo della teoria della probabilita e della statistica
Oscar Sheynin
Lo sviluppo della teoria della probabilità e della statistica
I primi sviluppi del calcolo delle [...] geometrica era in grado di trattare casi in cui le possibilità di successo erano legate a numeri irrazionali.
Il primo teorema del limite
Con il suo Ars conjectandi, pubblicato postumo nel 1713, Jakob I Bernoulli aprì nuove prospettive per il calcolo ...
Leggi Tutto
Doob Joseph Leo
Doob 〈dóub〉 Joseph Leo [STF] (n. Cincinnati, Ohio, 1910) Prof. di matematica nell'univ. del-l'Illinois, a Urbana (1945). ◆ [ANM] Criterio di misurabilità di D.: v. misura e integrazione: [...] IV 3 b. ◆ [PRB] Teorema di decomposizione di D.-Meyer: v. processi di punto: IV 601 b. ◆ [PRB] Teorema di D.-May: v. probabilità classica: IV 591 a. ...
Leggi Tutto
Brouwer Luitzen Egbertus Jan
Brouwer 〈bràuër〉 Luitzen Egbertus Jan [STF] (Overschie, Olanda, 1881 - m. 1966) Prof. di matematica nell'univ. di Amsterdam (1951). ◆ [ALG] Grado topologico di B.: v. analisi [...] di un insieme I (sottinsieme di uno spazio euclideo) in sé stesso, esiste un punto P∈I "fisso" per f, cioè tale che f(P)=P. Il teorema di B. è suscettibile di numerose generalizzazioni: v. analisi non lineare: I 143 c e funzionale, analisi: II 771 f. ...
Leggi Tutto
transfer
trànsfer [Lettura it. di un s.ingl. "trasferimento", dal v. to transfer 〈trènsfëë〉 "trasferire", che è dal lat. transferre, comp. di trans "oltre" e ferre "portare"] [ALG] [FAF] Principio del [...] t.: importante teorema della logica matematica: v. analisi non standard: I 147 d. ...
Leggi Tutto
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] E. Schröder. Ha dato inoltre importanti contributi anche in campo matematico vero e proprio con l'enunciazione del noto teorema sulla decomposizione della sfera (1924), e la sua teoria sui cardinali inaccessibili, in collab. con H. J. Kreisler (1964 ...
Leggi Tutto
VARIAZIONI, CALCOLO DELLE.
Leonida Tonelli
- È quel ramo dell'analisi matematica che studia i problemi di massimo e minimo (v. massimi e minimi) relativi a quantità variabili, che si presentano sotto [...] y′) ≥ μ ∣y′∣α + ν, con α, μ, ν costanti tali che α > 1, μ > 0 (L. Tonelli). Sono noti anche teoremi di esistenza dell'estremo assoluto per classi di curve più generali della S-80???.
Stabilita l'esistenza di una curva estremante assoluta, se ne ...
Leggi Tutto
La grande scienza. Calcolo delle variazioni
Gianni Dal Maso
Calcolo delle variazioni
Un problema di grande importanza nella matematica pura e applicata è la ricerca dei valori massimi o minimi di grandezze [...] continue su [a,b] e lo spazio C1([a,b]) delle funzioni dotate di derivata prima continua su [a,b].
In base a un classico teorema di Henri-Léon Lebesgue (1875-1941), ogni funzione u di AC([a,b]) è derivabile in tutti i punti di [a,b], eccettuato al ...
Leggi Tutto
Puiseux Victor-Alexandre
Puiseux 〈püisö´〉 Victor-Alexandre [STF] (Argenteuil 1820 - Fontenay 1883) Prof. di matematica e astronomia nell'École normale (1847) e poi alla Sorbona di Parigi. ◆ [ANM] Sviluppo [...] in serie di P. e teorema di P.: v. curve e superfici: II 76 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...