sopralineatura
sopralineatura (o soprallineatura) [Der. di sopralineare "tracciare una linea sopra qualcosa", comp. di sopra e lineare "tracciare linee"] [ALG] (a) Sulle lettere che indicano i punti [...] salvo diversa indicazione, è il valore medio di essa (alternativamente all'uso di parentesi angolari). ◆ [ALG] [FAF] Nella logica matematica, sul simb. di una proposizione, trasforma questa nella sua negazione. ◆ [FSN] Sul simb. di una particella, lo ...
Leggi Tutto
MACCHINE
Vittorio Marchis e Marcella Corsi
Storia della tecnologia
di Vittorio Marchis
Definizioni e classificazione
Si definisce macchina un complesso di elementi fissi e mobili, vincolati cinematicamente, [...] con i sistemi di rilevamento sensoriale e con le strutture logiche di elaborazione dei segnali per il comando degli organi delle due. Il modello classico offre solo una struttura logica che, a seconda delle diverse ipotesi interpretative, può ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Bohr ed Einstein: fenomeni e realta fisica
Sandro Petruccioli
Bohr ed Einstein: fenomeni e realtà fisica
Gli storici della scienza hanno tentato diverse [...] nello spazio e nel tempo. Nel già citato saggio del 1949, Bohr sottolineava che questo era un punto "di grande importanza logica, poiché solo il fatto che ci troviamo di fronte alla scelta 'o' di tracciare il percorso di una particella 'oppure' di ...
Leggi Tutto
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] f (nel senso che per gli stessi argomenti assume gli stessi valori di f). ◆ [FAF] Teorema di c. semantica: nella logica, teorema, dimostrato da H. Gödel nel 1930, secondo il quale ogni teoria elementare, cioè del primo ordine, non contraddittoria ha ...
Leggi Tutto
monade
mònade [Der. del lat. monas -adis "unità", dal gr. monás -ádos da mónos "uno solo"] [FAF] Seguendo la definizione di G.W. Leibniz (1696), adattata al successivo sviluppo che il concetto ha avuto [...] in gran numero, costituiscono i particolari sistemi fisici che sono oggetto di studio della meccanica statistica, qual è, come tipico esempio, un gas. ◆ [FAF] [ANM] Con signif. particolare nella logica matematica: v. analisi non standard: I 145 d. ...
Leggi Tutto
generalizzazione
generalizzazióne [Der. di generalizzare, da generale, "il rendere generale"] [FAF] L'estensione, se lecita, della validità di leggi, principi, risultati sperimentali e simili a un contesto [...] : per es., la legge di Ohm, originar. formulata per un conduttore lineare passivo, è stata generalizzata in forma vettoriale locale a conduttori qualunque (v. corrente elettrica stazionaria: I 784 e). ◆ [FAF] Regola di g.: v. logica: III 485 b. ...
Leggi Tutto
distributivo
distributivo [Der. di distribuzione] [ALG] [ANM] Operazioni d.: quelle che, applicate a una somma, danno per risultato la somma dei risultati relativi ai singolo addendi, quale la moltiplicazione [...] ◆ [ALG] Proprietà d.: proprietà caratteristica del prodotto in un anello, a(b+c)=ab+ac, con a,b,c elementi dell'anello. ◆ [FAF] Reticolo d. e terna d.: quelli per i quali vale la distributività della congiunzione: v. logica quantistica: III 488 a, b. ...
Leggi Tutto
Fisica
In fisica nucleare e subnucleare, il rapporto di d. (ingl. branching ratio), in un decadimento radioattivo di un nucleo o nel decadimento di una particella subnucleare che possa avvenire secondo [...] si indica con d. anche la selezione tra due o più possibili sequenze di istruzioni basata sul risultato di una qualche operazione logica. Una istruzione di d. è quella che realizza una d. in un programma.
Matematica
Punto di d. Punto del piano della ...
Leggi Tutto
proprio
pròprio [Der. del lat. proprius, probab. dalla locuz. pro privo "a titolo privato"] [LSF] Conserva il signif. di proprietà e quindi con signif. affine a quello di peculiare, specifico e simili. [...] generico, in senso lato e sim. per sottolineare la specificità di qualcosa. ◆ [ALG] [FAF] Assiomi p., o non logici: nella logica matematica, gli assiomi specifici di una teoria formalizzata. ◆ [ALG] [FAF] Classe p.: ogni insieme che non possa essere ...
Leggi Tutto
Fisico, nato a Treviso il 2 marzo 1926. Laureato in fisica nel 1951 all'università di Padova, dal 1963 è professore di Meccanica razionale dapprima a Palermo e poi, dal 1968, a Padova. Dal 1980 è socio [...] svolto ricerche sulla meccanica analitica, sulla meccanica quantistica e sui principi fondamentali della relatività ristretta e generale. Si è interessato inoltre di logica modale
È autore, tra l'altro, di A general interpreted modal calculus (1972). ...
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 viene espresso; in partic., in Aristotele,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...