Harvey Friedman

Harvey Friedman (born September 23, 1948) is a mathematical logician who taught at the until his retirement in the summer of 2012.

Some of Friedman's work involve very large numbers. For example, he discovered the block subsequence theorem, circle theorem, the TREE sequence 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.