Harvey Friedman

Harvey Friedman - American mathematician, discovered an extremely fast growing functions from graph theory:

n(k) - block subsequence theorem;

TREE(k) - TREE sequence;

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