Statistico svedese (n. Stoccolma 1893 - m. 1985), prof. (1929-58) all'univ. di Stoccolma. Importanti i suoi risultati in matematica statistica, in particolare il teorema di Levy-C., da lui dimostrato nell'ipotesi [...] di Levy, che se una variabile causale normale è somma di due variabili casuali indipendenti, entrambi gli addendi sono di tipo normale. Tra le opere: Elements of probability theory (1954); Stationary and ...
Leggi Tutto
Eulero
Luca Dell'Aglio
Un matematico 'poliedrico'
Il matematico svizzero Eulero, vissuto nel Settecento, ha lasciato una voluminosa raccolta di opere dedicate a quasi tutti gli ambiti della matematica. [...] . Ora ci sono 5 facce, 5 vertici e 8 spigoli e ancora una volta si ha 5+5−8=2.
Esiste così una relazione, nota come teorema di Eulero, tra il numero delle facce (F), dei vertici (V) e degli spigoli (S) di un poliedro, che si può esprimere come F+V−S ...
Leggi Tutto
Matematico e logico matematico statunitense (Long Branch, New Jersey, 1934 - Stanford 2007), professore di matematica a Stanford dal 1964. Il suo più importante risultato (teorema di C., 1963) è la dimostrazione [...] dell'indipendenza degli assiomi della teoria degli insiemi dall'ipotesi cantoriana del continuo ("non esistono cardinalità intermedie tra quella del numerabile e quella del continuo"); questa dimostrazione ...
Leggi Tutto
Bolzano Bernhard
Bolzano 〈bolzàano〉 Bernhard [STF] (Praga 1781 - ivi 1848) Sacerdote, prof. (1805) di storia delle religioni nell'univ. di Praga, grande cultore di matematica. ◆ [ANM] Teorema di B.: [...] in un estremo e negativa nell'altro, deve annullarsi per almeno un valore compreso fra a e b. ◆ [ANM] Teorema di B.-Weierstrass: in uno spazio euclideo finito-dimensionale, ogni insieme chiuso e limitato che contenga infiniti punti ammette almeno un ...
Leggi Tutto
Morrey Charles Bradfield
Morrey 〈móori〉 Charles Bradfield [STF] (Columbus, Ohio, 1907 - Berkeley 1984) Prof. di matematica nell'univ. della California, a Berkeley (1945). ◆ [ALG] Teorema di immersione [...] di M.-Sobolev-Rellich: v. varietà differenziabili infinito-dimensionali: VI 491 a ...
Leggi Tutto
Vitali Giuseppe
Vitali Giuseppe [STF] (Ravenna 1875 - Bologna 1932) Prof. di analisi matematica nelle univ. di Modena (1923), Padova (1926) e Bologna (1930). ◆ [ANM] Teorema di derivazione di Lebesgue-V.: [...] v. misura e integrazione: IV 4 c ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] grado di rappresentare l'aritmetica esistono formule di cui non si può dimostrare né la verità né la falsità (teorema di incompletezza).
Abstract di approfondimento da Logica matematica di Silvio Bozzi (Enciclopedia della Scienza e della Tecnica)
Pur ...
Leggi Tutto
Matematico e filosofo del sec. 6º a. C. Figlio di Mnesarco, nato a Samo nella prima metà del VI sec. a. C. Apollodoro colloca la sua acmè nel 532-531 a. C. Fu scolaro di Ferecide e di Anassimandro. Un [...] della geometria razionale. Il desiderio di dare una giustificazione rigorosa e generale, non empirica né limitata a pochi casi, del teorema di P., spinse P. e i suoi allievi a ordinare la geometria in catene di deduzioni che, partendo da verità ...
Leggi Tutto
numerativo
numerativo [agg. Der. di numerare (→ numeratore)] [FAF] In un linguaggio, le parole (dette anche, assolut., numerali s.m.) indicanti entità numeriche: v. Gödel, teorema di: III 55 c; comprendono [...] sia aggettivi che sostantivi e avverbi e, a seconda della funzione, si distinguono in: cardinali (uno, due, tre, ...); ordinali (primo, secondo, terzo, ...) e distributivi (per es., lat. bini "a due a ...
Leggi Tutto
Choquet Gustave
Choquet 〈shoké〉 Gustave [STF] (n. Solesmes 1915) Prof. di matematica nell'univ. di Parigi (1949) e nell'École Polytecnique (fino al 1984). ◆ [PRB] Teorema di C.: v. cammini aleatori: [...] I 466 f ...
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...