Indholdsfortegnelse:
Definition - Hvad betyder George Boole?
George Boole (1815-1864) var en engelsk logiker, matematiker og underviser. Han startede som skolemester i England og blev professor i matematik ved Queen's University, Cork, Irland. Han producerede to større værker inden for logik, nemlig "Den matematiske analyse af logik" (1847) og "The Laws of Thought" (1854).
Han opfandt boolsk algebra, som udvidede forholdet mellem logik og matematik. Det blev senere grundlaget for at kontrollere gyldigheden af logiske forslag, gjort ved hjælp af et toværdigt binært tegn - sandt eller falsk. For sine enorme bidrag til datalogi, især inden for digital computerlogik, betragtes Boole som "informationsalderens far."
Techopedia forklarer George Boole
Boole, der i vid udstrækning var en selvlært barnevælde, gik aldrig på universitetet. Han blev tvunget til at forlade skolen 16 år gammel, efter at hans fars skoforretning kollapsede. Samme år blev han assistentlærer og åbnede senere sin egen skole, da han var 20 år. George blev snart interesseret i matematik og fortsatte med at opdage en ny gren i matematik kendt som invariant teori. I 1844, for et papir om differentialligninger, blev Boole tildelt den første guldmedalje af Royal Society of London. Selv om Boole ikke havde nogen universitetsgrad, blev han i 1849 udnævnt til professor i matematik ved Queen's University udelukkende på grundlag af hans publikationer.
Boole var en af de første engelskmenn, der skrev på logik. Han udviklede en ny type sproglig algebra, nu kendt som boolsk algebra, som en metode til at manipulere og matematisk løse logiske argumenter. Boole foreslog, at de logiske propositioner kunne reduceres til algebraiske ligninger, og de matematiske operander kan erstattes af logiske ord som AND, OR og NOT. Han leverede generelle algoritmer på et algebraisk sprog, der kunne anvendes på forskellige typer komplekse argumenter. I sit arbejde "Tænkelove" forsøgte han også at finde en almindelig metode i sandsynligheder.
