Harvey Friedman

Harvey Friedman (born September 23, 1948) is a mathematical logician. He discovered the block subsequence theorem, the TREE sequence, Friedman's circle theorem and the subcubic graph numbers, which produce some of the most powerful computable functions yet defined. The SCG function is believed to surpass BEAF, and even Chris Bird's extension.