Harvey Friedman
Harvey Friedman may refer to: * Harvey Friedman (mathematician) Harvey Friedman (born 23 September 1948)Handbook of Philosophical Logic, , p. 38 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 ... * Harvey Friedman (actor) {{hndis, Friedman, Harvey ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  

Harvey Friedman (mathematician)
Harvey Friedman (born 23 September 1948)Handbook of Philosophical Logic, , p. 38 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". Biography Friedman is the brother of mathematician Sy Friedman. Friedman earned his Ph.D. from the Massachusetts Institute of Technology in 1967, at age 19, with a dissertation on ''Subsystems of Analysis''. His advisor was Gerald Sacks. Friedman received the Alan T. Waterman Award in 1984. He also assumed the title of Visiting Scientist at IBM. He delivered the Tarski Lectures in 2007. In 1967, Friedman was listed in the ''Guinness Book of World Records'' for being ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]