esistenza
esistènza [Der. del lat. existentia, da existere "esistere"] [ALG] [ANM] Teorema di e.: proposizione la quale dimostri che esiste almeno una soluzione di un dato problema. ◆ [FAF] Teorema di [...] e. di un modello: v. logica: III 485 c. ◆ [ALG] [ANM] Teorema di e. e unicità: proposizione la quale dimostri che la soluzione di un dato problema esiste ed è unica. Mentre i grandi matematici dei secoli precedenti e della prima metà dell'800 avevano ...
Leggi Tutto
Pappo
Pappo [gr. Páppos] [STF] Geometra gr. della fine del sec. 3° d.C. ◆ [ALG] Teorema di P.: dato un esagono (vertici 1÷6 nella fig. 1), se tre vertici alterni appartengono a una retta e gli altri [...] di coppie di lati opposti (L,M,N) sono allineati (sulla retta di Pascal); un caso particolare è il piccolo teorema di P. (il teorema precedente è detto anche grande teorema di P.), in cui le due rette anzidette sono parallele (fig. 2). ◆ [ALG ...
Leggi Tutto
Carleson Leunart A.E.
Carleson 〈kàrlëson〉 Leunart A.E. [STF] (n. 1928) ◆ [ALG] Teorema della corona di C.: v. algebre di operatori: I 94 e. ◆ [ANM] Teorema di C.-Hunt: v. analisi armonica: I 125 e. ...
Leggi Tutto
ricorsivamente
ricorsivaménte [Der. di ricorsivo "in maniera ricorsiva"] [ALG] Insieme r. enumerabile: v. Gödel, teorema di: III 57 b. ◆ [ALG] Nozione non r. enumerabile: v. Gödel, teorema di: III 54 [...] f ...
Leggi Tutto
Herbrand Jacques
Herbrand 〈hèrbrant〉 Jacques [STF] (Parigi 1908 - La Bérarde, Isère, 1931) Logico matematico. ◆ [ALG] Teorema di H. e Tarski: lo stesso che teorema di deduzione (←). ...
Leggi Tutto
non pascaliano
nón pascaliano [locuz. agg.] [ALG] Geometria n.: geometria nella quale non vale il teorema di Pappo-Pascal sull'inscrivibilità di un esagono in una conica; si può considerare una geometria [...] non desarguesiana ...
Leggi Tutto
Bezout Etienne
Bézout ⟨besù⟩ Étienne [STF] (Nemours 1730 - Fontainebleau 1783) Membro dell'Accademia delle scienze di Parigi. ◆ [ALG] Teorema di B.: celebre teorema, enunciato da B. nella sua Théorie [...] dato, con opportune convenzioni sulle molteplicità delle soluzioni e contando anche eventuali soluzioni infinite, dal prodotto g₁...gr dei gradi delle singole equazioni; per l'interpretazione geometrica di tale teorema, v. curve e superfici: II 74 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...