Harvey Martin Friedman
institute page
Wikipedia entry
MathGenealogy page
“The Genius Who Invented Reverse Mathematics”, podcast with Curt Jaimungal (2026) [video]
Last revised on May 19, 2026 at 09:07:29. See the history of this page for a list of all contributions to it.