Pasch, assioma di
Pasch, assioma di fa parte degli assiomi di ordinamento della geometria euclidea nella sistemazione datane da D. Hilbert (→ Hilbert, assiomi di). L’assioma afferma che, dati in un piano [...] un punto di uno dei due segmenti AC e BC, oppure contiene il loro punto comune. In forma più intuitiva, l’assioma di Pasch afferma che, nel piano, una retta r che attraversa un lato di un triangolo deve necessariamente attraversare uno degli altri ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] i rapporti tra proprietà di chiusura rispetto a relazioni e operazioni su strutture e forma sintattica dei possibili assiomi. Parallelamente, prenderà forma il progetto di una teoria dei modelli come contesto in cui sviluppare algebra, settori della ...
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
geometria desarguesiana
geometria desarguesiana geometria nella quale, oltre agli assiomi del piano affine, si assume come assioma una proposizione equivalente al teorema di Desargues relativo ai triangoli [...] omologici (→ Desargues, teorema di). Poiché tale teorema non è deducibile nel piano affine, possono costruirsi anche geometrie in cui non valga tale teorema e che sono pertanto dette geometrie non desarguesiane ...
Leggi Tutto
Zermelo-Fraenkel, teoria di
Zermelo-Fraenkel, teoria di sistema di assiomi per la teoria degli → insiemi, noto anche come teoria ZF, logicamente equivalente a un’altra sistemazione assiomatica indicata [...] in cui P è una lettera funzionale unaria: P(y) rappresenta l’insieme delle parti di y generalmente indicato con ℘(y);
• ZF 5 (assioma della coppia):
Il termine {y, z} è detto coppia non ordinata, cioè l’insieme i cui due unici elementi sono y e z ...
Leggi Tutto
categoricita
categoricità [Der. di categoria] [ALG] Unicità della scelta degli assiomi di una teoria a meno di isomorfismi: v. Gödel, teorema di: III 54 d. ...
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
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...