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.
Many of you may want to go to my YouTube site http://www.youtube.com/channel/UCdRdeExwKiWndBl4YOxBTEQ with its videos of my lecturing on the foundations of mathematics, and with my streaming hyper edited electronic piano performances.
Or take a look at my current Biographical Statements BIOS,073017-2i35kbw
Or you may want to look at the Nautilus magazine article at NautilusArticle-1cb1y5t published online on 2/23/17.
Of course the Nautilus article title is rather dramatic and took me by surprise. The subtitle “Harvey Friedman is about to bring incompleteness and infinity out of quarantine” is more reassuring – I would prefer “extreme infinity” to “infinity” here. The very thorough fact checking process at Nautilus does not include consultation about titles and subtitles.
You may also want to take a peek at the movie http://mediasite.aces.utexas.edu/UTMediasite/Play/8187d66a626f48d2a1b0be57ca1783341d
Feedback is always appreciated at my email address hmflogic@gmail.com
Harvey