“what girdle did with the incompleteness theorems and things so there's a lot of”
Sara Walker: The Origin of Life on Earth and Alien Worlds | Lex Fridman Podcast #198 · Lex Fridman Podcast
On formally undecidable propositions of Principia mathematica and related systems
Kurt Gödel
Where On formally undecidable propositions of Principia mathematica and related systems was mentioned: 1 timestamped quote from 1 episode across 1 podcast.