Harvey Friedman

Harvey Freidmann - American mathematician, discovered an extremely fast growing functions:

n(k) - block subsequence theorem;

TREE(k) - TREE sequence;

SSCG (k) and SCG(k) - subcubic graph number.