Harvey Friedman (mathematician)

Harvey Friedman
Born	23 September 1948
Alma mater	Massachusetts Institute of Technology
Scientific career
Fields	Mathematics, Logic
Thesis	Subsystems of Analysis  (1967)
Doctoral advisors	Gerald Sacks

Harvey Friedman (born 23 September 1948)^[1] 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".