obiettivita
obiettività (meno corr. obbiettività) [Der. di obiettivo] [LSF] Carattere di ciò che è obiettivo. ◆ [FAF] Principio, o assioma, di o., o di indifferenza materiale: ha varie formulazioni, [...] la più generale delle quali è quella per cui il comportamento di un sistema (proprietà materiali e costitutive) è indipendente dall'osservatore (per es., v. meccanica dei sistemi continui: III 692 c); ...
Leggi Tutto
scelta
scélta [Der. del part. pass. scelto di scegliere, lat. exeligere] [LSF] Atto ed effetto dello scegliere. ◆ [ALG] [FAF] Assioma di s.: nella logica matematica, afferma che, data una classe C di [...] insiemi non vuoti, si può costruire un insieme S, detto insieme selettivo in C, scegliendo uno e un solo elemento da ogni insieme di C ...
Leggi Tutto
regolarita
regolarità [Der. di regolare "qualità di ciò che è regolare"] [ALG] [ANM] R. di un arco di curva, di un poligono, di un poliedro: → regolare. ◆ [FAF] Assioma di r.: lo stesso che assioma di [...] restrizione: → restrizione. ◆ [MCS] Condizioni di r. all'infinito: v. potenziale, teoria del: IV 570 d. ◆ [FTC] Grado di r.: numero che esprime entro quali limiti percentuali varia il valore di una grandezza ...
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 [...] elemento da ogni insieme di Q. Anche se solo nel 1904 E. Zermelo diede una chiara ed esplicita formulazione dell’assioma di s. e per la prima volta adoperò tale denominazione; esso infatti era stato già usato in precedenza senza essere esplicitamente ...
Leggi Tutto
comprensione
comprensióne [Der. del lat. comprehensio -onis, "il considerare insieme", dal part. pass. comprehensus di comprehendere, comp. di cum "insieme" e prehendere "prendere"] [LSF] L'atto e la [...] degli elementi che individuano un concetto, cioè il complesso delle sue determinazioni; è l'inverso dell'estensione. ◆ [FAF] Assioma, o principio, di c: afferma la possibilità di formare l'insieme costituito da tutti gli elementi che soddisfano a una ...
Leggi Tutto
selettivo
selettivo [agg. Der. dell'ingl selective, da to select (→ selettività)] [LSF] Che presenta una maggiore o minore selettività: risonatore meccanico poco s., ricevitore radio molto s.; in partic., [...] con modalità particolari, quasi per una scelta tra tutte le modalità a priori possibili: l'assorbimento di radiazioni è in genere s., riflessione s. della luce da parte di un corpo colorato, ecc. ◆ [ALG] [FAF] Insieme s.: → scelta: Assioma di scelta. ...
Leggi Tutto
teorema In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. [...] dimostrabile) l’ultima formula di una dimostrazione, cioè di una sequenza finita di formule tali che ciascuna di esse o è un assioma o è una conseguenza immediata di formule precedenti ottenuta in base a una delle regole di inferenza. In un t. si ...
Leggi Tutto
inerzia
inèrzia [Der. del lat. inertia, da iners -ertis (→ inerte)] [LSF] Generic., la condizione e la qualità di qualcosa che è inerte, spec. nei signif. concernenti l'i. materiale (v. oltre). ◆ [CHF] [...] di quiete o di moto rettilineo uniforme, precisata dal principio, o legge, d'i., che I. Newton formulò come primo assioma, o prima legge del movimento, nei suoi Principia: in un sistema di riferimento inerziale "ogni corpo persevera nel suo stato di ...
Leggi Tutto
deduzione
deduzióne [Der. del lat. deductio -onis, da deducere "dedurre", comp. di de- "da" e ducere "trarre"] [LSF] Una proposizione, la verità o il giudizio che si deduce, con il metodo deduttivo, [...] anche derivazione o dimostrazione) con la quale, in un sistema deduttivo, si ottiene una certa espressione da un dato assioma attraverso un numero finito di altre espressioni, tutte facenti parte dello stesso sistema. ◆ [ALG] [FAF] Teorema di d., o ...
Leggi Tutto
transfinito In matematica, che va al di là del finito. Numeri t. (o infiniti), numeri che estendono al caso di insiemi con infiniti elementi i concetti di numero cardinale e ordinale dell’aritmetica ordinaria [...] totale che si fonda sul seguente teorema enunciato da Cantor e dimostrato nella sua prima parte da E. Zermelo (sulla base dell’assioma della scelta) nel 1904, e nella sua seconda parte da F. Bernstein nel 1897: dati due insiemi A, B è vera almeno ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
scelta
scélta s. f. [der. di scelto, part. pass. di scegliere]. – 1. a. 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),...