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.
Harvey Friedman. Professor, Department of Mathematics. 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.
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, 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.
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.
Welcome to the web pages of Harvey M. Friedman! I am Distinguished University Professor of Mathematics, Philosophy, and Computer Science Emeritus at The Ohio State University, where I retired in 2012. You can click on the pages listed on the left column to go where you want to go.
Jun 23, 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...
