Harvey Friedman

person
5 mentions 2 recordings first heard May 2026 last heard 8 Jul ±0 this week

American logician and mathematician, creator of reverse mathematics

Trend

mentions per day · public audio 7d30d6M12M
No mentions in the last 7d.Widen the range to see when Harvey Friedman was said.

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