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 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

Feedback is always appreciated at my email address