1815-1864 1916-2001 autobiography biography boole computerlogic computers electricalengineers engineering george greatbritain history informationtheory logiccircuits logicians mathematicians qa28n342013 science shannon technology unitedstates