Linguistica
Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza [...] ciò che si chiede di ammettere e che riguarda l’esistenza di determinati enti geometrici). Nella logica moderna la differenziazione tra assiomi e p. è venuta meno a partire dalla fine del 19° sec., specialmente per opera di G. Frege, G. Peano, B ...
Leggi Tutto
Peano, assiomi di
Peano, assiomi di insieme di assiomi che definisce l’insieme N dei numeri naturali e permette di costruire l’aritmetica come sistema ipotetico-deduttivo. La teoria dei numeri naturali, [...] + x1
S9: se P(x) è una formula ben formata di S, allora P(0) ⇒ ((∀x(P(x) ⇒P(x′ ))) ⇒ ∀xP(x))
Di seguito si confrontano gli assiomi di Peano con quelli del sistema S, evidenziando le analogie e le differenze fra i due sistemi. Si noti che, mentre gli ...
Leggi Tutto
Hilbert, assiomi di
Hilbert, assiomi di assiomi della geometria introdotti da D. Hilbert nel 1899 nel testo Grundlagen der Geometrie (Fondamenti della geometria) per superare alcune contraddizioni e [...] A′C′ e l’angolo BÂC è congruente all’angolo B′ÂC′, allora il triangolo ABC è congruente al triangolo A′B′C′.
IV - Assioma della parallela (equivale al v postulato degli elementi di Euclide): dati un punto P, una retta r non passante per P e un piano ...
Leggi Tutto
probabilita, assiomi della
probabilità, assiomi della assiomi che definiscono la teoria della probabilità come teoria matematica riconducibile alla teoria della → misura. Tale impostazione assiomatica [...] eventi. In tale spazio è definita una funzione di probabilità P che a ogni evento E associa un numero reale, secondo i seguenti assiomi:
a) la probabilità assegnata a ogni evento E è un numero reale maggiore di o uguale a 0:
b) la probabilità dell ...
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...