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
Filosofia
Ciascuno dei principi logici od ontologici alla base di un sistema filosofico, o degli assiomi su cui è costruita una scienza e che ne sanciscono la validità.
Critica dei f. Processo iniziato [...] alla fine del 19° sec. e sviluppatosi nei primi decenni del 20°, tendente a rifondare le scienze su basi più ristrette e con metodi che evitassero contraddizioni e paradossi.
Matematica
Sotto la denominazione ...
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
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
teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] (detta anche enunciato dimostrabile), cioè l'ultima 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. ◆ [MCQ] T. asintotico ...
Leggi Tutto
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato ...
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...