Girdle

person
6 mentions 2 recordings first heard May 2025 last heard 4 Feb ↓1 vs the 6 months before

Mathematician referenced for incompleteness theorem analogy

Trend

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

Moments

newest first · ▶ plays the moment
Donald HoffmanMind-Body Solution with Dr Tevin Naidu · What is Ultimately Real? Consciousness, Free Energy & Spacet... · 2:26:15 · 4 Feb
…This is very much like Girdle's incompleteness theorem, right?…
· Open transcript →
Curt JaimungalTheories of Everything with Curt Jaimungal · Curt Jaimungal: Demystifying Godel's Theorem · 1:36 · May 2025
…It's difficult not to be seduced by the mysticism around Girdle's theorem.…
· Open transcript →
Curt JaimungalTheories of Everything with Curt Jaimungal · Curt Jaimungal: Demystifying Godel's Theorem · 0:58 · May 2025
…The gist of Girdle is that someone can hand you any concrete, mechanically checkable theory, let's call it F, and Girdle's machinery then spits out explicit arithmetic statements, maybe a busy beaver statement, that F, your little machinery here, can neither prove nor disprove.…
· Open transcript →
Curt JaimungalTheories of Everything with Curt Jaimungal · Curt Jaimungal: Demystifying Godel's Theorem · 0:41 · May 2025
…The TLDR is that Girdle's incompleteness theorem is about axiomatization,……
Curt JaimungalTheories of Everything with Curt Jaimungal · Curt Jaimungal: Demystifying Godel's Theorem · 0:31 · May 2025
…Why they're misuses, and I'll also talk about what Girdle's……
Curt JaimungalTheories of Everything with Curt Jaimungal · Curt Jaimungal: Demystifying Godel's Theorem · 0:00 · May 2025
…Many popularizers who use Girdle's incompleteness theorem to make bold……
6 moments · sign in to read them all