93,820 profiles ranked live

Back to the boardThe board
Platforms not linked yet.

Harvey Friedman

✓ Source-basedrising

American mathematician and logician

United StatesAcademicsBorn 1948 · age 78
CompareClaim
Fame50.8
Momentum10.0
Languages7
In century#95,045

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.

Also inDeutsch

Awards 3

2002Gödel Lecturer
1984Alan T. Waterman Award
Guggenheim Fellowship

In their orbit 1

Connected to Harvey 6

Scott AaronsonAlso won Alan T. Waterman AwardSaharon ShelahAlso won Gödel LecturerFeng ZhangAlso won Alan T. Waterman AwardPer Martin-LöfAlso won Gödel LecturerRichard AxelAlso won Alan T. Waterman AwardMichael O. RabinAlso won Gödel Lecturer

About this person

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".

Country
United States
Category
Academics
Type
Academic
Status
living
Dates
Born 1948 · age 78
Written about in
7 languages

Fame.am measures public visibility signals. It does not measure human value, talent, morality, or credibility.