Girdle's Incompleteness Theorem
Type: Concept
As of November 2026, Girdle's Incompleteness Theorem has been mentioned in one podcast episode on Unknown Channel (Jun 2025).
A theorem that demonstrates the inherent limitations of every formal axiomatic system capable of modeling basic arithmetic.
| Mentioned in | 1 episode on 1 podcast (as of November 2026) |
|---|---|
| First heard | Jun 2025 on Unknown Channel |
| Field | Mathematics, Logic |
Who talks about Girdle's Incompleteness Theorem on podcasts?
Tim Ferriss brought up Girdle's Incompleteness Theorem; the most recent mention was Jun 2025 on Unknown Channel.
- Video Rn0IT25cRhs on Unknown Channel (Jun 2025) — Tim Ferriss
What is Girdle's Incompleteness Theorem mentioned alongside?
Girdle's Incompleteness Theorem is most often mentioned alongside Why: The Purpose of the Universe, Scientific American and Roger Penrose.
Mentioned together: Why: The Purpose of the Universe, Scientific American, Roger Penrose, Gareth Cook, Panpsychism, Vice President Harris, Tim Ferriss, Stuart Hameroff, Kristoff Koch, David Chalmers