Harvey Friedman
From Wikipedia, the free encyclopedia
Harvey Friedman is a mathematical logician at The Ohio State University. He is noted especially for his work 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".
Friedman earned his Ph.D. from the Massachusetts Institute of Technology in 1967, with a dissertation on Subsystems of Analysis. His advisor was Gerald Sacks.
Friedman is the brother of mathematician Sy Friedman.
[edit] External links
- Harvey Friedman's homepage at the Ohio State University
- Harvey Friedman at the Mathematics Genealogy Project
 |
This article about a mathematician is a stub. You can help Wikipedia by expanding it. |
