assiomatico assiomà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 sistema assiomatico 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

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 [...] 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., sistema assiomatico-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