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 and the SCG function, for example, are believed to surpass BEAF; SCG exceeds even Chris Bird's extension.