# Harvey Friedman

> Harvey Friedman is an American mathematical logician at Ohio State University in Columbus, Ohio. He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary. In recent years, this has advanced to a study of Boolean relation theory, which attempts to justify large cardinal axioms by demonstrating their necessity for deriving certain propositions considered "concrete".

*American mathematician and logician*

**Canonical URL:** https://fame.am/person/harvey-friedman

## Identity
- **Profile type:** Academic ([Wikidata](https://www.wikidata.org/entity/Q39631))
- **Category:** Academics
- **Country:** United States
- **Born:** 1948-09-23
- **Status:** living
- **Gender:** male

## Bio

Imported from discovery source: wikidata-dump

## Fame
- **Popularity score:** 50.8 / 100
- **Momentum:** 10.0 / 100  (trend: RISING)
- **Historical depth:** 6.5 / 100
- **Now attention:** 0.0 / 100
- **Source confidence:** 40.0 / 100
- **Profile completeness:** 70.0 / 100

## Sources
- [Harvey Friedman](https://pt.wikipedia.org/wiki/Harvey_Friedman)
- [هارفي فريدمان](https://ar.wikipedia.org/wiki/%D9%87%D8%A7%D8%B1%D9%81%D9%8A_%D9%81%D8%B1%D9%8A%D8%AF%D9%85%D8%A7%D9%86)
- [هارفى فريدمان](https://arz.wikipedia.org/wiki/%D9%87%D8%A7%D8%B1%D9%81%D9%89_%D9%81%D8%B1%D9%8A%D8%AF%D9%85%D8%A7%D9%86)
- [Harvey Friedman (Mathematiker)](https://de.wikipedia.org/wiki/Harvey_Friedman_(Mathematiker))
- [Harvey Friedman (mathematician)](https://en.wikipedia.org/wiki/Harvey_Friedman_(mathematician))
- [Harvey Friedman](https://fr.wikipedia.org/wiki/Harvey_Friedman)
- [Harvey Friedman](https://ht.wikipedia.org/wiki/Harvey_Friedman)
- [Wikidata](https://www.wikidata.org/wiki/Q951297)

---
Generated by Fame.am · https://fame.am/person/harvey-friedman