Harvey Friedman (1948年9月23日生まれ)はオハイオ州立大学を2012年の夏に退職した数理論理学者である。
Friedman の研究業績には、巨大数に関するものがある。たとえば、block subsequence theorem、circle theorem、TREE数列、サブキュービックグラフ数、有限約束ゲームである。有限約束ゲームはローダー数を超えると考えられている。
Friedman は、独学のアマチュアピアニストでもある。
外部リンク[]
- Harvey Friedman's home page
- Harvey Friedman at Wikipedia
- Harvey Friedman, Long Finite Sequences
- Harvey Friedman, Enormous Integers in Real Life