Harvey Friedman
Harvey Friedman (born 23 September 1948)[1] 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".
Friedman earned his
In 1967, Friedman was listed in the
Jordana Cepelewicz (2017) profiled Friedman in
Friedman made headlines in the Italian newspaper La Repubblica for his manuscript A Divine Consistency Proof for Mathematics, which shows in detail how, starting from the hypothesis of the existence of God (in the sense of Gödel's ontological proof), it can be shown that mathematics, as formalized by the usual ZFC axioms, is consistent.[9]
He invented and proved important theorems regarding the
Friedman is the brother of mathematician Sy Friedman.
According to
See also
References
- ^ ISBN 0-7923-7018-X, p. 38
- ^ Harvey Friedman at the Mathematics Genealogy Project
- ^ Barwise et al., Harvey Friedman's Research on the Foundations of Mathematics p.xiii. Studies in Logic and the Foundations of Mathematics, vol. 117, North-Holland Amsterdam
- ^ Dr. Harvey Martin Friedman - Distinctions
- ^ Ohio State University Distinguished Lecturers (2007—2008)
- ^ Harvey Friedman's Degrees and Employment History
- ^ Friedman, Harvey (September 4, 2013). "Eredoctoraat Harvey Friedman". UGent. Retrieved November 7, 2020.
- ^ The Man Who Wants to Rescue Infinity, by Jordana Cepelewicz, February 23, 2017.
- ^ Odifreddi, Piergiorgio (January 5, 2013). "La matematica ci riprova: "Ecco perché Dio esiste"". la Repubblica. Retrieved December 21, 2018.
- ^ https://www.researchgate.net/scientific-contributions/Harvey-M-Friedman-38912091
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)