PREZENTARE GENERAL:
GEORGE BOOLE (NSCUT LA 2 NOIEMBRIE 1815, LINCOLN- DECEDAT
LA 8 DECEMBRIE 1864, BALLINTEMPLE) A FOST MATEMATICIAN,
LOGICIAN I FILOZOF BRITANIC. A FOST CREATORUL LOGICII
MATEMATICE MODERNE, AL ALGEBREI BOOLEENE, CARE, MAI TRZIU,
VA STA LA BAZA INFORMATICII I A REALIZRII COMPUTERULUI.
COALA/UNIVERSITATEA
William Brooke, un librar n Lincoln, l-a ajutat s nsueasc latina, pe care mai apoi a nuit-o la coala lui
Thomas Bainbridge. El a fost autodidact n limbi moderne.
La vrsta de 16 ani Boole a devenit un adevrat ajutor pentru prinii i cei trei frai mai mici, ocupnd o
poziie de predare junior n Doncaster la coala Heigham.
A predat pentru scurt timp n Liverpool. Boole a participat la Institutul de Mecanic locale, Institutia de
Mecanica lui Lincoln, care a fost fondat n 1833.
Edward Bromhead, pe care-l tia John Boole l-a ajutat cu cri de matematic.
La vrsta de 19 ani, Boole a stabilit cu succes propria sa coal n Lincoln. Patru ani mai trziu, el a preluat
Academia Hall n Waddington, n afara lui Lincoln, dup moartea lui Robert Hall.
Din 1849 pred matematica la Queen's College din Cork. Aici se concretizeaz pe deplin la talentul i
capacitile sale.
A fost membru al Academiei de tiine din Sankt Petersburg i a mai multor societi de tiin.
CREAIE
George Boole pune bazele a ceea ce ulterior se va numi algebr boolean,
dezvoltnd un nou tip de logic, logica matematic.
A introdus o clas special de latici, ceea ce a constituit nceputul a ceea ce ulterior
va fi denumit algebr boolean.
Prin reducerea la un simbolism logic, Booole a creat o algebr uor de neles
(algebr logic, boolean), care cuprinde calculul claselor, calculul propoziiilor i
calculul relaiilor i care deci cuprinde codificarea gndirii corecte.
Boole a stabilit 7 axiome i prin aceasta a dat logicii matematice un domeniu
tiinific autonom, care are numeroase i variate aplicaii i joac un rol important
n teoria circuitelor electronice.
George Boole s-a mai ocupat i de sistemele hipercomplexe generale.
LUCRRI
Prima lucrare publicat de Boole a fost Cercetri n teoria transformrilor analitice , cu o
aplicaie special pentru reducerea ecuaiei generale de ordinul al doilea , tiprit n Jurnalul
Cambridge, matematic , n februarie 1840 ( Volumul 2 , nr . 8, pp . 64- 73 ) , i a condus la
o prietenie ntre Boole i Duncan Farquharson Gregory , editorul revistei .
Lucrrile sale n aproximativ 50 de articole i cteva publicaii separate.
n anul 1841 Boole a publicat o lucrare influent n teoria invariant timpurie .
El a primit o medalie de la Societatea Regal pentru memoriile sale din 1844 , pe o metod
general de analiz . A fost o contribuie la teoria ecuaiilor difereniale liniare , trecnd de
la cazul coeficienilor constante pe care le-a publicat deja , la coeficieni variabili . Inovaia
n metodele operaionale este de a admite c operaiunile nu fac naveta.
n 1847 Boole a publicat Analiza matematic a logicii , prima dintre lucrrile sale asupra
logicii simbolice.
LUCRRI
1847: Mathematical Analysis of Logic
1852: Studies in Logic and Probability
1854: An Investigation into the Laws of Thought, on which are
Founded the Mathematical Theories of Logic and Probabilities
1859: Treatise on Differential Equations
1860: Treatise on the Calculus of Finite Differences
IPOTEZE
Ecuaii difereniale
Analiz
Logic simbolic
Definirea universului de discurs (1854)
Tratamentul de adugare n logic
Teoria probabilitii
APRECIERI I DISTINCII
Boole a primit Medalia Keith de Royal Society of Edinburgh n 1855.
El a fost ales ca membru al Royal Society ( IAS ) n 1857
El a primit diplome de onoare de LL.D. de la Universitatea din Dublin si la
Universitatea din Oxford .
Biblioteca instituiei University College Cork i poart numele.
Exist un crater lunar care este numit Boole.
Lucrrile lui Boole au inspirat numeroi matematicieni romni: Octav
Onicesu, D. V. Ionescu (1958), Dan Barbilian(1936), Adolf Haimovici(1961),
Mihail Benado(1960), S. Rudeanu (1963).
FAMILIA
In 1855 sa cstorit cu Mary Everest (nepoata lui George Everest), care a scris mai
trziu, mai multe lucrri educaionale pe principiile soului ei.
A avut cinci fiice Booles: