Goethel

person
4 mentions 2 recordings first heard May 2025 last heard 18 May ±0 this month

Mathematician associated with incompleteness theorems, mentioned as Goethel

Trend

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

Moments

newest first · ▶ plays the moment
Harvey FriedmanTheories of Everything with Curt Jaimungal · Harvey Friedman: The Genius Who Invented Reverse Mathematics · 4:58 · 18 May
…And um by nineteen forty, Goethel had already shown that a famous problem in set theory, a very famous fundamental problem in set theory couldn't be refuted in in ZFC.…
· Open transcript →
Curt JaimungalTheories of Everything with Curt Jaimungal · Harvey Friedman: The Genius Who Invented Reverse Mathematics · 0:44 · 18 May
…Goethel's incompleteness theorems are the most celebrated results in modern logic.…
· Open transcript →
Curt JaimungalTheories of Everything with Curt Jaimungal · Curt Jaimungal: Demystifying Godel's Theorem · 2:31 · May 2025
…Goethel was a mathematical genius, one of…
· Open transcript →
Neil deGrasse TysonTheories of Everything with Curt Jaimungal · Curt Jaimungal: Demystifying Godel's Theorem · 0:08 · May 2025
…Goethel, he concluded that at some point in mathematics, you……
4 moments · sign in to read them all