Boole

George Boole geëerd door GoogleGeorge Boole is een wiskundige die bij computergebruikers vooral bekend is van de Booleaanse logica.

Het persoonlijke karakter van Boole was voor zijn vrienden een bron van de grootste achting.

Leibniz stierf in 1716 en zijn opvolgers, waaronder George Boole, bleven druk zoeken naar antwoorden op zijn vragen.

Na haar huwelijk met George Boole begon ze bij te dragen aan de wetenschappelijke wereld door haar man te adviseren bij zijn werk en zijn lezingen bij te wonen, wat in die tijd voor een vrouw ongehoord was.

Pas een kleine tweehonderd jaar later ontwierp George Boole het eerste volledige logische formalisme voor de propositielogica.

Shannon zag dat het werk van Boole de grondslag kon vormen voor mechanismen en processen in de echte wereld en daarom uiterst relevant was.

Tijdens de laatste paar jaar van zijn leven was Boole onafgebroken bezig met het uitbreiden van zijn onderzoek, met de bedoeling om een tweede editie te voltooien van zijn Differential Equations, die veel afgeronder zou zijn dan de eerste uitgave.

Wel eens van Boole gehoord?

Scientias - George Boole: wie was hij en wat deed hij?

Boole liet zien hoe, bij elke propositie met betrekking tot elk getal, door de zuiver symbolische behandeling van de premissen, elke conclusie getrokken kon worden die logisch in die premissen besloten lag.

Aan het Cambridge Mathematical Journal en de opvolger daarvan, het Cambridge en Dublin Mathematical Journal, droeg Boole in totaal tweeëntwintig artikelen bij.

In de informatica is boolean een datatype met slechts twee mogelijke waarden, true (waar, ja) en false (onwaar, nee), bedoeld om de waarheidswaarde van logische expressies in computerprogramma 's en Boole-algebra 's te representeren.

In het begin van de twintigste eeuw begon Pieter Hendrik Schoute samen met Alicia Boole Stott met onderzoek naar polytopen.

Keynes vond dat Boole een fundamentele vergissing had begaan, die zijn analyse veel schade had berokkend.

Rond 1840 beschreven wiskundigen als George Boole de basis van het logisch redeneren als wiskundige bewerkingen ( Boolese algebra ).

Sindsdien heeft George Boole de propositielogica en later rond 1879 Gottlob Frege de predicatenlogica ontwikkeld.