2006
Resultado de búsqueda
Harvey Friedman (born 23 September 1948) 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.
30 de ago. de 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...
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, Distinguished University Professor Emeritus of Mathematics, Philosophy, and Computer Science at the Ohio State University, principally works in the areas of foundations of mathematics and mathematical logic.
1 de ene. de 1985 · This chapter focuses on the work of mathematical logician Harvey Friedman, who was recently awarded the National Science Foundation's annual Waterman Prize, honoring the most outstanding American scientist under thirty-five years of age in all fields of science and engineering.
23 de jun. de 2009 · An oral history of MIT’s math department. By. Jennifer Chu. June 23, 2009. Midway through Harvey Friedman’s freshman year, it became clear that the young logician was a budding talent, so the...
29 de jul. de 2018 · Harvey Friedman is a Distinguished University Professor of Mathematics, Philosophy, and Computer Science Emeritus at Ohio State University. He is famous for his ground-breaking work on the foundations of mathematics. Here he gives us a brief introduction to a school of thought called constructivism.
