GEORGE BOOLE

Volevo dedicare questo post a George Boole dalla quale derivano i tipi di dati semplici 'boolean' in Pascal dove i valori posso essere o veri o falsi.


George è stato un matematico e un logico considerato il fondatore della logica matematica. Morì per una grave forma febbrile all'età di soli 49 anni. Boole si dedicò allo studio di metodi algebrici per la risoluzione di equazioni differenziali nel 1849 fu nominato alla cattedra di matematica al Queen's College di Cork. In questa sede egli insegnò per il resto della sua vita. La sua opera più importante fu quella indirizzata alle leggi del pensiero, con la quale propose una nuova impostazione della logica. Con questo lavoro fondò la teoria di quelle che attualmente vengono dette algebre di Boole.Successivamente si dedicò alle equazioni differenziali. Egli studiò anche il calcolo delle differenze finite e problemi generali del calcolo delle probabilità. Inoltre fu tra i primi ad esaminare proprietà fondamentali dei numeri, come la propietà distributiva. Egli coltivò anche molti interessi nella letteratura e nella filosofia.

Primo estimatore e continuatore della sua opera fu Augustus de Morgan. L'opera maggiore di Boole è stata la base per gli studi sui circuiti elettronici e sulla commutazione e ha costituito un passo importante verso la concezione dei moderni computer.