sistemasistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, [...] ai sistemi: soluzione di un s.; nel caso di equazioni algebriche, grado di un s., il prodotto dei gradi delle equazioni; s. lineare, o omogeneo, se le equazioni che lo costituiscono sono tutte lineari, o rispettivam. omogenee); s. diassiomi, insieme ...
Leggi Tutto
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in [...] , assume un sign. non più assoluto, ma relativo al particolare tipo di geometria che si intende sviluppare, ed è definito in base al sistemadiassiomi scelto: si parla così di spazio euclideo, non-euclideo, proiettivo, ecc., a seconda che ci si ...
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 [...] enti concreti, e una a. astratta (o formale), in cui gli assiomi non sono che quegli elementi di un sistema formalizzato da cui si deducono teoremi secondo date regole di inferenza. 2. Tendenza al formalismo puro, nell’ambito della critica dei ...
Leggi Tutto
schema
schèma s. m. [dal lat. schema, gr. σχῆμα -ματος «forma, aspetto, configurazione», da un tema di ἔχω «possedere, avere»] (pl. -i). – 1. Modello convenzionale, semplificato rispetto alla più complessa [...] di una macchina e del suo modo di funzionare, o dell’insieme delle fasi di un processo, o delle varie parti di un impianto, di un sistema . In logica matematica, s. diassiomi, un insieme finito diassiomi che viene sinteticamente rappresentato con un ...
Leggi Tutto
modello
modèllo s. m. [lat. *modĕllus, dim. di modŭlus: v. modulo]. – 1. a. In genere, qualsiasi oggetto reale che l’artista si propone di ritrarre, o che un artigiano, un operaio abbia dinanzi a sé [...] costituisce una possibile interpretazione (o realizzazione) di una teoria, intesa come sistema puramente simbolico e astratto diassiomi e teoremi, in quanto stabilisce un universo di enti per i quali gli assiomi e i teoremi della teoria sono veri ...
Leggi Tutto
metodo
mètodo s. m. [dal lat. methŏdus f., gr. μέϑοδος f., «ricerca, indagine, investigazione», e anche «il modo della ricerca», comp. di μετα- che include qui l’idea del perseguire, del tener dietro, [...] offerto dalla geometria di Euclide, procede da assiomi e definizioni alla costruzione e dimostrazione di teoremi, cui possono risoluzione di un determinato problema (m. di Cramer per la risoluzione di un sistemadi equazioni lineari; m. di Foucault ...
Leggi Tutto
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. [...] generali su cui è costruito un sistema, una disciplina e sim.: principî di economia, di linguistica, ecc. In partic., p punto di vista logico, perché si può trattare diassiomi, di teoremi, ecc.). Per es.: in aritmetica, p. di induzione, assioma che ...
Leggi Tutto
assiomaassiò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 [...] e dello spazio. In matematica, è in genere sinon. di postulato, da cui tuttavia si distingue, spec. in logica matematica, quando con assiomi si vuole indicare un sistema formale di proprietà che costituiscono una definizione implicita dell’ente o ...
Leggi Tutto
assiomatico
assiomàtico agg. [dal gr. ἀξιωματικός] (pl. m. -ci). – Diassioma, che ha carattere diassioma, quindi, in genere, evidente, indiscutibile: verità a.; principî assiomatici. In logica matematica, [...] degli enti che intervengono nella questione e si considerano solo talune loro proprietà espresse formalmente in un sistemadiassiomi, dai quali, per via puramente logica, si deducono nuove proprietà. ◆ Avv. assiomaticaménte, in modo assiomatico, e ...
Leggi Tutto
definizione
definizióne (ant. diffinizióne) s. f. [dal lat. definitio -onis]. – 1. Determinazione, delimitazione esatta: d. di un confine; d. dei limiti di competenza di due organi amministrativi; d. [...] linguaggio nel quale si può parlare del linguaggio usato nel sistema formale cui ci si riferisce; viene usata per individuare gli assiomi e le regole di inferenza del sistema, oppure per abbreviare determinate espressioni ricorrendo a espressioni più ...
Leggi Tutto