geometria
geometrìa s. f. [dal lat. geometrĭa, gr. γεωμετρία, comp. di γῆ «terra» (v. geo-) e -μετρία «misurazione» (v. -metria)]. – 1. In senso ampio e generico, lo studio dello spazio e delle figure [...] ad opera degli antichi Greci, e in partic. di Euclide, in forma di sistema deduttivo basato su un insieme di assiomi. Per estens., nella matematica moderna, lo studio delle proprietà di invarianza degli elementi di uno spazio astratto rispetto a ...
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 [...] insieme di tutti i possibili eventi e si introduce la probabilità come una funzione che soddisfa certe proprietà formali (assiomi). Oltre che singoli eventi, la teoria delle probabilità prende in esame le variabili aleatorie, cioè le grandezze il cui ...
Leggi Tutto
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, [...] enti che intervengono nella questione e si considerano 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 ...
Leggi Tutto
riemanniano
〈rim–〉 agg. – Relativo al matematico ted. Bernhard Riemann 〈rìiman〉 (1826-1866): geometria r. (o di Riemann o ellittica), tipo di geometria non euclidea nella quale non esistono rette parallele [...] e, rispetto alla geometria euclidea, vanno modificati anche gli assiomi di ordinamento (ogni retta va pensata come una linea chiusa e non divide il piano in due semipiani). Superficie r. (o assol. riemanniana s. f.) è, per una curva data, una ...
Leggi Tutto
incompleto
incomplèto agg. [dal lat. tardo incompletus, comp. di in-2 e completus: v. completo]. – 1. Non completo, che manca di qualche parte o elemento: serie i.; dati i.; opera i. (quando sia formata [...] può dimostrare né la verità né la falsità; si dice semanticamente i. se esistono conseguenze dell’insieme dei suoi assiomi che non sono teoremi della teoria stessa. ◆ Avv. incompletaménte, in modo incompleto: rispondere incompletamente a una domanda ...
Leggi Tutto
semantico
semàntico agg. [dal fr. sémantique, e questo dal lat. tardo semantĭcus, gr. σημαντικός «significativo», der. di σημαίνω «segnalare, significare»] (pl. m. -ci). – 1. a. In linguistica, relativo [...] in una certa interpretazione (cioè in una struttura, o in una classe di strutture) si può dedurre dagli assiomi della teoria. Nel De interpretatione di Aristotele, proposizione s., enunciato s. (λόγος σημαντικός), puramente espressivi o ottativi, che ...
Leggi Tutto
convenzionalismo
s. m. [der. di convenzionale1]. – 1. L’essere convenzionale; il fare, il comportarsi in una determinata maniera perché le convenzioni sociali e le consuetudini lo consigliano e quasi [...] . 2. In epistemologia, la posizione per la quale le leggi scientifiche in generale, e in partic. le proposizioni, gli assiomi, le procedure ecc. non sono che convenzioni, raggiunte per espressa stipulazione o per tacito accordo tra coloro che se ne ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile [...] o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati (scoprire e dimostrare teoremi rappresenta lo scopo fondamentale dell’attività matematica in quanto costituiscono la ...
Leggi Tutto
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in [...] in matematica, il termine è usato sia in generale, come nel caso di t. ipotetico-deduttiva (in cui si parte da assiomi formulati in modo esplicito deducendone poi le conseguenze), sia con riferimento a singoli settori: t. dei numeri; t. degli insiemi ...
Leggi Tutto
indecidibile
indecidìbile agg. [der. di decidere, col pref. in-2]. – Propr., che non può essere deciso. In logica, è detto di ogni asserzione, proposizione, formula per la quale si dimostra che, in un [...] dato sistema formalizzato, né essa né la sua negazione possono essere dedotte dagli assiomi del sistema; nella logica trivalente, il terzo valore di verità, accanto a quelli di «vero» e «falso». ...
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, e quindi l’aritmetica, è una delle branche...