American mathematician who contributed to the design of the first general-purpose electronic digital computer (1915–2008)