Gödel's incompleteness
1 episode mentions this concept.
Often discussed alongside
Voices on Gödel's incompleteness
Standout quotes from every episode that touches this concept.
"Some infinities are bigger than others."
"The first incompleteness theorem says you cannot write down a computably axiomatizable theory that answers all the questions."
"The halting problem is computably undecidable."
"I recognize that the AI is trying to give me an argument that sounds like a proof rather than an argument that is a proof."
