Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] comune. I suoi studi lo portarono a concepire l’idea di una teoria generale delle relazioni, ben più ampia della sillogistica classica. Boole non fu mai alla scuola di Cambridge; fu però a essa legato tramite l’amicizia con D.F. Gregory e De Morgan ...
Leggi Tutto
Matematica
In algebra, particolare tipo di endomorfismo di un insieme A dotato di una qualsiasi struttura algebrica. Si tratta precisamente di un endomorfismo π (diverso dall’endomorfismo identico) idempotente [...] di un insieme A ha essa stessa una struttura algebrica che, a seconda dei casi, può essere un reticolo, un’algebra di Boole ecc. La nozione di p. ha però interesse soprattutto in relazione agli spazi, per es., di Banach, di Hilbert, di Kantorovič; in ...
Leggi Tutto
somma In matematica, il risultato dell’ordinaria operazione di addizione o anche l’operazione stessa; in senso estensivo, si parla spesso di s. anche con riferimento a operazioni che soddisfano le proprietà [...] modo simile si definisce la s. diretta di A-moduli, di algebre ecc. S. logica Nelle algebre di Boole, operazione corrispondente all’usuale operazione logica di congiunzione. Con significato simile, in elettronica, operazione logica elementare su due ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] approfondito di ciò che i simboli sono presi a significare. È lecito tuttavia intendere che essi esprimano, come per Boole, le operazioni della nostra mente? (rist. 1987, pp. 188-89).
Più ancora del radicamento del neoidealismo nella cultura italiana ...
Leggi Tutto
tautologia
Silvio Bozzi
Termine che definisce ogni formula di un linguaggio preposizionale che sia logicamente valida, vale a dire vera in ogni interpretazione delle costanti extralogiche (le costanti [...] che le tautologie della logica classica coincidono con le tautologie le cui matrici hanno come algebre le algebre di Boole e il valore designato è 1, mentre tautologie intuizioniste saranno le tautologie rispetto a matrici su algebre di Heyting ...
Leggi Tutto
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] di corpo, di campo, di modulo, di semigruppo, di quasicorpo, di spazio vettoriale, di a. di Lie, di a. di Boole, di a. in senso proprio ecc. In alcuni casi ha interesse la esplicita considerazione di due diverse strutture, simultaneamente presenti in ...
Leggi Tutto
Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] n righe e n colonne? Un esempio teorico: qual è la "lunghezza minima" della scrittura di un elemento in un'a. di Boole? (G. Birkhoff, l. c.).
c) Teoria algebrica degli automi. Si può dare una definizione formale (matematica) di un automa M. Esso è ...
Leggi Tutto
GAZZANIGA, Paolo
Luca Dell'Aglio
Nato a Soresina (Cremona) il 26 luglio 1853 da Pietro e Giulia Moschini, svolse a Pavia i suoi studi superiori, frequentando il collegio Ghislieri e laureandosi nel [...] di Casorati, l'applicazione di metodi algebrici in ambito differenziale; in particolare, riprendendo alcuni temi delle ricerche di G. Boole e D.F. Gregory, il G. si occupò dell'uso dell'algebra simbolica nell'integrazione di equazioni lineari alle ...
Leggi Tutto
L’attività e l’operazione di rappresentare con figure, segni e simboli sensibili, o con processi vari, anche non materiali, oggetti o aspetti della realtà, fatti e valori astratti, e quanto viene così [...] : a) ogni gruppo finito è isomorfo a un gruppo di permutazioni (teorema di Cayley); b) ogni algebra di Boole è isomorfa a un’algebra di Boole ‘concreta’ cioè all’insieme P(E) costituito dalle parti di un insieme E provvisto delle operazioni di ...
Leggi Tutto
L'Ottocento: matematica. Immagini della matematica nell'Ottocento
Umberto Bottazzini
Immagini della matematica nell'Ottocento
Il panorama della matematica negli ultimi decenni del XIX sec. è per molti [...] lavori di geometria analitica e descrittiva. Nel "Journal" di Gregory appaiono nel 1840 anche i primi articoli di George Boole (1815-1864), un autodidatta di genio, che coniuga una sicura padronanza dei metodi simbolici con una grande originalità di ...
Leggi Tutto
booleano
‹bul-› agg. [dal nome del matematico ingl. G. Boole (1815-1864)]. – Algebra b., particolare tipo di struttura algebrica nella quale possono esprimersi relazioni logiche in modo analogo a quello in cui nell’algebra convenzionale si...
Bowle
‹bóolë› s. f., ted. [voce di origine ingl., cfr. sved. bål]. – Bevanda alcolica in uso nei paesi germanici, costituita da una miscela zuccherata di varî vini bianchi (Reno, Mosella, Champagne) nella quale si lasciano in infusione per...