metateoria
metateorìa [Comp. di meta- e teoria] [FAF] Nella logica matematica, l'analisi di una teoria, detta teoria oggetto; si distingue tra m. sintattica, che ha per oggetto le proprietà formali delle [...] espressioni della teoria, e m. semantica, che studia anche i signif. dei simb.; più generic., come calco dell'ingl., come sinon. di metafisica. ...
Leggi Tutto
somma
sómma [Der. del lat. summa "il punto più alto", f. sostantivato dell'agg. summus "sommo"] [ALG] Il risultato dell'operazione di addizione di numeri naturali (s. aritmetica), di numeri con segno [...] (s. algebrica), di espressioni algebriche (monomi e polinomi), di segmenti, di angoli, ecc. (s. geometrica), di vettori (s. vettoriale o composizione), di matrici, ecc. ◆ [ALG] S. di ideali: indicati con B, C due ideali di un anello A, si chiama s. ...
Leggi Tutto
manipolazione
manipolazióne [Der. di manipolare: → manipolatore] [LSF] L'atto e l'effetto del manipolare, insieme di operazioni, spesso puramente manuali o meccaniche, con il quale si ottiene qualcosa, [...] [ALG] M. algebrica: il trattamento, oggi fatto mediante calcolatori elettronici, di espressioni matematiche (polinomi, funzioni trascendenti, ecc.) allo scopo di ottenere espressioni più semplici oppure che operino su simboli e non solo su numeri: v ...
Leggi Tutto
vuoto Lo spazio vuoto, privo di qualsiasi materia, anche dell’aria.
Antropologia
Il concetto di v. e il termine corrispondente nelle varie lingue europee è talora usato erroneamente per indicare lo stato [...] che si possono rendere con «abisso», «voragine»: per es., Esiodo (Theog. 116): «al principio vi fu Chaos». Da questo tipo di espressioni trae origine l’uso del concetto di v. universale che però è estraneo alle civiltà alle quali quei racconti si ...
Leggi Tutto
conseguenza
conseguènza [Der. del lat. consequentia, da consequi (→ conseguente)] [FAF] Conclusione che si deduce da una premessa. Una formula a è c. logica di un insieme F di formule se a è vera in [...] ogni modello di F: v. logica: III 485 d. ◆ [FAF] Funzione di c.: la funzione logica che associa a ogni insieme di espressioni la totalità delle espressioni che sono c. dell'insieme medesimo. ◆ [FAF] Relazione di c.: particolare relazione tra un' ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] i dispositivi che le realizzano, v. circuiti logici. ◆ [ALG] [FAF] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante una sequenza finita di applicazioni delle ...
Leggi Tutto
personale
personale [agg. Der. del lat. personalis, da persona] [LSF] Che riguarda la persona o una determinata persona: calcolatore (←) p., costante p. (v. oltre), ecc. ◆ [MTR] Costante p., equazione [...] p., errore p.: nella teoria dell'osservazione fisica, partic. nella teoria degli errori di misura, espressioni che indicano, con qualche sfumatura diversa tra loro, la parte dell'errore complessivo da cui è affetta una misura che si può fare risalire ...
Leggi Tutto
modus tollens
modus tollens 〈mòdus tòllens〉 [Lat. "modo che nega"] [FAF] Inferenza della sillogistica classica, nota anche come legge di contrapposizione, del tipo: se p allora q; se non q, allora non [...] p. In termini di logica matematica si esprime di solito così: "A una sequenza di espressioni in cui occorrono sia l'espressione ┐K sia l'espressione H→K, può essere aggiunta l'espressione ┐H". ...
Leggi Tutto
assiomatica
assiomàtica [Der. dell'agg. assiomatico] [FAF] (a) In genere, ogni dottrina degli assiomi. (b) In partic., quel ramo delle scienze matematiche in cui si discute dei principi della matematica [...] (in questo senso, però, il termine è sempre più sostituito da critica dei fondamenti o da altre espressioni sim.); vanno distinte un'a. intuitiva (per es., quella euclidea), in cui gli assiomi sono considerati come proposizioni che affermano in modo ...
Leggi Tutto
rotore
rotóre [Der. di rotazione] [ALG] [ANM] (a) R. di un campo tensoriale: v. tensore: VI 129 d. (b) R. di un vettore: operatore differenziale su un campo vettoriale, detto anche rotazione e rotazionale, [...] di simb. rot e identificabile con il prodotto vettore dell'operatore nabla (rotv≡∇╳v: le espressioni in vari sistemi di coordinate sono riportate nella tab.), che identifica i vortici del campo (punti dove il r. è diverso da zero, intorno ai quali s' ...
Leggi Tutto
espressione
espressióne s. f. [dal lat. expressio -onis, der. di exprimĕre «esprimere», part. pass. expressus]. – 1. L’atto e il modo di esprimere, di comunicare ad altri quanto si sente, si pensa o si vuole: e. di un sentimento; l’e. della...
espressionismo
s. m. [der. di espressione]. – 1. Movimento artistico nato e affermatosi in Germania al principio del sec. 20°, con l’intento di contrapporsi sia all’impressionismo francese sia al naturalismo conformista dell’epoca guglielmina;...