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.
Harvey Friedman (born 1959), sometimes credited as Harvey Friedmann, is an American film, television and theatre actor.
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.
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.
Ph.D. Massachusetts Institute of Technology (1967) Mathematical Logic and Foundations. Columbus. Department of Mathematics.
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.
Feb 23, 2017 · Harvey Friedman is about to bring incompleteness and infinity out of quarantine. Early on, Harvey Friedman, Visitor (1975) in the School of Mathematics, understood that discovering concrete examples of mathematical incompleteness among already-existing statements would be an arduous task.
