Search results
Harvey Friedman is an American mathematical logician who worked on reverse mathematics and Boolean relation theory. He was the world's youngest professor at 19 and received the Alan T. Waterman Award in 1984.
Feb 17, 2017 · 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 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.
Jan 1, 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.
Harvey Friedman is a mathematician, philosopher, and computer scientist who retired from The Ohio State University in 2012. He is known for his work on the foundations of mathematics, incompleteness, and extreme infinity, and has a YouTube channel and a Nautilus article.
Emeritus Professor. friedman.8@osu.edu. 614-292-8434. 754 Mathematics Building. 231 West 18th Ave. Columbus, OH. 43210. Areas of Expertise. Philosophy of Mathematics. Foundations of Mathematics. Education. Ph.D. in Mathematics at The Massachusetts Institute of Technology, 1967. Recent Publications: Model Theory.
Jun 23, 2009 · A Sum of Its Parts. 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...
