Kazalo:
Opredelitev - Kaj pomeni George Boole?
George Boole (1815–1864) je bil angleški logik, matematik in vzgojitelj. Začel je kot šolski mojster v Angliji in postal profesor matematike na Queen's University v Corku na Irskem. Izdelal je dve glavni deli iz logike, in sicer "Matematična analiza logike" (1847) in "Zakoni misli" (1854).
Izumil je Booleovo algebro, ki je razširila odnos med logiko in matematiko. Pozneje je postala osnova za preverjanje veljavnosti logičnih predlogov, narejeno s pomočjo dvovrednega binarnega značaja - resničnega ali napačnega. Boole zaradi svojega ogromnega prispevka k računalništvu, zlasti v digitalni računalniški logiki, velja za "očeta informacijske dobe."
Tehopedia razlaga George Boole
Boole, ki je bil večinoma samouk otrok, Boole ni nikoli obiskoval univerze. Šolal je moral pri 16 letih, ko je propadel očetov čevelj. Še istega leta je postal pomočnik učitelja, kasneje pa je odprl svojo šolo, ko je bil star 20. Kmalu se je George začel zanimati za matematiko in nadaljeval z odkrivanjem nove veje matematike, znane kot invariantna teorija. Leta 1844 je bil Boole za prispevek o diferencialnih enačbah nagrajen s prvo zlato medaljo londonskega Royal Society. Čeprav Boole ni imel univerzitetne diplome, je bil leta 1849 imenovan za profesorja matematike na Queen's University izključno na podlagi njegovih publikacij.
Boole je bil eden prvih Angležev, ki je pisal o logiki. Kot metodo za manipulacijo in matematično reševanje logičnih argumentov je razvil novo vrsto jezikovne algebre, danes znano kot Boolova algebra. Boole je predlagal, da bi bilo mogoče logične predloge reducirati na algebrske enačbe in matematične operande nadomestiti z logičnimi besedami, kot so AND, ALI IN NE. Navedel je splošne algoritme v algebričnem jeziku, ki jih je mogoče uporabiti za različne vrste zapletenih argumentov. V svojem delu "Zakoni misli" je skušal najti tudi skupno metodo v verjetnosti.
