Past Visitor
Harvey Friedman
Affiliation
Mathematics
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. He has published extensively in topics such as model theory, proof theory and intuitionism, recursion theory, set theory, and computer science. Friedman’s additional research interests include, among others, the philosophy of mathematics, software verification, interactive educational technology, computational complexity, piano recording technology, and piano performance theory and practice.
Dates at IAS
Visitor
School of Mathematics
–
Other