Innholdsfortegnelse:
Definisjon - Hva mener George Boole?
George Boole (1815–1864) var en engelsk logiker, matematiker og pedagog. Fra og med som skolemester i England ble han professor i matematikk ved Queen's University, Cork, Irland. Han produserte to hovedverk i logikk, nemlig "The Mathematical Analysis of Logic" (1847) og "The Laws of Thought" (1854).
Han oppfant boolsk algebra, som utvidet forholdet mellom logikk og matematikk. Det ble senere grunnlaget for å kontrollere gyldigheten av logiske proposisjoner, gjort ved hjelp av en toverdig binær karakter - sann eller usann. For sine enorme bidrag til informatikk, spesielt innen digital datamaskinlogikk, regnes Boole som "informasjonsalderens far."
Techopedia forklarer George Boole
Boole, som i stor grad var en selvlært barnevind, gikk aldri på universitetet. Han ble tvunget til å forlate skolen 16 år gammel etter at farens skovirksomhet kollapset. Samme år ble han assistentlærer, og åpnet senere sin egen skole da han var 20 år. George ble snart interessert i matematikk og fortsatte med å oppdage en ny gren i matematikk kjent som invariant teori. I 1844, for et papir om differensiallikninger, ble Boole tildelt den første gullmedaljen fra Royal Society of London. Selv om Boole ikke hadde noen universitetsgrad, ble han i 1849 utnevnt til professor i matematikk ved Queen's University utelukkende på grunnlag av publikasjonene.
Boole var en av de første engelskmennene som skrev på logikk. Han utviklet en ny type språklig algebra, nå kjent som boolsk algebra, som en metode for å manipulere og matematisk løse logiske argumenter. Boole foreslo at de logiske proposisjonene kunne reduseres til algebraiske ligninger og de matematiske operandene kan erstattes av logiske ord som AND, OR og NOT. Han ga generelle algoritmer på et algebraisk språk som kunne brukes på forskjellige typer komplekse argumenter. I arbeidet sitt "Laws of Thought" prøvde han også å finne en vanlig metode for sannsynligheter.
