condizionamento
condizionaménto [Der. di condizione "atto ed effetto del condizionare"] [PRB] C. classico e quantistico: v. probabilità quantistica: IV 596 d. ◆ [FTC] C. dell'aria (calco approssimativo [...] in una elaborazione analogica delle informazioni fornite dal sensore per adattarle alle esigenze dei dispositivi a valle o per migliorarne le caratteristiche di risposta: v. sensore: V 175 a. ◆ [PRB] Assiomi di c.: v. probabilità classica: IV 580 e. ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] è costituito da: a) un insieme di definizione dei segni base e delle espressioni; b) un insieme di premesse (dette assiomi o postulati); c) un insieme di regole di inferenza che consentono di trarre conclusioni dalle premesse; d) un insieme di ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] e., o delle proposizioni: nella logica matematica, sistema deduttivo (costituito da un linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei connettivi logici (negazione, congiunzione, alternativa, implicazione ...
Leggi Tutto
vero
véro [agg. e s.m. Der. del lat. verus] [ALG] [FAF] Nella logica matematica, un enunciato o una formula di una teoria si dice v. (simb. V) in un universo (modello della teoria) se è soddisfatta sostituendo [...] concetto sintattico di dimostrabile: un enunciato (o teorema) è dimostrabile in una teoria, se è deducibile correttamente dagli assiomi della teoria. ◆ [ASF] Di misura astrometrica che sia stata corretta da qualche effetto perturbante, per es. dalla ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] di punti distinti x, y di S esiste un aperto di x che non contiene y e un aperto di y che non contiene x. Un altro assioma è: per ogni coppia di punti distinti x, y di S esiste un intorno di x che non contiene y e un intorno di y che non contiene ...
Leggi Tutto
teorema CPT
Luca Tomassini
Proposizione fondamentale della teoria quantistica dei campi, secondo la quale tutte le leggi di natura sono invarianti rispetto all’applicazione combinata di coniugazione [...] libero (ossia in assenza di interazioni), non è infatti noto alcun esempio fisicamente significativo di campo che soddisfi gli assiomi di Wightman. Una circostanza che suggerisce, insieme alle già accennate violazioni delle simmetrie P e CP, che lo ...
Leggi Tutto
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] risalire a L.E.J. Bruuwer e A. Heyting, che vede alle origini degli elementi della matematica (numeri, assiomi, teoremi, ecc.) un continuo intervento dell'intuizione, concepita come attività della mente che crea e costruisce i costituenti essenziali ...
Leggi Tutto
inferenza
inferènza [Der. del lat. inferentia, dal part. pres. inferens -entis di inferre "concludere", comp. di in- e ferre "portare"] [FAF] Ogni forma di deduzione con cui si dimostri il logico conseguire [...] campioni e limitato, mediante la stima dei parametri e il controllo delle ipotesi. ◆ [FAF] Regole di i.: in un sistema deduttivo, l'insieme delle regole secondo le quali le proposizioni possono essere dedotte dagli assiomi o da altre proposizioni. ...
Leggi Tutto
Anatomia
N. del seno (o n. seno-atriale) Formazione anatomica situata nell’atrio destro del cuore, in corrispondenza dello sbocco della vena cava superiore, importante nella regolazione del ritmo cardiaco.
Astronomia
Per [...] nella sua inversa t−1/2 (ciò si esprime dicendo che VK(t) è un polinomio di Laurent in t1/2). Per esso si considerano i seguenti assiomi: 1) se due link orientati K e K′ sono collegati da un’isotopia ambiente, allora VK(t)=VK′(t); 2) se U è un anello ...
Leggi Tutto
Matematico, fisico, filosofo tedesco (Mulhouse 1728 - Berlino 1777), d'origine francese. Fautore di una metafisica che adottasse il metodo matematico, nella sua opera più celebre, il Neues Organon, oder [...] sulla natura della metafisica, applicando il metodo analitico ai problemi dell'origine e dello sviluppo dei concetti base e degli assiomi che reggono la metafisica, ed ebbe grande influenza sia sull'opera di Tetens sia sulla Critica della ragion pura ...
Leggi Tutto
assioma
assiò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 filosofia, principio certo per immediata...
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 questo senso, però, il termine è sempre...