Concept

Harvey Friedman (mathematician)

Overview

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

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Harvey Friedman (mathematician)

• George Boolos

Related ideas

• Philosophy
• Zermelo–Fraenkel set theory
• Mathematics
• Axiomatic system
• Massachusetts Institute of Technology
• Mathematical logic
• Professor
• Doctor of Philosophy
• Ohio State University
• Stanford University
• Axiom
• Gödel's ontological proof

Place in the tradition

Part of First-order logic.

Explore Harvey Friedman (mathematician) in the interactive graph →