George Boole

George Boole, (n. 2 noiembrie 1815, Lincoln, Lincolnshire, Anglia – decedat la 8 decembrie 1864, Ballintemple, comitatul Cork, Irlanda), matematician englez care a contribuit la stabilirea logicii simbolice moderne și a cărui algebră logică, numită în prezent algebră booleană, este de bază pentru proiectarea circuitelor digitale pentru calculatoare.

Boole a primit primele lecții de matematică de la tatăl său, un comerciant, care l-a învățat și să facă instrumente optice. Cu toate acestea, în afară de ajutorul tatălui său și de câțiva ani la școlile locale, Boole a fost autodidact în matematică. Când afacerile tatălui său au intrat în declin, George a fost nevoit să muncească pentru a întreține familia. De la vârsta de 16 ani a predat în școli sătești din West Riding of Yorkshire, iar la 20 de ani și-a deschis propria școală în Lincoln. În puținul timp liber pe care îl avea, a citit reviste de matematică la Institutul de Mecanică din Lincoln. Acolo a citit, de asemenea, Principia lui Isaac Newton, Traité de mécanique céleste a lui Pierre-Simon Laplace și Mécanique analytique a lui Joseph-Louis Lagrange și a început să rezolve probleme avansate de algebră.

Boole a trimis un flux de lucrări originale la noul Cambridge Mathematical Journal, începând în 1841 cu „Researches on the Theory of Analytical Transformations”. Aceste lucrări se refereau la ecuațiile diferențiale și la problema algebrică a transformării liniare, punând accentul pe conceptul de invarianță. În 1844, într-o lucrare importantă din Philosophical Transactions of the Royal Society, „On a General Method of Analysis” (Despre o metodă generală de analiză), pentru care a primit prima medalie de aur pentru matematică a Royal Society, a discutat despre modul în care ar putea fi combinate metodele de algebră și de calcul. Boole a văzut curând că algebra sa ar putea fi aplicată și în logică.

Dezvoltând idei noi despre metoda logică și încrezător în raționamentul simbolic pe care îl derivase din investigațiile sale matematice, a publicat în 1847 o broșură, „The Mathematical Analysis of Logic, being an Essay towards a Calculus of Deductive Reasoning”, în care a argumentat în mod convingător că logica ar trebui să fie aliată cu matematica, nu cu filosofia. A câștigat admirația logicianului englez Augustus De Morgan, care a publicat Logica formală în același an. Pe baza publicațiilor sale, Boole a fost numit, în 1849, profesor de matematică la Queen’s College, County Cork (în prezent University College Cork), deși nu avea nicio diplomă universitară. În 1854 a publicat An Investigation into the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities (O investigație asupra legilor gândirii, pe care se bazează teoriile matematice ale logicii și probabilităților), pe care o considera o expunere matură a ideilor sale. În anul următor s-a căsătorit cu Mary Everest, nepoata lui Sir George Everest, cel care a dat numele muntelui. Soții Booles au avut cinci fiice.

Unul dintre primii englezi care au scris despre logică, Boole a evidențiat analogia dintre simbolurile algebrice și cele care pot reprezenta formele logice și silogismele, arătând cum simbolurile cantității pot fi separate de cele ale operației. Cu Boole a început, în 1847 și 1854, algebra logicii, sau ceea ce astăzi se numește algebra booleană. Metoda simbolică generală originală și remarcabilă de deducție logică a lui Boole, enunțată pe deplin în Laws of Thought (1854), permite ca, date fiind orice propoziții care implică orice număr de termeni, să se tragă concluzii care sunt conținute logic în premise. Raționamentul abscons al lui Boole a condus la aplicații la care acesta nu a visat niciodată – de exemplu, comutatoarele telefonice și computerele electronice folosesc cifre binare și elemente logice care se bazează pe logica booleană pentru proiectarea și funcționarea lor. El a încercat, de asemenea, o metodă generală în domeniul probabilităților, care să facă posibilă, pornind de la probabilitățile date ale oricărui sistem de evenimente, determinarea probabilității consecvente a oricărui alt eveniment legat logic de evenimentele date.

În 1857 Boole a fost ales membru al Royal Society. Influentul A Treatise on Differential Equations (Tratat de ecuații diferențiale) a apărut în 1859 și a fost urmat în anul următor de continuarea sa, A Treatise on the Calculus of Finite Differences (Tratat de calcul al diferențelor finite). Folosite ca manuale școlare timp de mulți ani, aceste lucrări întruchipează o elaborare a celor mai importante descoperiri ale lui Boole.

Boole a contractat o pneumonie după ce a mers pe jos cinci kilometri de la casa sa până la Queen’s College, pe o furtună, la 24 noiembrie 1864. A murit pe 8 decembrie.

.