Richard W. Hamming, NY Times Obituary

RWH