universo
univèrso [Der. del lat. universum, neutro sostantivato dell'agg. universus; nell'uso astronomico è nome proprio e quindi ha l'iniziale maiusc.] [ASF] L'insieme dei corpi celesti e dello spazio [...] : VI 419 f. ◆ [ALG] [FAF] Insieme u.: nella teoriadegliinsiemi e nella logica matematica, l'insieme agli elementi del quale si applica l'operazione o la teoria considerata, in partic. un'operazione o una teoria logica. ◆ [ASF] [RGR] Modelli di U ...
Leggi Tutto
mappa
mappa [Lat. mappa, di origine punica] [LSF] Ogni rappresentazione grafica piana di una porzione della superficie terrestre (lo stesso che carta geografica o topografica) e, estensiv., della superficie [...] di un corpo in genere. ◆ [ALG] (a) Generic., sinon. di applicazione nella teoriadegliinsiemi e di morfismo nell'algebra astratta. (b) Con signif. specifico, data un'applicazione biunivoca e bicontinua tra due spazi topologici S e S' che applichi l' ...
Leggi Tutto
meno
méno [Der. del lat. minus, comparativo di parvus "piccolo"] [ALG] Segno con vari signif.: (a) simb. dell'operazione di sottrazione, anche nel signif. che tale operazione ha nell'algebra astratta; [...] quello che ha uguale modulo e uguale direzione rispetto a v, ma verso opposto; (e) nella teoriadegliinsiemi, la scrittura A-B ("A m. B") indica l'insieme dei punti di A che non appartengono a B. ◆ [FAF] Nella logica matematica, indica la negazione ...
Leggi Tutto
asimmetrico
asimmètrico [agg. (pl.m. -ci) Der. di asimmetria "che presenta asimmetria"] [EMG] Conduttore a.: quello che conduce corrente elettrica soltanto, o più facilmente, in un verso che nel verso [...] fatto che la caratteristica tensione-corrente di tali conduttori non è simmetrica rispetto all'origine degli assi. ◆ [ALG] Relazione a.: nella teoriadegliinsiemi, relazione R su un insieme I tale che per x,y∈I, xRy implica che non è verificata la ...
Leggi Tutto
Nelson Joseph Edward
Nelson 〈nèlsn〉 Joseph Edward [STF] (n. Decatur, Georgia, 1932) Prof. di matematica nell'univ. di Princeton (1970). ◆ [PRB] Formule di N.: v. equazioni differenziali stocastiche: [...] II 468 c. ◆ [PRB] Stima di N.: v. processi di punto: IV 603 f. ◆ [PRB] Teoria di N.: lo stesso che teoriadegliinsiemi interni (IST): v. analisi non standard: I 148 a. ...
Leggi Tutto
tricotomia
tricotomìa [Comp. del gr. trícha "in tre parti" e -tomia, sul modello di dicotomia] [ALG] Nella teoriadegliinsiemi, termine per indicare la situazione in cui si danno tre possibilità. ◆ [...] [ALG] [FAF] Nella logica matematica, la situazione in cui un concetto è diviso in tre (come nella dicotomia esso è diviso in due) ...
Leggi Tutto
Tarski Alfred
Tarski 〈tàrski〉 Alfred [STF] (Varsavia 1901, nat. SUA - Oakland 1983) Prof. di teoriadegliinsiemi nell'univ. di Varsavia (1925), poi di matematica nella Harvard Univ. (1939) e infine [...] nell'univ. della California di Berkeley (1945). ◆ [ALG] Teorema di T.: v. Gödel, teorema di: III 56 b ...
Leggi Tutto
numerosita
numerosità [Der. del lat. numerositas -atis, da numerosus "numeroso"] [LSF] L'essere costituito da molti elementi. ◆ [ALG] Nella teoriadegliinsiemi, sinon. di potenza (→ cardinalità). ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] , insieme di operazioni astratte dotate di proprietà caratteristiche, è uno dei concetti più importanti della matematica moderna. Ogni geometria, secondo Klein, è, nel suo significato più vero e generale, una teoria delle proprietà degli invarianti ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] coglie pertanto le proprietà comuni di tutti questi modelli. Altro esempio di s. ipotetico-deduttivo è la teoria assiomatica degliinsiemi, la quale in alcune esposizioni ha come unico concetto primitivo il significato della frase ‘è elemento di ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...