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 [...] dei vettori, cioè il loro risultante. ◆ S. logica: (a) [ALG] [FAF] nella logica matematica, lo stesso che congiunzione; (b) [INF] l'operazione logica binaria indicata usualmente con il simb. OR (v. circuiti logici: I 618 c). ◆ [ANM] S. standard: v ...
Leggi Tutto
teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] centrale, teorema del. ◆ [FAF] T. di correttezza e di completezza della logica dei predicati: v. logica: III 485 c. ◆ [ELT] T. fondamentale di una funzione booleana: v. circuiti logici: I 619 e. ◆ [FAF] T. invertibile e inverso: un t. invertibile ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz
Massimo Mugnai
Gottfried Wilhelm Leibniz
Gli anni giovanili
Gottfried Wilhelm Leibniz nasce a Lipsia il 1° luglio 1646, da famiglia [...] e un linguaggio nel quale rappresentare tutti i ragionamenti di tipo assertorio. Leibniz ritiene in tal modo di potenziare la logica non solo per quel che riguarda la tradizionale arte del giudizio (ars judicandi), ma anche per ciò che concerne la ...
Leggi Tutto
famiglia
famìglia [Der. del lat. familia] [LSF] Insieme di enti aventi qualità simili. ◆ [ALG] [ANM] (a) Generic., una totalità di enti che godono di proprietà simili; costituiscono una f. le coniche, [...] : lo stesso che classe di famiglie. ◆ [FSN] F., o generazione, di quark e leptoni: → quark. ◆ [ALG] [INF] F. logica: v. circuiti logici: I 621 e. ◆ [PRB] F. raccordata, o proiettiva: v. processi stocastici: IV 606 f. ◆ [FNC] F. radioattiva: il ...
Leggi Tutto
universo
univèrso [Der. del lat. universum, neutro sostantivato dell'agg. universus; nell'uso astronomico è nome proprio e quindi ha l'iniziale maiusc.] [ASF] L'insieme dei corpi celesti e dello spazio [...] considerati. ◆ [ASF] Età dell'U.: v. Universo: VI 419 f. ◆ [ALG] [FAF] Insieme u.: nella teoria degli insiemi e nella logica matematica, l'insieme agli elementi del quale si applica l'operazione o la teoria considerata, in partic. un'operazione o una ...
Leggi Tutto
risolubile
risolùbile [agg. Der. del lat. resolubilis "che si può risolvere", dal part. pass. resolutus del lat. resolvere "sciogliere di nuovo"] [ALG] Equazione algebrica r. per radicali, o r. algebricamente: [...] e due dimensioni (v. modelli risolubili in meccanica statistica). ◆ [ALG] [FAF] Problema non r., o indecidibile: nella logica matematica, problema logico che in linea di principio non ammette una soluzione generale: è tale, per es., il problema di ...
Leggi Tutto
astratto
astratto [agg. e s.m. Der. del part. pass. abstractus del lat. abstrahere "tirar fuori, astrarre", comp. di ab- "fuori" e trahere "trarre"] [FAF] Ottenuto per astrazione, oppure, in contrapp. [...] detta pure algebra moderna o semplic. algebra: v. algebra: I 91 a. ◆ [LSF] Scienze a.: quelle (come la matematica, la logica, ecc.) che non hanno per oggetto la realtà empirica. ◆ [ALG] Spazio a.: denomin. generica per indicare un insieme di elementi ...
Leggi Tutto
deduzione
deduzióne [Der. del lat. deductio -onis, da deducere "dedurre", comp. di de- "da" e ducere "trarre"] [LSF] Una proposizione, la verità o il giudizio che si deduce, con il metodo deduttivo, [...] per taluno) come il ragionamento che giunge a proposizioni particolari partendo da proposizioni generali. ◆ [ALG] [FAF] Nella logica matematica, l'operazione (detta anche derivazione o dimostrazione) con la quale, in un sistema deduttivo, si ottiene ...
Leggi Tutto
tre
tré [s.m. invar. Der. del lat. tres] [ALG] Il terzo elemento della successione dei numeri naturali. ◆ [ASF] Problema dei t. corpi (con collisione tripla finale, con moto iperbolico-ellittico, iperbolico-parabolico, [...] di due grandezze legate da relazioni di proporzionalità (diretta o inversa); consiste nello scrivere e risolvere, in successione logica, una serie di proporzioni con uno dei termini incogniti. ◆ [ALG] Regola del t. semplice: per risolvere problemi di ...
Leggi Tutto
meno
méno [Der. del lat. minus, comparativo di parvus "piccolo"] [ALG] Segno con vari signif.: (a) simb. dell'operazione di sottrazione, anche nel signif. che tale operazione ha nell'algebra astratta; [...] degli insiemi, la scrittura A-B ("A m. B") indica l'insieme dei punti di A che non appartengono a B. ◆ [FAF] Nella logica matematica, indica la negazione; per es., se A è una proposizione, -A ("m. A" o "non A") indica la proposizione contraria di A ...
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...