Answer by John Coleman for Mathematicians with both “very abstract” and “very applied” achievements

Ronald Graham spent his career at Bell Labs working on applied problems such as scheduling theory, but is also known for his work in Ramsey theory. In that context Graham's number held the record for many years as the largest natural number ever used in a serious mathematical proof. Such numbers are not really part of applied mathematics.