1916-2001 biography boole claudeelwood computerlogic electricalengineers george greatbritain logic logiccircuits logicians mathematics philosophy qa28n342013 shannon symbolicandmathematical unitedstates