Harvey Friedman

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