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
lògica matemàtica
Enciclopedia on line
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 [...] recente. Possiamo collocare la sua data di nascita al massimo 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 ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
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
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 [...] e distributiva in algebra, fornendo in tal modo una base per le ulteriori speculazioni di Boole.
La nascita dell'algebra della logica: George Boole
George Boole (1815-1864) insegnò matematica al Queen's College di Cork, in Irlanda, dal 1849 al ...
Leggi Tutto
L'Ottocento: matematica. Teoria degli invarianti
Storia della Scienza (2003)
L'Ottocento: matematica. Teoria degli invarianti
Leo Corry
Teoria degli invarianti
L'algebra del XIX sec. ebbe uno sviluppo intenso che coprì numerosi domini. Nuove entità matematiche come gruppi, anelli [...] prime osservazioni relative a tale problematica. Il vero sviluppo della teoria, però, iniziò soltanto dopo il 1840, quando apparvero i lavori di George Boole (1815-1864) in Inghilterra e di Ludwig Otto Hesse (1811-1874) in Germania.
Il contributo di ...
Leggi Tutto
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
La logica e i fondamenti della matematica tra Ottocento e Novecento
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 [...] formule usate nella trattazione. Tuttavia non bisogna dimenticare che Peano segue ancora la tradizionale impostazione di George Boole e Schröder nell’ammettere una lettura duale, proposizionale e insiemistica, dello stesso simbolo: per es., ∩ denota ...
Leggi Tutto
L'Ottocento: matematica. Immagini della matematica nell'Ottocento
Storia della Scienza (2003)
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à ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
L'Età dei Lumi: matematica. Gli sviluppi del calcolo in Gran Bretagna
Storia della Scienza (2002)
L'Eta dei Lumi: matematica. Gli sviluppi del calcolo in Gran Bretagna
Niccolò Guicciardini
Gli sviluppi del calcolo in Gran Bretagna
Un declino della matematica britannica?
Il metodo delle flussioni [...] Principles of analytical calculation (1803) ‒ a dominare in Gran Bretagna nella prima metà dell'Ottocento, dando numerosi frutti: basti citare le ricerche di Babbage, Herschel, George Biddell Airy, William Whewell, Augustus De Morgan e George Boole. ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
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 [...] per mezzo di essi, sono normalmente utilizzate la formulazione dell’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 ...
Leggi Tutto