Harvey Friedman

Harvey Friedman (born circa 1948)Handbook of Philosophical Logic, ISBN 0-7923-7018-X, p. 38] is a mathematical logician at Ohio State University in Columbus, Ohio. 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 received the Alan T. Waterman Award in 1984. He delivered the [http://math.berkeley.edu/events_series_tarski.html Tarski lectures] in 2007.

In 1967, Friedman was listed in the Guinness Book of World Records for being the world's youngest professor when he taught at Stanford University at age 18 as an assistant professor of philosophy. [ [https://pro.osu.edu/profiles/friedman.8/ Dr. Harvey Martin Friedman < OSU:pro ] ] [ [http://www.osu.edu/facultystaff/university_awards/2007/lecturer.php Recognizing Excellence at Ohio State | The Ohio State University | University Distinguished Lecturer ] ] He has also been a professor of mathematics and a professor of music. [ [http://www.math.ohio-state.edu/~friedman/degrees_employment.html Harvey Friedman ] ]

Friedman is the brother of mathematician Sy Friedman.

Further reading

* L. A. Harrington et al., eds., "Harvey Friedman's research in the foundations of mathematics", Studies in Logic and the Foundations of Mathematics 117, Amsterdam, North-Holland Publishing Company (1985)

References

External links

* [http://www.math.ohio-state.edu/%7Efriedman/ Harvey Friedman's homepage] at the Ohio State University
*