Reverse mathematics

concept
1 mentions 1 recordings first heard Jul 2026 last heard 8 Jul ±0 this month

Mathematical research program studying foundational systems

Trend

mentions per day · public audio 7d30d6M12M
No mentions in the last 30d.Widen the range to see when Reverse mathematics 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 →
All 1 moments