Harvey Friedman Faculty Emeritus friedman.8@osu.edu Professional Website Areas of Expertise Mathematical Logic & Foundations Education Ph.D. Massachusetts Institute of Technology (1967) People Filters: Mathematical Logic and Foundations Columbus