classe
classe [Der. del lat. classis] [LSF] Ognuna delle divisioni in cui vengono raggruppati vari enti omogenei, in genere con opportune qualificazioni. ◆ [FAF] C., o anche c. logica, è in genere sinon. [...] di insieme: c. unità e c. vuota, insieme, rispettiv., con un solo elemento oppure con nessun elemento. ◆ [ALG] C. caratteristica per fibrati di rango uno: v. classi caratteristiche: I 628 d. ◆ [ALG] C. ...
Leggi Tutto
polivalente
polivalènte [agg. Comp. di poli- e -valente] [CHF] Detto: (a) di elemento che presenta più di un grado di valenza (per es., il ferro, che è bi-, tri- ed esavalente, raramente anche monovalente); [...] (b) di alcole con più gruppi alcolici (per es., le glicerine). ◆ [ALG] [FAF] Logica p.: logica nella quale si possono avere vari gradi di verità (o, che è lo stesso, di attendibilità), come quando si ammette, per es., che una proposizione che non sia ...
Leggi Tutto
incompleto
incomplèto [agg. Comp. di in- neg. e completo] [CHF] Reazione i.: reazione che s'arresta prima della completa trasformazione delle sostanze reagenti. ◆ [ALG] [FAF] Teoria i.: nella logica [...] matematica, una teoria formalizzata si dice sintatticamente i. quando esiste una formula del suo linguaggio di cui non si può dimostrare né la verità né la falsità, e si dice semanticamente i. se esistono ...
Leggi Tutto
metamatematica
metamatemàtica [Comp. di meta- e matematica] [ALG] [ANM] [FAF] La scienza che ha per oggetto l'analisi formale delle strutture matematiche e che può essere identificata con la logica matematica. ...
Leggi Tutto
computazione quantistica
Giulio Casati
Un computer quantistico è una macchina che elabora l’informazione e compie operazioni logiche in base alle leggi della meccanica quantistica. Esso opera cioè secondo [...] una logica quantistica, profondamente diversa da quella classica in base alla quale funzionano gli attuali calcolatori. L’unità di informazione quantistica è lo sviluppo di algoritmi basati sulla logica quantistica. Un’altra risorsa fondamentale della ...
Leggi Tutto
De Morgan Augustus
De Morgan 〈dë mòghën〉 Augustus [STF] (Madura, India, 1806 - Londra 1871) Prof. di matematica nell'univ. di Londra (1828). ◆ [ALG] Leggi, o teoremi, di D.: nella logica matematica, [...] leggi del calcolo proposizionale che hanno una notevole rilevanza nell'algebra booleana: v. circuiti logici: I 618 f. ...
Leggi Tutto
valido
vàlido [agg. Der. del lat. validus "valido", che è da valere "stare bene, essere forte"] [ALG] [FAF] Formula logicamente v. o universalmente v. o anche semplic. v.: nella logica matematica, ogni [...] formula che risulti vera qualunque sia il signif. dei simb. che compaiono in essa ...
Leggi Tutto
regressione
regressióne [Der. del lat. regressio -onis "atto ed effetto del regredire", dal part. pass. regressus di regredi "tornare indietro", comp. di re- "indietro" e gradi "camminare""] [FAF] Nella [...] logica, è il procedimento nel quale si procede non dall'universale al particolare, ma si "torna indietro" dal particolare all'universale, dall'effetto alla causa, dal condizionato alla condizione. ◆ [ASF] R. dei nodi: lo stesso che retrogradazione ...
Leggi Tutto
non standard
nón stàndard [locuz. agg.] [LSF] Generic., di enti o condizioni non usuali, non rispondenti a certe norme, e simili. ◆ [ALG] [FAF] Analisi n.: disciplina nata nell'ambito della logica matematica, [...] negli anni '60 di questo secolo, per rendere coerente e rigoroso il metodo degli infinitesimi e infiniti dell'analisi settecentesca; si è in seguito rivelata uno strumento utile per risolvere problemi ...
Leggi Tutto
nulla
nulla [s.m. invar. Lat. nulla, pl.neutro del-l'agg. nullus "nessuno"] [FAF] La categoria mentale del non essere, dell'assenza di qualunque cosa o concetto. ◆ [ALG] [FAF] Nella logica matematica, [...] la classe cui non appartiene alcun elemento, detta anche classe vuota, insieme vuoto, insieme nullo, ecc ...
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...