Harvey Friedman

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.

Adapted from “Harvey’s Foundational Adventures,” Harvey Friedman, The Ohio State University (accessed Feb. 23, 2017): https://u.osu.edu/friedman.8/