Googology Wiki
Advertisement
Googology Wiki
Harvey-friedman

Harvey Friedman in 2011.

Harvey Friedman (born September 23, 1948) is a mathematical logician who taught at the Ohio State University until his retirement in the summer of 2012.[1][2]

Since 1997, Friedman has been continuing a series of posts to New York University's FOM (Foundations of Mathematics) mailing list which he calls the "numbered posts."[3] They cover a wide range of topics in mathematical logic, and some of the research involves large numbers. For example, he created and proved the block subsequence theorem[4], circle theorem, the TREE sequence, the subcubic graph numbers, transcendental integers[5] and finite promise games.

Friedman is also a self-taught amateur pianist.

Sources[]

See also[]

Advertisement