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
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à [...] dk. In modo simile si definisce la s. diretta di A-moduli, dialgebre ecc. S. logica Nelle algebrediBoole, operazione corrispondente all’usuale operazione logica di congiunzione. Con significato simile, in elettronica, operazione logica elementare ...
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, [...] è lo studio delle operazioni finitarie su di un insieme, e l'obiettivo della ricerca è quello di trovare e trattare le eventuali proprietà che a. tra di loro così diverse come anelli, campi, algebrediBoole, reticoli e gruppi possono avere in comune ...
Leggi Tutto
Algebra
Irving Kaplansky
sommario: 1. Introduzione. 2. Gruppi in generale. 3. Gruppi semplici finiti. 4. Gruppi infiniti. 5. Gruppi liberi. 6. Gruppi abeliani infiniti. 7. Anelli in generale. 8. Corpi. [...] minimo O, è complementato se, per ogni x, esiste un y per cui x ⋀ y = 1 x ⋀ y = 0. Le algebrediBoole sono reticoli distributivi complementati.
Vi è una notevole connessione tra la teoria dei reticoli e i fondamenti della geometria; con qualche ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] (1902-1983), in The algebra of topology (1944), posero le basi di un nuovo calcolo algebrico. Il concetto centrale era quello dialgebradi chiusura, un tipo di struttura che si ottiene aggiungendo a un'algebradiBoole un nuovo operatore unario C ...
Leggi Tutto
algebradiBoole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebrediBoole trovano una prima formulazione assiomatica [...] che ha dato l’inizio allo studio sistematico delle algebrediBoole è il teorema dimostrato da Marshall Stone nel 1936 per cui ogni algebradiBoole è isomorfa ;all’algebra dei clopen di uno spazio compatto totalmente sconnesso. Nel 1947 Lynn Loomis ...
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 [...] . Possiamo così provare che le tautologie della logica classica coincidono con le tautologie le cui matrici hanno come algebre le algebrediBoole e il valore designato è 1, mentre tautologie intuizioniste saranno le tautologie rispetto a matrici su ...
Leggi Tutto
Matematico (New York 1903 - Madras 1989), prof. alla Harvard University dal 1933 e, successivamente, alle univ. di Chicago (1946-68) e (dal 1968) del Massachusetts. Scienziato insigne, S. ha dato contributi [...] rami della matematica, come le algebrediBoole, l'analisi funzionale, la teoria degli operatori. Celebre è il teorema di approssimazione di S.-Weierstrass, che costituisce un'ampia generalizzazione del classico teorema di K. Th. W. Weierstrass. Tra ...
Leggi Tutto
INTEGRAZIONE E MISURA
Giorgio Letta
. La moderna teoria dell'i. si occupa del concetto generale di "misura" e del concetto di "integrale" relativo a un'arbitraria misura. Essa costituisce una notevole [...] sviluppi della teoria, ci limiteremo a citare: le m. in algebrediBoole (o in altre strutture algebriche), le m. vettoriali, l'integrazione delle funzioni vettoriali, le capacità, le m. di Hausdorff, la "teoria geometrica" della m. (i cui recenti ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] riesce a costruire CW-complessi con preassegnati gruppi di omotopia.
Decidibilità della teoria delle algebrediBoole. Il logico polacco Alfred Tarski dimostra che la teoria delle algebrediBoole è decidibile; cioè, esiste un algoritmo che, data ...
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,...