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
Boole
Enciclopedia della Matematica (2013)
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. ...
Leggi Tutto
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
STORIA DELLA MATEMATICA
Enciclopedia della Matematica (2013)
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 ...
Leggi Tutto
Calcolatori
Enciclopedia del Novecento (2004)
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 ...
Leggi Tutto
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
Gottfried Leibniz
Storia della civiltà europea a cura di Umberto Eco (2014)
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 ...
Leggi Tutto
Logica e leggi del pensiero
Storia della civiltà europea a cura di Umberto Eco (2014)
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 ...
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