Harvey Friedman
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
Harvey Friedman (born 23 September 1948)[1] is a 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".
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
- REDIRECT Template:Interlanguage link
- This is a redirect from a page that was merged into another page. This redirect was kept in order to preserve this page's edit history after its content was merged into the target page's content. Please do not remove the tag that generates this text (unless the need to recreate content on this page has been demonstrated) nor delete this page. For more information follow the bold category link.
- For redirects with substantive page histories that did not result from page merges use {{R with history}} instead. 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.[1][2][3] He has also been a professor of mathematics and a professor of music.[4] He officially retired in July of 2012.
Friedman is the brother of mathematician Sy Friedman.
See also
References
- ↑ 1.0 1.1 Handbook of Philosophical Logic, ISBN 0-7923-7018-X, p. 38
- ↑ Dr. Harvey Martin Friedman
- ↑ Ohio State University Distinguished Lecturers (2007—2008)
- ↑ Harvey Friedman's Degrees and Employment History
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)
External links
- Harvey Friedman's homepage at the Ohio State University
- Harvey Friedman at the Mathematics Genealogy Project
Lua error in package.lua at line 80: module 'strict' not found.
