assiomaassiòma [Der. del lat. axíoma -atis, dal gr. axíoma -atos, da áxios "degno"] [ALG] [FAF] Principio certo per immediata evidenza e costituente la base per l'ulteriore ricerca. Nella matematica, [...] è in genere sinon. di postulato, da cui tuttavia si distingue, spec. nella logica matematica, quando gli a. di un sistema formale indicano le proprietà che costituiscono una definizione implicita degli ...
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
Zermelo Ernst
Zermelo 〈zèrmëlo〉 Ernst [STF] (Berlino 1871 - Friburgo 1953) Prof. di matematica nell'univ. di Zurigo (1910). ◆ [ALG] Postulato di Z. o assioma della scelta: già formulato in precedenza [...] Teorema di Z. o del buon ordinamento: ogni insieme può essere ben ordinato. La dimostrazione data da Z. di questo teorema nel 1904 si fonda sull'assioma della scelta; nel 1915 F. Hartogs dimostrò che tale assioma e il teorema di Z. sono equivalenti. ...
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
rimpiazzamento
rimpiazzaménto [Atto ed effetto del rimpiazzare, der. del fr. remplacer "mettere una cosa al posto di un'altra", comp. di re- sostitutivo e der. di place "posto"] [ALG] [FAF] Assioma, [...] o teoremi, di r.: nella logica matematica, assioma introdotto da A.A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo, che può essere così enunciato: se all'interno di una formula si ...
Leggi Tutto
riducibilita
riducibilità [Der. di riducibile "capacità di essere ridotto o di ridursi"] [ALG] [ANM] Proprietà di un polinomio, di un'equazione algebrica o altro ente di essere riducibile. ◆ [ALG] [FAF] [...] Assioma di r.: introdotto da B. Russell, si può enunciare dicendo che per ogni proprietà appartenente a un ordine superiore al più basso c'è una proprietà equiestensiva (cioè posseduta dagli stessi oggetti) di ordine zero; in altri termini, ogni ...
Leggi Tutto
postulato
postulato [Der. del lat. postulatum "ciò che è richiesto", dal part. pass. postulatus di postulare "chiedere"] [ALG] [FAF] Proposizione che si assume come vera quale ipotesi di una dimostrazione [...] o di un sistema ipotetico-deduttivo senza che sia dimostrata né che sia evidente di per sé; si distingue dall'assioma, in quanto questo non è dimostrato perché evidente di per sé. Esistono vari p., alcuni dei quali di fondamentale importanza, come, ...
Leggi Tutto
Fisica
Tendenza di un corpo a non modificare il proprio stato di quiete o di moto.
Il principio d’inerzia, «ogni corpo persevera nel suo stato di quiete o di moto uniforme e rettilineo a meno che non sia [...] costretto a mutare quello stato da forze impresse», è il primo assioma, o prima legge del movimento, dei Philosophiae naturalis principia mathematica di I. Newton. Questi per primo diede una lucida formulazione del principio, alla cui idea era giunto ...
Leggi Tutto
Zorn Max
Zorn 〈zòrn〉 Max [STF] (n. 1906) Matematico statunitense. ◆ [ALG] Lemma di Z., o lemma di Z.-Kuratowski, o principio dell'insieme massimale: enunciato nel 1922 da K. Kuratowski, afferma che un [...] insieme parzialmente ordinato, di cui ogni sottoinsieme totalmente ordinato ammette un elemento maggiorante, possiede almeno un elemento massimale; si tratta di un postulato equivalente all'assioma della scelta. ...
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
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),...