ZFC

concept
8 mentions 4 recordings first heard May 2025 last heard 29 Jun ±0 this month

Standard axiomatic foundation for set theory

Trend

mentions per day · public audio 7d30d6M12M
No mentions in the last 30d.Widen the range to see when ZFC was said.

Moments

newest first · ▶ plays the moment
Curt JaimungalTheories of Everything with Curt Jaimungal · Simon Saunders: The Unsettling Mysteries of Time · 1:32:18 · 29 Jun
…In ZFC or in ZF, sorry, the axiom of choice is equivalent to Zorn's lemma.…
· Open transcript →
Harvey FriedmanTheories of Everything with Curt Jaimungal · Harvey Friedman: The Genius Who Invented Reverse Mathematics · 1:05:44 · 18 May
…See, because if you can prove the consistency of ZFC, then you know you can't be in ZFC, because ZFC doesn't prove its own consistency.…
· Open transcript →
Harvey FriedmanTheories of Everything with Curt Jaimungal · Harvey Friedman: The Genius Who Invented Reverse Mathematics · 1:05:40 · 18 May
…Independent of ZFC.…
· Open transcript →
Harvey FriedmanTheories of Everything with Curt Jaimungal · Harvey Friedman: The Genius Who Invented Reverse Mathematics · 50:27 · 18 May
…And now the question is all these fancy mathematical ideas……
Harvey FriedmanTheories of Everything with Curt Jaimungal · Harvey Friedman: The Genius Who Invented Reverse Mathematics · 4:50 · 18 May
…To give you a framework, the the ZFC system was……
Harvey FriedmanTheories of Everything with Curt Jaimungal · Harvey Friedman: The Genius Who Invented Reverse Mathematics · 3:40 · 18 May
…All right, in a nutshell, uh Girdle showed that there……
Curt JaimungalTheories of Everything with Curt Jaimungal · Curt Jaimungal: What Is Infinity, Actually? · 10:06 · 7 Apr
…So this means that the continuum hypothesis is actually independent……
8 moments · sign in to read them all