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
assiomatizzazione
assiomatizzazióne [Atto ed effetto dell'assiomatizzare "procedere per assiomi", da assioma] [FAF] A. di una teoria: formulazione di alcune proprietà della teoria dalle quali tutte [...] le altre possono essere dedotte: v. assiomatizzazione ...
Leggi Tutto
microcausalita
microcausalità [Comp. di micro- e causalità] [FAF] Uno degli assiomi dell'assiomatizzazione della teoria quantistica dei campi: v. assiomatizzazione: I 182 f. ...
Leggi Tutto
assiomatica
assiomàtica [Der. dell'agg. assiomatico] [FAF] (a) In genere, ogni dottrina degli assiomi. (b) In partic., quel ramo delle scienze matematiche in cui si discute dei principi della matematica [...] ed evidente alcuni caratteri estremamente generali di particolari enti concreti, e un'a. astratta, o formale, in cui gli assiomi non sono che quegli elementi di un sistema formalizzato da cui si deducono teoremi secondo date regole di inferenza. (c ...
Leggi Tutto
sottoteoria
sottoteorìa [Comp. di sotto- e teoria] [FAF] Ogni teoria ottenuta da una data teoria considerando soltanto alcuni degli assiomi di questa. ...
Leggi Tutto
Eilenberg Samuel
Eilenberg 〈àilenbërg〉 Samuel [STF] (n. Varsavia 1913) Prof. di matematica, dal 1946, in varie univ. americane ed europee. ◆ [ALG] Assiomi di E.-Mac Lane: v. topologia algebrica: VI 263 [...] c ...
Leggi Tutto
Kolmogorov Andrej Nicolaevich
Kolmogorov 〈këlmagòrëf〉 Andrej Nicolaevich [STF] (Tambov 1903 - Mosca 1987) Prof. di matematica nell'univ. di Mosca (1931). ◆ [PRB] Assiomi di K.: v. probabilità classica: [...] IV 581 d. ◆ [PRB] Disuguaglianze di K.: se Xk è una variabile aleatoria contraddistinta da un indice intero k, se la sua varianza σk è finita e se {Xk} è una successione indipendente uniformemente limitata ...
Leggi Tutto
incoerente
incoerènte [agg. Comp. di in- neg. e coerente "non coerente"] [FAF] Di ente, affermazione, ipotesi, ecc. che presenta contraddittorietà o incompatibilità rispetto ad assiomi o a principi di [...] una teoria assunta come vera. ◆ [GFS] Nella geologia, di roccia sedimentaria clastica o piroclastica (per es., sabbia, ghiaia, pozzolana) formata da granuli non cementati. ◆ [MTR] Di unità di misura non ...
Leggi Tutto
Wightman Arthur Strong
Wightman 〈uàitmën〉 Arthur Strong [STF] (n. Rochester, New York, 1922) Prof. di fisica matematica nella Yale Univ. (1960) e nell'univ. di Princeton (1971). ◆ [MCQ] Assiomi di W., [...] funzione di W.: v.campi, teoria quantistica dei: I 479 c ...
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...
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...