Haskell Brooks Curry (1900/09/12 - 1982/09/01). The logician who re-invented and developed CombinatoryLogic.
He also developed the original algorithms for HindleyMilnerTypeInference.
The FunctionalProgramming language HaskellLanguage was named after him.
"Currying" (CurryingSchonfinkelling on this wiki) is also named after him.
Talk about a guy who will be remembered through history! His first name became a programming language (HaskellLanguage) [as did his middle], and his last name became a verb (CurryingSchonfinkelling). I'm going to Wikipedia to see whether he first coined the phrase "I will brook no argument"...
See also CurryHowardIsomorphism