realizzazione
realiżżazióne s. f. [der. di realizzare]. – 1. L’azione, l’operazione di realizzare; il fatto e il modo con cui qualcosa si realizza o viene realizzato: è vissuto tanto da vedere la r. [...] indeterminati di una teoria su concetti specifici di una struttura in modo tale che tutti gli enunciati dimostrabili del sistemaformale risultino asserzioni vere nella struttura (se una realizzazione di questo genere esiste, si dice anche che il ...
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. [...] matematica, d. metalinguistica, quella espressa in un metalinguaggio, ossia in un linguaggio nel quale si può parlare del linguaggio usato nel sistemaformale cui ci si riferisce; viene usata per individuare gli assiomi e le regole di inferenza del ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di [...] e preparato tutto ciò che è necessario alla partenza. c. Con senso più ampio, sistema organico di leggi che reggono l’universo: l’o. della natura; l’o. in modo da costituire un organismo, strutturale o formale, continuo (per es., le serie di capriate ...
Leggi Tutto
materiale
agg. e s. m. [dal lat. tardo materialis, agg. der. di materia «materia»]. – 1. agg. a. Della materia, che consta di materia, di cose che si presentano come oggetti sensibili e occupano un’estensione [...] cultura intesa come insieme di istituzioni, modelli di comportamento, o sistema di credenze. In fisica, corpo m., porzione di materia; diritto nel contenuto delle norme e non nella loro struttura formale (per es., la teoria del diritto come «minimo ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto [...] logica con l’intento di sottolinearne il carattere formale, ossia il fatto che essa prescinde dai .), v. ai singoli aggettivi. 2. Trattato di logica, o quella parte del sistema di un filosofo che espone i principî della logica: la l. di Aristotele; ...
Leggi Tutto
unita
unità s. f. [dal lat. unĭtas -atis, der. di unus «uno»; in alcuni dei sign. concreti, ha risentito l’influenza dell’ingl. unit (che in inglese è distinto da unity)]. – 1. a. Il fatto, la condizione [...] critica letteraria e artistica: u. d’ispirazione, u. stilistica o formale, u. contenutistica o tematica di un’opera, e assol., un monetaria, l’u. monetaria è la moneta base di ogni singolo sistema, mentre l’u. di conto è l’unità monetaria fittizia ...
Leggi Tutto
intrinseco
intrìnseco (ant. intrìnsico) agg. [dal lat. intrinsĕcus, avv., «all’interno», comp. di *intrim (affine a intra «dentro») e sĕcus (v. estrinseco)] (pl. m. -ci, ant. o volg. -chi). – 1. Che [...] costituzione interna dell’essere (la causa materiale e la causa formale); denominazioni i., o interne, quelle che dipendono dalle qualità a proprietà verificata all’interno di un corpo: sistema materiale intrinsecamente conservativo, quello in cui le ...
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. [...] di tutte le cose: p. vitale, p. materiale, p. formale; secondo Eraclito il fuoco è il p. animatore dell’universo; Boltzmann, l’asserzione secondo la quale l’entropia di un sistema fisico in uno stato di equilibrio è proporzionale al logaritmo ...
Leggi Tutto
crisi
criṡi (ant. criṡe) s. f. [dal lat. crisis, gr. κρίσις «scelta, decisione, fase decisiva di una malattia», der. di κρίνω «distinguere, giudicare»]. – 1. Nel linguaggio medico: a. Repentina modificazione, [...] tra valori e modi di vita: la c. della società, la c. del sistema o di un sistema, la c. dei valori, la c. della civiltà, ecc. In senso ) senza che si sia proceduto ad aprire una crisi formale; di c. guidata, con riferimento a una crisi ministeriale ...
Leggi Tutto
binario1
binàrio1 agg. [dal lat. tardo binarius, der. di bini «due per volta»]. – 1. Composto di due unità, di due elementi: divisione b., nell’esercito, la divisione composta da due reggimenti di fanteria; [...] da due elementi (per es., cloruro di sodio, NaCl); sistema b., insieme di due componenti nella stessa fase (liquido- g. In musica, struttura b., struttura ritmica, metrica o formale costituita da due unità equipollenti: ritmo b., ritmo generato dall’ ...
Leggi Tutto
aritmetica, sistema formale per l'
aritmetica, sistema formale per l’ descrizione dell’aritmetica come teoria formale a partire da un sistema di assiomi. Per l’aritmetica si utilizzano innanzitutto i simboli del linguaggio dei predicati. Si...
sistema formale
sistema formale apparato simbolico mediante il quale è possibile rappresentare formalmente i procedimenti logico-deduttivi delle dimostrazioni matematiche. Esempi di sistemi formali sono i calcoli logici quali il calcolo degli...