assiomatizzazioneassiomatizzazióne [Atto ed effetto dell'assiomatizzare "procedere per assiomi", da assioma] [FAF] A. di una teoria: formulazione di alcune proprietà della teoria dalle quali tutte [...] le altre possono essere dedotte: v. assiomatizzazione. ...
Leggi Tutto
microcausalita
microcausalità [Comp. di micro- e causalità] [FAF] Uno degli assiomi dell'assiomatizzazione della teoria quantistica dei campi: v. assiomatizzazione: I 182 f. ...
Leggi Tutto
assiomatico
assiomàtico [agg. (pl.m. -ci) Der. del gr. axiomatikós] [ALG] Metodo a.: v. assiomatizzazione: I 181 a. ◆ [ALG] [FAF] Trattazione a. (di una data questione): nella logica matematica, la trattazione [...] in cui si astrae da ogni definizione costruttiva degli enti che intervengono nella questione e si considerano solo talune loro proprietà espresse formalmente in un sistema di assiomi, dai quali, per via ...
Leggi Tutto
causalita
causalità [Der. di causale] [FAF] Rapporto che lega la causa con l'effetto: v. causalità. ◆ [FAF] C. relativistica: esprime la circostanza che, non potendosi avere segnali che si propagano [...] ottenute in regioni dello spazio sufficientemente lontane e separate sufficientemente poco nel tempo non possono interferire reciprocamente: v. assiomatizzazione: I 182 f. ◆ [FAF] Principio di c.: può essere così enunciato: tutto ciò che muta ha una ...
Leggi Tutto
Filosofia
Ciascuno dei principi logici od ontologici alla base di un sistema filosofico, o degli assiomi su cui è costruita una scienza e che ne sanciscono la validità.
Critica dei f. Processo iniziato [...] la denominazione di f. della matematica si indica quel capitolo della matematica che si occupa della rigorosa assiomatizzazione delle sue diverse branche, dell’analisi logica dei procedimenti dimostrativi usati ( critica dei f.), dello studio degli ...
Leggi Tutto
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] con cui vengono formalmente introdotti concetti derivati a partire da quelli che vengono supposti come primitivi: v. assiomatizzazione. ◆ [ALG] [ANM] D. astratta, o per astrazione: operazione consistente nel definire una classe di elementi attraverso ...
Leggi Tutto
metodo
mètodo [Der. del lat. methodus, dal gr. méthodos "la via della ricerca"] [LSF] Ogni procedimento volto alla conoscenza e alla sistematizzazione di ciò che via via si acquisisce, in base a criteri [...] concetti e proposizioni primitive da cui altri concetti e proposizioni possono essere ricavati come teoremi mediante dimostrazioni: v. assiomatizzazione: I 180 e. ◆ [FAF] [ALG] [ANM] M. costruttivo: quello che non soltanto individua la possibilità di ...
Leggi Tutto
entropia
entropìa [Der. del ted. Entropie, dal gr. én "dentro" e tropé "trasformazione" e quindi "trasformazione interna"] [TRM] Grandezza che interviene nello studio delle trasformazioni termodinamiche [...] , possono essere collegate alle variazioni che subisce la qualità strutturale, come dire il "grado di ordine", del sistema (v. assiomatizzazione: I 182 c), la qualità del contenuto (per es., il contenuto di informazioni, in senso lato, del sistema: v ...
Leggi Tutto
variabile
variàbile [agg. e s.f. Der. del lat. variabilis, da variare "variare"] [ANM] Di una quantità che può assumere valori in un certo insieme numerico, o, più in generale, di un simb. che rappresenta [...] matematica, una v. non sottoposta a un quantificatore (anche, v. reale): v. logica: III 484 d. ◆ [FAF] V. meccanica: v. assiomatizzazione: I 181 f. ◆ [TRM] V. naturale: v. potenziali chimici e termodinamici: IV 574 b. ◆ [PRB] V. normale: v. casuale ...
Leggi Tutto
trasformazione
trasformazióne [Der. del lat. transformatio -onis, dal part. part. transformatus di transformare "cambiare la forma", comp. di trans- "trans-" e formare "dare forma"] [LSF] (a) Qualsiasi [...] classici criteri di uguaglianza, ma di mostrare che i due triangoli si corrispondono in una simmetria o in una traslazione). ◆ [ALG] Gruppo di t.: ogni insieme di t. che formino un gruppo. ◆ [FAF] Legge di t. dei campi: v. assiomatizzazione: I 182 f. ...
Leggi Tutto
assiomatizzazione
assiomatiżżazióne s. f. [der. di assiomatizzare]. – Formulazione in termini assiomatici; a. di una teoria, formulazione di alcune proprietà della teoria dalle quali tutte le altre possono essere dedotte.
assiomatizzare
assiomatiżżare v. tr. [der. di assiomatico]. – Introdurre una trattazione assiomatica (in un dato campo delle matematiche e in altre scienze): a. la geometria, ecc.