Harvey Friedman

Harvey Friedman (born September 23, 1948) is a mathematical logician who taught at the until his retirement in the summer of 2012.Harvey Friedman's home page at Wikipedia
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."List of numbered posts up to 2014-08-11 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 theoremHarvey Friedman, Long Finite Sequences, circle theorem, the TREE sequence, the subcubic graph numbers, transcendental integersHarvey Friedman, Enormous Integers in Real Life and finite promise games.
Friedman is also a self-taught amateur pianist.
== Sources ==
== See also ==
ja:Harvey Friedman
Category:People