Harvey Friedman (mathematician)

Harvey Friedman was born on 23 September 1948. He is an American mathematical logician at Ohio State University in Columbus, Ohio. He is known for his important work in understanding the foundations of mathematics.

One of his main areas of study is called reverse mathematics. This helps mathematicians learn which rules are needed to prove important math ideas. It shows the basic building blocks of math.

More recently, Friedman has been working on Boolean relation theory. This work looks at how very big numbers, called large cardinal axioms, are needed to prove certain math statements. His research helps us understand some of the most complex ideas in modern math.

Biography

Harvey Friedman is the brother of mathematician Sy Friedman. He earned his Ph.D. from the Massachusetts Institute of Technology in 1967 when he was 19 years old. In 1967, he was listed in the Guinness Book of World Records for being the world's youngest professor. He taught at Stanford University when he was only 18. He retired in July 2012 and later received an honorary doctorate from Ghent University in September 2013.

Career

Harvey Friedman is a mathematician who has created and solved important math problems, including something called "finite promise games." In 1974, he gave a talk at a big math meeting that helped start a field called reverse mathematics. This field studies which math rules are needed to prove different math ideas.

Friedman has written about 100 research papers. He has also been featured in magazines and newspapers. He wrote a special paper that connects math ideas to a big question about the universe, using a concept from famous mathematician Kurt Gödel.