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

Boole, George

Boole 

Boole George (Lincoln 1815 - Cork 1864) logico e matematico irlandese. Figlio di un bottegaio, per studiare dovette superare notevoli difficoltà. Dopo gli iniziali studi umanistici, la sua formazione [...] ), la sua opera più importante, per la quale è considerato uno dei fondatori dell’algebra della logica (o algebra di Boole) e il primo ad aver avuto piena coscienza dell’applicabilità delle nozioni e dei metodi algebrici a oggetti non matematici.

Boole

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

lògica matemàtica

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

Gregory, Duncan Farquharson

STORIA DELLA MATEMATICA 

Luigi Borzacchini

STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] , in genere considerata quasi inutile per la scienza. Ma già verso la metà dell’Ottocento, soprattutto in Inghilterra, la logica di George Boole (1815-64) mette in luce una nuova connessione tra l’algebra e la logica, in cui quest’ultima appare come

STORIA DELLA MATEMATICA

Calcolatori 

GGianfranco Bilardi e Raffaele Tripiccione

Nicola Cabibbo

Mario Rasetti

Hardware, di Gianfranco Bilardi e Raffaele Tripiccione
Calcolatori paralleli, di Nicola Cabibbo
Calcolo quantistico, [...] zero e uno. Matematicamente, una tale regola viene indicata con l'espressione 'funzione booleana' (dal nome del matematico George Boole che, nel XIX secolo, propose queste funzioni come modello delle operazioni del pensiero). Un risultato di logica

Calcolatori

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

L'Ottocento: matematica. Algebra della logica

Claudio Fiocchi

Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook


Scienziato e filosofo, Leibniz ha esercitato (e continua a esercitare) un’influenza [...] e prodotto per rappresentare operazioni logiche. Arriva quindi a ottenere risultati che saranno riscoperti in maniera autonoma da George Boole quasi due secoli dopo (la maggior parte dei lavori di Leibniz dedicati al calcolo logico rimarrà inedita

Storia della civiltà europea a cura di Umberto Eco (2014)

Gottfried Leibniz

Claudio Fiocchi


Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Gli straordinari sviluppi della logica dell’Ottocento vanno visti alla luce della coeva [...] tradizionale aristotelica;
2) l’impiego dell’algebra come linguaggio per la logica, a partire dai lavori di George Boole, realizza in buona parte il progetto leibniziano di matematizzazione della logica attraverso un calculus ratiocinator;
3) con

Logica e leggi del pensiero

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

george boole