Goldstine, Herman H. (Herman Heine), 1913-2004