Person

Harvey Friedman

0 members

What's driving coverage of Harvey Friedman right now?

Comments

Ask this entity anything:

Free account · your comment posts right after signup

Harvey Friedman

Not who you're looking for? Others named Harvey Friedman: American actor

0 members

What's driving coverage of Harvey Friedman right now?

Comments

Ask this entity anything:

Free account · your comment posts right after signup

Harvey Friedman across IJR

Studio characters

Harvey FriedmanAsk anything — within reason.Harvey FriedmanAsk anything — within reason.

Ask Genius about Harvey Friedman Create in Studio Build a game Watch videos

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

Overview