巨大数研究 Wiki
登録
Advertisement
巨大数研究 Wiki

Harvey Friedman (1948年9月23日生まれ)はオハイオ州立大学を2012年の夏に退職した数理論理学者である。

Friedman の研究業績には、巨大数に関するものがある。たとえば、block subsequence theoremcircle theoremTREE数列サブキュービックグラフ数有限約束ゲームである。有限約束ゲームはローダー数を超えると考えられている。

Friedman は、独学のアマチュアピアニストでもある。

外部リンク[]

関連項目[]

Advertisement