Innehåll
- Definition - Vad menar George Boole?
- En introduktion till Microsoft Azure och Microsoft Cloud | I hela denna guide kommer du att lära dig vad cloud computing handlar om och hur Microsoft Azure kan hjälpa dig att migrera och driva ditt företag från molnet.
- Techopedia förklarar George Boole
Definition - Vad menar George Boole?
George Boole (1815–1864) var en engelsk logiker, matematiker och pedagog. Han började som skolmästare i England och blev professor i matematik vid Queen's University, Cork, Irland. Han producerade två huvudverk i logik, nämligen "Matematisk analys av logik" (1847) och "Lagens tanke" (1854).
Han uppfann booleska algebra, som utvidgade förhållandet mellan logik och matematik. Det blev senare grunden för att kontrollera giltigheten av logiska förslag, gjorda med hjälp av ett binärt tecken med två värden - sant eller falskt. För hans enorma bidrag till datavetenskap, särskilt inom digital datorlogik, betraktas Boole som "informationsålderns far."
En introduktion till Microsoft Azure och Microsoft Cloud | I hela denna guide kommer du att lära dig vad cloud computing handlar om och hur Microsoft Azure kan hjälpa dig att migrera och driva ditt företag från molnet.
Techopedia förklarar George Boole
Boole var en till stor del självlärd barnbarn och gick aldrig på universitetet. Han tvingades lämna skolan 16 år gammal efter att hans fäder skobransch kollapsade. Samma år blev han assistentlärare och öppnade senare sin egen skola när han var 20 år. George blev snart intresserad av matematik och fortsatte med att upptäcka en ny gren i matematik känd som invariant teori. År 1844, för ett papper om differentiella ekvationer, tilldelades Boole den första guldmedaljen av Royal Society of London. Trots att Boole inte hade någon universitetsgrad utsågs han 1849 till professor i matematik vid Queen's University endast på grundval av hans publikationer.
Boole var en av de första engelsmännen som skrev på logik. Han utvecklade en ny typ av språklig algebra, nu känd som boolesisk algebra, som en metod för att manipulera och matematiskt lösa logiska argument. Boole föreslog att de logiska förslagen skulle kunna reduceras till algebraiska ekvationer och de matematiska operandema kan ersättas av logiska ord som AND, OR och NOT. Han tillhandahöll generella algoritmer på ett algebraiskt språk som kunde tillämpas på olika typer av komplexa argument. I sitt arbete "Lagar om tanken" försökte han också hitta en vanlig metod för sannolikheter.