American mathematician and logician
Verify ownership in 2 minutes. Keeps the profile accurate and discoverable.
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".
No platforms connected yet.
Claim this profile to add yours →The six component signals behind the Fame score, and their ranks across the leaderboards.
Similar profiles worth watching