Harvey Friedman (mathematician)

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