Harvey Friedman

person
5 mentions 2 recordings first heard May 2026 last heard 8 Jul ↑5 vs the 6 months before

American logician and mathematician, creator of reverse mathematics

Trend

mentions per week · public audio 7d30d6M12M
4 · 12 May MarMayJunJulSepnow

Peak in the week of 12 May — 4 mentions across 1 series.

Moments

newest first · ▶ plays the moment
Curt JaimungalTheories of Everything with Curt Jaimungal · Curt Jaimungal: Reality Is Bloody Terrifying · 1:43 · 8 Jul
…Actually, we talk much more about the foundations of math in this episode with Harvey Friedman here, who's the inventor of something called reverse mathematics.…
· Open transcript →
Harvey FriedmanTheories of Everything with Curt Jaimungal · Harvey Friedman: The Genius Who Invented Reverse Mathematics · 1:00:04 · 18 May
…Friedman, you're just trying to get grant money from the Templeton Foundation, which is known to be…
· Open transcript →
Curt JaimungalTheories of Everything with Curt Jaimungal · Harvey Friedman: The Genius Who Invented Reverse Mathematics · 29:01 · 18 May
…Harvey F.…
· Open transcript →
Curt JaimungalTheories of Everything with Curt Jaimungal · Harvey Friedman: The Genius Who Invented Reverse Mathematics · 0:59 · 18 May
…The question is: can ordinary, finite math be trusted?…
Curt JaimungalTheories of Everything with Curt Jaimungal · Harvey Friedman: The Genius Who Invented Reverse Mathematics · 0:13 · 18 May
…This is Professor Harvey Friedman's first podcast.…
5 moments · sign in to read them all