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