Edwin James Dummett (British, 1906 - 1989)