assiomaticoassiomàtico agg. [dal gr. ἀξιωματικός] (pl. m. -ci). – Di assioma, che ha carattere di assioma, quindi, in genere, evidente, indiscutibile: verità a.; principî assiomatici. In logica matematica, [...] solo talune loro proprietà espresse formalmente in un sistema di assiomi, dai quali, per via puramente logica, si deducono nuove proprietà. ◆ Avv. assiomaticaménte, in modo assiomatico, e per estens., nel linguaggio com., con indiscutibile ...
Leggi Tutto
metamatematica
metamatemàtica s. f. [comp. di meta- e matematica]. – Teoria che ha per fine lo studio dei fondamenti della matematica; più precisamente, lo studio della natura e dei limiti delle scienze [...] , il cui metodo specifico consiste nel trasformare una teoria matematica in un sistemaassiomatico mediante la piena formalizzazione del suo significato intuitivo e nel dimostrare, poi, le proprietà del sistema formale simbolicamente costruito. ...
Leggi Tutto
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, [...] A partire dal Cinquecento, anche grazie all’adozione del sistema di notazione numerica posizionale (inventato dagli Indiani e adottato dagli , e l’adozione generalizzata del metodo assiomatico-deduttivo. Tali tendenze risultano evidenti in ...
Leggi Tutto
probabilita
probabilità s. f. [dal lat. probabilĭtas -atis]. – 1. Carattere di ciò che è probabile; condizione di un fatto o di un evento che si ritiene possa accadere, o che, fra più fatti ed eventi [...] vista, il calcolo delle probabilità può essere formulato in modo assiomatico: si considera l’insieme di tutti i possibili eventi e che definiscono lo stato di un corpuscolo o di un sistema quantistico (in questo senso si parla di nuvole di p ...
Leggi Tutto
assiomaticaassiomà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 [...] in cui gli assiomi non sono che quegli elementi di un sistema formalizzato da cui si deducono teoremi secondo date regole di inferenza. , per cui la scienza viene concepita come un sistema ipotetico-deduttivo, basato esclusivam. su un insieme di ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: [...] è o no elemento di un certo insieme); tale idea intuitiva è sviluppata in modo formalizzato nella teoria degli i., sistemaassiomatico-deduttivo che individua, sulla base di alcuni postulati, le operazioni dalle quali gli insiemi sono generati, e che ...
Leggi Tutto
costruttivismo
s. m. [der. di costruttivo, esemplato, nel sign. 1, sul russo konstruktivizm, e nel sign. 2 sul ted. Konstruktivismus]. – 1. Movimento artistico d’avanguardia che si sviluppò in Russia [...] che sostiene doversi dare soltanto definizioni e dimostrazioni costruttive, opponendosi, in generale, al metodo assiomatico, che, stabilito un sistema di assiomi con la sola condizione della non contraddittorietà, non si preoccupa di enunciare gli ...
Leggi Tutto
categoricità In logica matematica, proprietà di un sistema assiomatico i cui modelli siano isomorfi. Si considerino, per es., gli assiomi di Peano per i numeri naturali: a) 0 (zero) è un numero naturale; b) se n è un numero naturale, allora...
sistema ipotetico deduttivo
sistema ipotetico deduttivo locuzione con cui si indica una determinata modalità di strutturare una teoria scientifica. In un sistema ipotetico deduttivo sono assunti come ipotesi vere alcuni enunciati fondamentali...