Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] dirsi assiomatico formale, un calcolo astratto delle classi costruendo anche quella particolare algebra nota come algebradiBoole; si interessò altresì della possibilità di un calcolo delle proposizioni.
C.S. Peirce
In seguito l’opera fu ...
Leggi Tutto
Biologia
In biologia cellulare, r. endoplasmatico (o endoplasmico), sistema di cavità delimitate da membrane, presente nel citoplasma di tutte le cellule. È costituito da una membrana formata da un unico [...] complementato è un’algebradiBoole. Le algebrediBoole godono di molte proprietà specifiche; per es., il complemento di x ⋃ y è uguale a x′ ⋂ y′ e, dualmente, il complemento di x ⋂ y è x′⋃ y′. Un’algebradiBoole è prodotto diretto di r. costituiti ...
Leggi Tutto
Ingegneria
Il termine a., introdotto negli anni 1940 da J. Diebold per descrivere il largo impiego di apparecchiature automatiche manifestatosi soprattutto nell’industria automobilistica, esprime oggi [...] commutazione telefonica e nei sistemi di sicurezza e di blocco degl’impianti di controllo del traffico stradale e ferroviario), ricorre all’algebra logica e in particolare all’algebradiBoole, la quale consente di interpretare il funzionamento dei ...
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 [...] ), oppure dalla coppia (0, g2).
La totalità dei p. di un insieme A ha essa stessa una struttura algebrica che, a seconda dei casi, può essere un reticolo, un’algebradiBoole ecc. La nozione di p. ha però interesse soprattutto in relazione agli spazi ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] umane, incluso il pensiero (v. automa, V, p. 554). Un ampio ventaglio di ricerche nell'ambito della logica matematica (dall'algebradi G. Boole al concetto teorico di algoritmo di A. Turing, alle idee sull'architettura delle macchine calcolatrici ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] alla metà dell’Ottocento, con i lavori di George Boole sull’analisi algebrica della sillogistica tradizionale (1847) e la costruzione da parte di Gottlob Frege di un linguaggio formale in grado di riprodurre e analizzare la struttura logica del ...
Leggi Tutto
Probabilità
Gian-Carlo Rota e Joseph P.S. Kung
*La voce enciclopedica Probabilità è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Marco Li Calzi.
sommario: 1. Introduzione. [...] . Questo reticolo sembra poter sostenere un ruolo complementare a quello del reticolo - o σ-algebradiBoole - degli eventi. È questo un campo di ricerche che deve essere ulteriormente approfondito. Il valore numerico naturale associato a un evento è ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] e 'a(+b)=a'.
Qualche anno dopo la pubblicazione della Pure logic di Jevons, Charles S. Peirce (1839-1914) proponeva in un saggio sull'algebradiBoole (On an improvement in Boole's calculus of logic, 1867) l'adozione della somma logica non esclusiva ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La matematica del Novecento è stata paragonata nel 1951 da Hermann Weyl al delta del [...] al teorema di rappresentazione per le algebrediBoole (pubblicato nel 1936) per cui ogni algebradiBoole è isomorfa a una particolare algebradi insiemi. La rappresentazione è genuinamente topologica perché identifica ogni algebradiBoole con la ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] ‒ e quindi tali che i rapporti fra essi risultano di fatto assimilabili a quelli di un'algebradi classi, ossia a un'algebradiBoole completa e atomica. Per la trattazione formale di questi rapporti, Leśniewski preferiva, alla consueta inclusione, l ...
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...
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...