inclusione
inclusióne [Der. del lat. inclusio -onis, "atto ed effetto dell'includere", dal part. pass. inclusus di includere "comprendere", comp. di in- e claudere "chiudere"] [CHF] [FSD] Dispersione di una sostanza solida in un'altra. ◆ [ALG] I. standard: v. algebre di operatori: I 100 d. ◆ [CHF] Composti di i.: v. cristalli molecolari: II 38 d. ◆ [FSD] Lega di i.: soluzione solida in cui si mantiene ...
Leggi Tutto
compattezza
compattézza [Der. di compatto "l'essere compatto" nei vari signif. del termine (→ compatto)] [FAF] Teorema di c.: uno dei più importanti risultati della teoria dei modelli: un insieme di [...] formule non contraddittorio ha un modello se, e solo se, ogni suo sottoinsieme finito ha un modello: v. logica: III 485 d. ...
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, [...] punto Q è da ritenere ‘vicino’ a P se appartiene a un intorno di P. In modo analogo sono definiti gli intorni di un sottoinsieme dello spazio. Per base di uno s. topologico S si intende una famiglia B di aperti non vuoti di S tali che ogni aperto di ...
Leggi Tutto
assoluto
assoluto [agg. e s.m. Der. del part. pass. absolutus del lat. absolvere, comp. di ab- e solvere "sciogliere", e quindi "libero da limitazioni o condizioni"] [CHF] Qualifica di composti liquidi [...] del suo campo di definizione, è un valore della funzione tale che ogni altro valore assunto dalla funzione in quel sottoinsieme è minore (rispettiv. maggiore) o al più uguale a esso. ◆ [MTR] Misura a.: la misura di una grandezza che sia ottenuta ...
Leggi Tutto
Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti.
Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati [...] A.N. Whitehead.
Matematica
Nella teoria degli insiemi il concetto di r. tra due o più insiemi E, F, G, … equivale alla nozione di sottoinsieme dell’insieme prodotto E×F×G× … Se gli insiemi sono in numero di n la r. si dice r. n-aria, in particolare ...
Leggi Tutto
congiunzione
congiunzióne [Der. del lat. coniunctio -onis "atto ed effetto del congiungere o del congiungersi", dal part. pass. coniunctus di coniungere "congiungere", comp. di cum "insieme" e iungere [...] quando si trova al di là della Terra. ◆ [ALG] C. di insiemi: l'operazione che associa a due sottoinsiemi A e B di un insieme il sottoinsieme costituito dagli elementi che si trovano sia in A che in B; si chiama anche intersezione o prodotto logico ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] di Peano sono:
I 0∈ℕ
II x∈ℕ⇒sc(x)∈ℕ
III x∈ℕ⇒sc(x)≠0
IV x∈ℕ∧y∈ℕ & sc(x)=sc(y)⇒x=y
V Se X è un qualsiasi sottoinsieme di ℕ tale che 0∈X e (x∈X⇒sc(x)∈X) per ogni x, allora X contiene tutti gli elementi di ℕ.
L'ultimo assioma, il V, è alla ...
Leggi Tutto
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] il teorema del buon ordinamento (ogni insieme può essere bene ordinato, ossia può essere ordinato in modo che ogni suo sottoinsieme possieda un primo elemento), si fondò esplicitamente sull’assioma di s., dopo una segnalazione di E. Schmidt. Tra il ...
Leggi Tutto
tautologia
Silvio Bozzi
Termine che definisce ogni formula di un linguaggio preposizionale che sia logicamente valida, vale a dire vera in ogni interpretazione delle costanti extralogiche (le costanti [...] possibili valori delle formule e fissa le funzioni che corrispondono ai connettivi del linguaggio, mentre D individua il sottoinsieme dei valori designati. M-tautologia sarà allora ogni formula che ottiene valore in D quale che sia l’interpretazione ...
Leggi Tutto
immagine
immàgine [Der. del lat. imago -ginis] [LSF] (a) Concret., forma esteriore degli oggetti corporei, qual è percepita dalla vista (i. visiva od ottica). (b) Ancora concret., la forma di oggetti [...] e B e un'applicazione f:A→B, è l'elemento f(a) di B che corrisponde, secondo f, a un elemento dato a di A; il sottoinsieme f(A) di B, costituito dalle i. degli elementi di A, si chiama i. di A; si dice invece i. inversa, o controimmagine, di un dato ...
Leggi Tutto
sottoinsieme
sottoinsième (o sottinsième) s. m. [comp. di sott(o)- e insieme (nel sign. 2)]. – Ciascuno degli insiemi minori in cui un insieme è o può essere suddiviso: i varî s. di un insieme di dati, di elementi statistici; il prato è un...
complementare
agg. [der. di complemento, sull’esempio del fr. complémentaire]. – 1. a. Che serve di complemento, cioè di completamento, di integrazione: disposizioni c. di una legge; corsi c. di lingue straniere; giorni c., i 5 giorni (6 negli...