slice
slice 〈slàis〉 [ALG] Termine ingl. "fetta, divisione" con cui si qualificano teoremi di quoziente (teoremi di s.): v. varietà differenziabili infinito-dimensionali: VI 493 e. ...
Leggi Tutto
Desargues Gerard
Desargues 〈desàrg✄〉 Gérard [STF] (Lione 1591 - ivi 1661) Ingegnere e matematico. ◆ [ALG] Teoremi di D.: (a) il primo (teorema dei triangoli omologici), fondamentale nella geometria proiettiva, [...] r, le rette LL', MM', NN', congiungenti i vertici corrispondenti, passano per uno stesso punto R, e viceversa; (b) il secondo teorema afferma che le coniche di un fascio tagliano sopra una retta non passante per i punti base coppie di punti di un ...
Leggi Tutto
Guldin Paul
Guldin 〈gùldin〉 (italianizz. Guldino) Paul [STF] (San Gallo 1577 - Graz 1643) Gesuita, prof. di matematica in vari collegi del suo ordine. ◆ [ALG] Teoremi di G., detti anche teoremi di Pappo-G.: [...] della circonferenza C, descritta dal baricentro W della superficie stessa (fig. 2 B). Tanto il primo quanto il secondo teorema di G. permettono sia di determinare aree e volumi quando sono noti i baricentri, sia di determinare baricentri, quando ...
Leggi Tutto
De Morgan Augustus
De Morgan 〈dë mòghën〉 Augustus [STF] (Madura, India, 1806 - Londra 1871) Prof. di matematica nell'univ. di Londra (1828). ◆ [ALG] Leggi, o teoremi, di D.: nella logica matematica, [...] leggi del calcolo proposizionale che hanno una notevole rilevanza nell'algebra booleana: v. circuiti logici: I 618 f ...
Leggi Tutto
Pitagora
Pitàgora [STF] Matematico e filosofo del 6° sec. a.C., nato a Samo e trasferitosi poi nella Magna Grecia, a Crotone. ◆ [ALG] Teorema di P.: uno dei primi teoremi della geometria classica, secondo [...] sull'ipotenusa di un triangolo rettangolo è equivalente alla somma dei quadrati costruiti sui cateti; ha numerose generalizzazioni (teorema di P. generalizzato, n-dimensionale, ecc.) ed è alla base del concetto di distanza negli spazi euclidei o ...
Leggi Tutto
Lefschetz Solomon
Lefschetz 〈lìfsŠiz〉 Solomon [STF] (Mosca 1884, nat. SUA - Princeton 1972) Prof. di matematica nell'univ. del Kansas, a Lawrence (1923) e poi in quella di Princeton (1928). ◆ [ALG] Teoremi [...] di dualità di L.: precisano le relazioni che intercedono tra i gruppi di omologia di una varietà ...
Leggi Tutto
rimpiazzamento
rimpiazzaménto [Atto ed effetto del rimpiazzare, der. del fr. remplacer "mettere una cosa al posto di un'altra", comp. di re- sostitutivo e der. di place "posto"] [ALG] [FAF] Assioma, [...] o teoremi, di r.: nella logica matematica, assioma introdotto da A.A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo, che può essere così enunciato: se all'interno di una formula si ...
Leggi Tutto
Skolem Thoralf Albert
Skolem 〈skùulem〉 Thoralf Albert [STF] (Sandsvær 1887 - Oslo 1963) Prof. di matematica nell'univ. di Oslo (1938). ◆ [ALG] [FAF] Paradosso di S.: v. Gödel, teorema di: III 54 f. ◆ [...] [ALG] [FAF] Teoremi di Löwenheim-S.: v. logica: III 485 e. ...
Leggi Tutto
La grande scienza. Teoria dei numeri
Anatolij A. Karatsuba
Teoria dei numeri
La teoria dei numeri o, adottando una locuzione di Carl Friedrich Gauss (1777-1855), l'aritmetica superiore, è lo studio [...] , 1958);
9) se N(σ,T) è il numero degli zeri di ζ(s) nel rettangolo 1/2≤σ⟨Re(s)≤1, 0⟨Im(s)≤T, allora vale la stima ('teorema di densità'): N(σ,T)≤Tα(1−σ)(logT)c, T≥10, c>0 costante, a=8/3 (Ingham, 1940), a=5/2 (Montgomery, 1969); il caso a=2 ...
Leggi Tutto
Lowenheim Leopold
Löwenheim 〈lö´vënhàim〉 Leopold [STF] (Krefeld 1878 - Berlino 1940) Prof. di matematica nel liceo di Berlino-Lichtenberg. ◆ [ALG] [FAF] Teorema di L.: un'espressione in cui non occorrono [...] variabili predicative poliadiche, ma solo k monadiche, ammette un modello se e solo se ne ammette uno di cardinalità 2k. ◆ [ALG] [FAF] Teoremi di L.-Skolem: v. logica: III 485 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,...
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare, intraprendere...