The Curry-Howard correspondence

• Haskell Curry (1900-1982)
• Started studying medicine at Harvard in 1916
• enlisted in the war on 18 October 1918
• inspired by a 1924 paper by M Schoenfinkel
• Ph.D in mathematics from Goettingen in 1930
• wrote on Combinatory Logic from 1958-1980
• taught at Harvard, Princeton, Pennsylvania State University, and the University of Amsterdam

• William Alvin Howard
• Nothing to do with William Howard Taft, 27th US President
• Also nothing to do with Lord William Howard (1563-1640), who the "William Howard School" is named after
• Currently teaches Proof theory and History of Math at University of Illinois