Harvey Friedman

From Wikipedia, the free encyclopedia
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 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.[2] Friedman received the Alan T. Waterman Award in 1984. He also assumed the title of Visiting Scientist at IBM.[3] He delivered the 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.[1][4][5] He has also been a professor of mathematics and a professor of music.[6] He officially retired in July 2012. In September 2013, he received an honorary doctorate from Ghent University.[7]

Jordana Cepelewicz (2017) profiled Friedman in Nautilus as "The Man Who Wants to Rescue Infinity".[8]

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 finite promise games and greedy clique sequences, and Friedman's grand conjecture bears his name.

Friedman is the brother of mathematician Sy Friedman.

According to ResearchGate, Friedman published over 200 peer-reviewed research articles during the course of his academic career.[10]

Harvey Friedman is a strong critic of the Democratic Party and of the party's illegal immigration policy claiming in November 2023 that:[11]

I have absolutely no doubt that within ten years it will become common knowledge that the Democrat Party in this period is a true existential threat to the very existence of anything like the USA, even the USA that you likely love. The likely trigger point will be devastating atrocities committed in the USA from a fraction of the millions of illegals invited in from everywhere without meaningful vetting or follow up.

[...]

I automatically assumed that you would have recognized the existential threat posed by Dems by now and the true relative – and vitally important – greatness of Donald Trump in this environment.

— Harvey Friedman

See also[edit]

References[edit]

  1. ^ a b Handbook of Philosophical Logic, ISBN 0-7923-7018-X, p. 38
  2. ^ Harvey Friedman at the Mathematics Genealogy Project
  3. ^ 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
  4. ^ Dr. Harvey Martin Friedman - Distinctions
  5. ^ Ohio State University Distinguished Lecturers (2007—2008)
  6. ^ Harvey Friedman's Degrees and Employment History
  7. ^ Friedman, Harvey (September 4, 2013). "Eredoctoraat Harvey Friedman". UGent. Retrieved November 7, 2020.
  8. ^ The Man Who Wants to Rescue Infinity, by Jordana Cepelewicz, February 23, 2017.
  9. ^ Odifreddi, Piergiorgio (January 5, 2013). "La matematica ci riprova: "Ecco perché Dio esiste"". la Repubblica. Retrieved December 21, 2018.
  10. ^ https://www.researchgate.net/scientific-contributions/Harvey-M-Friedman-38912091
  11. ^ https://archive.is/eluB5#selection-5107.0-5107.420

Further reading[edit]

External links[edit]