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
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] esatta". Se la geometria non è altro che lo studio di un gruppo, allora non ha senso porsi il problema della verità degli assiomi. L'esistenza di un gruppo, dice Poincaré, non è incompatibile con quella di un altro. La scelta non è una questione di ...
Leggi Tutto
aritmetica di Presburger
Luca Tomassini
Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] definiscono le proprietà elementari dell’addizione, ossia che (per ogni n e m) n+0=n e n+s(m)=s(n+m); (c) l’assioma di induzione, secondo il quale ogni proprietà P dei numeri naturali esprimibile nell’aritmetica tale che P è soddisfatta da 0 e da s(n ...
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
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...