Harvey Friedman

Harvey Friedman is an American mathematical logician, born on September 23, 1948. He is currently associated with Ohio State University in Columbus, Ohio. Friedman's work primarily focuses on reverse mathematics, a field he helped establish, which aims to derive the axioms of mathematics from necessary theorems. His research has extended to Boolean relation theory, seeking to justify large cardinal axioms by demonstrating their necessity for deriving concrete propositions. Friedman earned his Ph.D. from the Massachusetts Institute of Technology in 1967 at the remarkable age of 19, with a dissertation titled "Subsystems of Analysis," under the advisement of Gerald Sacks. He was recognized in the Guinness Book of World Records as the world's youngest professor when he taught at Stanford University at age 18. His academic career has spanned various disciplines, including mathematics, philosophy, and even music. He received the prestigious Alan T. Waterman Award in 1984 and delivered the Tarski Lectures in 2007. He officially retired in July 2012 and received an honorary doctorate from Ghent University in September 2013. In the realm of mathematics, Friedman is credited with inventing and proving crucial theorems related to finite promise games and greedy clique sequences. His name is associated with "Friedman's grand conjecture." At the 1974 International Congress of Mathematicians, he presented work that established reverse mathematics by demonstrating equivalences between classical theorems in analysis and weak axiomatic systems. As of early 2025, he has published approximately 100 peer-reviewed articles and conference papers. Friedman has also explored the consistency of mathematics, notably in his manuscript "A Divine Consistency Proof for Mathematics." In this work, he posited that mathematics, as formalized by ZFC axioms, is consistent under the assumption of an ultrafilter with a specific property, drawing parallels to Gödel's ontological proof. This work was published in the book "Ontology of Divinity." He is the brother of mathematician Sy Friedman. Friedman's extensive contributions have been recognized through numerous awards and publications, solidifying his position as a significant figure in modern mathematical logic.