Paris‑Harrington theorem

concept
1 mentions 1 recordings first heard May 2025 last heard May 2025 ±0 vs the 6 months before

Mathematical statement showing independent unprovable sentences

Trend

mentions per week · public audio 7d30d6M12M
No mentions in the last 6M.Widen the range to see when Paris‑Harrington theorem was said.

Moments

newest first · ▶ plays the moment
Curt JaimungalTheories of Everything with Curt Jaimungal · Curt Jaimungal: Demystifying Godel's Theorem · 17:28 · May 2025
…The Paris-Harrington theorem is another example, as it shows there exist statements that are unprovable in piano arithmetic or what have you, yet are actually proven using other mathematical resources.…
· Open transcript →
All 1 moments