Reverse mathematics

concept
1 mentions 1 recordings first heard Jul 2026 last heard 8 Jul ↑1 vs the 12 months before

Mathematical research program studying foundational systems

Trend

mentions per week · public audio 7d30d6M12M
1 · 7 Jul SepDecMarJunnow

Peak in the week of 7 Jul — 1 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 →
All 1 moments