# Fame.am profile — machine-readable export
# Canonical URL: https://fame.am/person/harvey-friedman
# Generated: 2026-08-13T16:24:55.158Z

schema: https://schema.org/Person
url: "https://fame.am/person/harvey-friedman"
name: "Harvey Friedman"
slug: "harvey-friedman"
description: "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\"."
tagline: "American mathematician and logician"
image: "https://commons.wikimedia.org/wiki/Special:FilePath/Harvey_Friedman.jpg?width=1200"
gender: "male"
country:
  name: "United States"
  isoCode: "US"
category:
  name: "Academics"
  slug: "academics"
profileType:
  name: "Academic"
  slug: "academic"
  entityType: "https://www.wikidata.org/entity/Q39631"
birthDate: "1948-09-23"
livingStatus: "LIVING"
scores:
  popularity:           50.79
  momentum:             10
  historical:           6.506457333333334
  currentAttention:     0
  sourceConfidence:     39.99999999999999
  profileCompleteness:  70
  trendDirection:       "RISING"
ranks:
  global:   null
  country:  null
  category: null
sources:
  - url: "https://pt.wikipedia.org/wiki/Harvey_Friedman"
    title: "Harvey Friedman"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "هارفي فريدمان"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "هارفى فريدمان"
    type:  "WIKIPEDIA"
  - url: "https://de.wikipedia.org/wiki/Harvey_Friedman_(Mathematiker)"
    title: "Harvey Friedman (Mathematiker)"
    type:  "WIKIPEDIA"
  - url: "https://en.wikipedia.org/wiki/Harvey_Friedman_(mathematician)"
    title: "Harvey Friedman (mathematician)"
    type:  "WIKIPEDIA"
  - url: "https://fr.wikipedia.org/wiki/Harvey_Friedman"
    title: "Harvey Friedman"
    type:  "WIKIPEDIA"
  - url: "https://ht.wikipedia.org/wiki/Harvey_Friedman"
    title: "Harvey Friedman"
    type:  "WIKIPEDIA"
  - url: "https://www.wikidata.org/wiki/Q951297"
    title: "Wikidata"
    type:  "WIKIDATA"

# bio (long form, separated for readability)
bio: |
  Imported from discovery source: wikidata-dump