2006
Search results
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.
Friedman’s project is as much about the philosophy of math as it is about math itself. “He created a sophisticated state-of-the-art machinery to turn combinatorial objects into universes,” says Andrey Bovykin, a mathematician at the Federal University of Bahia in Brazil.
Harvey Friedman was born in 1959 in Pittsburgh, Pennsylvania, USA. He is an actor, known for Valkyrie (2008), Speed Racer (2008) and The Physician (2013). He has been married to Cynthia Barcomi Friedman since 26 July 2003. They have two children.
- January 1, 1
- 1.70 m
- Pittsburgh, Pennsylvania, USA
Harvey Friedman is a distinguished professor of mathematics, philosophy, and computer science at Ohio State University. He works on foundations of mathematics, logic, set theory, and other topics, and has been a visitor at the Institute for Advanced Study in 1975.
Aug 30, 2019 · I am Harvey M. Friedman, Distinguished University Professor of Mathematics, Philosophy, Computer Science Emeritus, Ohio State University. I was also a Professor of Music for...
Harvey Friedman was born in 1959 in Pittsburgh, Pennsylvania, USA. He is an actor, known for Valkyrie (2008), Speed Racer (2008) and The Physician (2013). He has been married to Cynthia Barcomi Friedman since 26 July 2003.
People also ask
Who is Harvey Friedman married to?
Who is Harvey Friedman?
Who is Harvey Friedman wife Cynthia Barcomi?
Who is Howard Friedman?
Jul 29, 2018 · Harvey Friedman is a mathematician and philosopher who works on the foundations of mathematics. He explains what constructivism is, why it is important, and how it affects classical and practical mathematics.
