yaleuniversity - Happy Birthday, Paul Rudolph (23 October 1918 —...