teoremateorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] v. campi, teoria quantistica dei: I 478 d. ◆ [FSN] T. CPT: → CPT. ◆ [TRM] T. del limite centrale: v. limite centrale, teorema del. ◆ [FAF] T. di correttezza e di completezza della logica dei predicati: v. logica: III 485 c. ◆ [ELT] T. fondamentale di ...
Leggi Tutto
metateorema
metateorèma [Comp. di meta- e teorema] [FAF] Denomin. generica di ogni proposizione che possa essere formalizzata e poi dimostrata. ...
Leggi Tutto
validita
validità [Der. di valido] [ALG] [FAF] Teorema di v., o di correttezza, dei calcoli predicativi del primo ordine: nella logica matematica, afferma che qualunque teorema di un calcolo predicativo [...] del primo ordine è una formula logicamente valida, cioè è vera sotto ogni possibile interpretazione ...
Leggi Tutto
Malgrange Bernard
Malgrange 〈malgràngë〉 Bernard [STF] (n. 1928) ◆ [ANM] Teorema di preparazione di M.: afferma che data una funzione di classe C∞ in un intorno dell'origine di Rn+1 che soddisfi F(t, [...] 0, ..., 0)=g(t)tk, con g(t)€0 per t=0, allora esiste in C∞ una funzione q tale che qF(t, x₁, ..., xn)= tk+Σk-1i=0 λi(x₁, ..., xn)ti, con λi(0, ..., 0)=0 per ogni i=1, ..., n; questo risultato (che generalizza ...
Leggi Tutto
Thevenin Leon
Thévenin 〈tevnèn〉 Léon [STF] (Meaux 1857 - ivi 1926). ◆ [ACS] Teorema dell'impedenza acustica di T., o teorema acustico di T.: se un'impedenza acustica Z è connessa in un punto P di un [...] e la somma di Z con l'impedenza in P prima dell'inserzione di Z.Tale teorema può estendersi analogicamente a sistemi meccanici, avendosi in tal caso il teorema meccanico di T. (in partic., traslatorio oppure rotatorio a seconda del tipo di movimento ...
Leggi Tutto
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
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...