The journal
Open the journal →The conversation starts in the journal — be the first to post.
About 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".
Everything about Harvey Friedman →- Occupation
- mathematician, logician, university teacher
- Citizenship
- United States
- Born
- September 23, 1948