John Richard Bonde Bolin Hamming