Cerca in:
Boole, George
Enciclopedia on line
Matematico e logico inglese (Lincoln 1815 - Cork 1864). Già nel 1844 ebbe riconoscimenti dalla Royal Society; prof. di matematica dal 1849 al Queen College di Cork. Autore di ricerche sulle equazioni differenziali e sul calcolo delle differenze finite, è tuttavia principalmente noto per i suoi studî di logica matematica che lo pongono a fondatore dell'algebra della logica (The mathematical analysis ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
algebra di Boole
Enciclopedia della Scienza e della Tecnica (2008)
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] che è complementato e potremo definire un’operazione ′: A→A per cui
x ∨ x ′ = 1 x ∧ x ′ = 0.
Le algebre di Boole sono reticoli limitati, distributivi e complementati. Esempi sono l’algebra B(I)=〈P(I),∩,∪,‒〉 dei sottoinsiemi di un insieme dato mentre ...
Leggi Tutto
booleano
Dizionario delle Scienze Fisiche (1996)
booleano
booleano [agg. Relativo al matematico G. Boole] [ALG] Algebra b.: lo stesso che algebra di Boole (→ Boole, George). ◆ [ALG] Funzioni e operazioni b.: le funzioni e le operazioni dell'algebra [...] b., quali la somma logica (OR), il prodotto logico (AND), ecc.: v. circuiti logici: I 618 b. ◆ [ALG] Reticolo b.: lo stesso che algebra booleana ...
Leggi Tutto
CATEGORIA:
ALGEBRA
L'Ottocento: matematica. Algebra della logica
Storia della Scienza (2003)
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 [...] che le classi x e y sono uguali (hanno gli stessi elementi). L'atto di selezione al quale corrisponde la classe vuota è indicato con '0'. Boole fissa quindi i seguenti tre principî del calcolo: (1) x(u+v)=xu+xv; (2) xy=yx; (3) xn=x.
Il principio 3 è ...
Leggi Tutto
monadico
Dizionario delle Scienze Fisiche (1996)
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato ...
Leggi Tutto
Gregory, Duncan Farquharson
Enciclopedia on line
Matematico (Edimburgo 1813 - ivi 1844). Fellow del Trinity College a Cambridge nel 1840, fondò con Robert Ellis il Cambridge math ematical journal (1838), su cui pubblicò anche George Boole. È autore di [...] Examples of the processes of the differentials and integral calculus (1841) e A treatise on the application of analysis to solid geometry (post., 1845); la maggior parte dei suoi saggi sono stati raccolti ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Macfarlane, Alexander
Enciclopedia on line
Matematico inglese (n. 1851 - m. Chatham, Ontario, 1913). Lettore di matematica e fisica (dal 1895) nell'univ. Lehigh di Bethlehem, Pennsylvania, visse poi a Chatham; sviluppò le ricerche di G. Boole sull'algebra [...] delle classi ("algebra della logica"), studiò i quaternioni e altri sistemi algebrici, scrisse sulla storia delle matematiche inglesi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Schröder, Ernst
Enciclopedia on line
Matematico e logico (Mannheim 1841 - Karlsruhe 1902); prof. al politecnico di Karlsruhe, fu eminente algebrista. Classiche le sue Vorlesungen über die Algebra der Logik (3 voll., 1890-95), in cui viene [...] offerta, basandosi sui lavori di G. Boole e sulla Formenlehre di R. Grassmann, una completa trattazione algebrica del calcolo delle classi e del calcolo proposizionale e un elaborato sviluppo del calcolo delle relazioni di Peirce. Si deve a S. anche ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Stone, Marshall Harvey
Enciclopedia on line
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 [...] notevoli a svariati rami della matematica, come le algebre di Boole, 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. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
logici, circuiti
Enciclopedia on line
In elettronica, dispositivi che attuano operazioni di algebra logica binaria.
Operazioni logiche binarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] algebra logica e le notazioni proposte da G. Boole (algebra booleana; ➔ Boole, George), non solo per la semplicità ma soprattutto perché tutte e sole le operazioni definite da Boole sono applicabili ai circuiti di commutazione. Indicando con 0 ( ...
Leggi Tutto