Theories of Everything with Curt Jaimungal

For much of history, many mathematicians—following thinkers like Aristotle—viewed infinity as a never-ending process rather than a completed object. In the late 19th century, Georg Cantor revolutionized this view by treating infinite sets as mathematical objects that could be compared and studied. His work showed that not all infinities are equal, and that there are infinitely many different sizes of infinity. While his ideas are foundational in modern mathematics, some philosophical schools, such as finitism and ultrafinitism, continue to question whether infinite objects meaningfully exist.

I subscribe to The Economist for their science and tech coverage. As a TOE listener, get 35% off! No other podcast has this: https://economist.com/TOE

FOLLOW:
- Spotify: https://open.spotify.com/show/4gL14b92xAErofYQA7bU4e
- Substack: https://curtjaimungal.substack.com/subscribe
- Twitter: https://twitter.com/TOEwithCurt
- Discord Invite: https://discord.com/invite/kBcnfNVwqs
- Crypto: https://commerce.coinbase.com/checkout/de803625-87d3-4300-ab6d-85d4258834a9
- PayPal: https://www.paypal.com/donate?hosted_button_id=XUBHNMFXUX5S4

TIMESTAMPS:
- 00:00 - Potential vs. Actual Infinity
- 03:12 - Cardinality and Aleph-Null
- 06:12 - Diagonalization and Uncountability
- 09:21 - ZFC and Logical Independence
- 12:23 - Finitism and Ultrafinitism
- 15:26 - Continuum Hypothesis Paradoxes
- 16:00 - Foundational Mathematical Crisis

LINKS MENTIONED:
- The Most Abused Theorem in Math [TOE]: https://www.youtube.com/watch?v=OH-ybecvuEo
- Dror Bar Natan [TOE]: https://youtu.be/rJz_Badd43c
- Hilbert’s Problems: https://mathworld.wolfram.com/HilbertsProblems.html
- The Independence of the Continuum Hypothesis [paper]: https://www.pnas.org/doi/pdf/10.1073/pnas.50.6.1143
- Piano arithmetic: https://ncatlab.org/nlab/show/Peano+arithmetic
- Cantor’s Diagonal Argument: https://www.researchgate.net/publication/335364685_A_Translation_of_G_Cantor's_Ueber_eine_elementare_Frage_der_Mannigfaltigkeitslehre
- Hartog’s Construction: paultaylor.eu/trans/HartogsF-wellord.pdf
- Cohen’s Forcing Method: https://timothychow.net/forcing.pdf
- Norman Wildberger [TOE]: https://youtu.be/l7LvgvunVCM
- Woodin’s lecture: https://youtu.be/nVF4N1Ix5WI
In Search of Ultimate-L [paper]: https://www.jstor.org/stable/44164514
- Emily Riehl [TOE]: https://youtu.be/mTwvecBthpQ
- Sir Roger Penrose [TOE]: https://youtu.be/sGm505TFMbU
- Why Write? [article]: https://curtjaimungal.substack.com/p/why-write

ASSETS USED:
- Infinity display: https://youtu.be/osa4ptG5lMg
- Number counter: https://youtu.be/HRL5uNGXh9U

Guests do not pay to appear. #science
Learn more about your ad choices. Visit megaphone.fm/adchoices

Emily Riehl, one of the world’s leading category theorists, shares her vision for making infinity category theory something undergrads can actually learn. In this talk, she breaks down how rethinking the foundations of math could change the way it’s taught and understood—and why it might redefine what math even is.

I subscribe to The Economist for their science and tech coverage. As a TOE listener, get 35% off! No other podcast has this: https://economist.com/TOE

Join My New Substack (Personal Writings): https://curtjaimungal.substack.com

Listen on Spotify: https://tinyurl.com/SpotifyTOE

Become a YouTube Member (Early Access Videos):
https://www.youtube.com/channel/UCdWIQh9DGG6uhJk8eyIFl1w/join

Links:
•⁠ ⁠Emily’s profile: https://emilyriehl.github.io/
•⁠ ⁠Emily’s presentation: https://emilyriehl.github.io/files/undergraduates-TOE.pdf
•⁠ ⁠A Type Theory For Synthetic ∞-Categories (paper): https://arxiv.org/pdf/1705.07442
•⁠ ⁠Could ∞-Category Theory Be Taught To Undergraduates? (paper): https://arxiv.org/pdf/2302.07855
•⁠ ⁠RZK proof assistant: https://rzk-lang.github.io/rzk/en/latest/
•⁠ ⁠Lean Zulip chat: https://leanprover.zulipchat.com/#recentnews

Timestamps:
00:00 A Dream for the Future
01:55 Exploring Infinity Categories
03:54 The Role of Category Theory
10:17 Key Concepts of Category Theory
12:01 The Curry-Howard Correspondence
15:37 Understanding Left Adjoint Functors
24:38 The Innate Lemma Explained
38:29 Proving the Isomorphism
41:50 The Importance of Abstraction
44:04 A Crash Course in Category Theory
44:17 Introduction to Infinity Category Theory
56:27 Fundamental Infinity Groupoids
1:03:34 What Are Infinity Categories?
1:09:12 The Case for Infinity Categories
1:18:12 Transitioning to Homotopy Type Theory
1:22:49 Crash Course in Homotopy Type Theory
1:30:56 Type Constructors Explained
1:34:19 Propositions as Types
1:42:50 Understanding Dependent Types
1:49:01 Identity Types and Their Importance
1:54:03 The Structure of Infinity Groupoids
1:59:33 Hierarchies of Types
2:06:19 The Univalence Axiom
2:08:36 Transitioning to Infinity Category Theory
2:10:04 Simplicial Type Theory Overview
2:14:56 Pre-Infinity Categories Defined
2:24:32 Isomorphisms in Infinity Categories
2:31:48 Computer Formalization in Mathematics
2:40:02 Conclusion and Future Directions

Support TOE on Patreon: https://patreon.com/curtjaimungal

Twitter: https://twitter.com/TOEwithCurt

Discord Invite: https://discord.com/invite/kBcnfNVwqs

#science
Learn more about your ad choices. Visit megaphone.fm/adchoices

Renato Renner (ETH Zurich) proves quantum mechanics contains logical contradictions that undermine its foundations.Quantum theory may be the most successful theory in history — and Renato Renner has proved it can't consistently describe itself. This is not a philosophical objection. It's a theorem. From there it spirals into black holes, reference frames, and why some of his students refused to continue working on the subject. This one is a quiet storm, blending the foundations of physics with something uncomfortably personal: the question of what you are.

TIMESTAMPS:
- 00:00:00 - Quantum Theory's Internal Contradiction
- 00:05:51 - Recursive Consistency Checks
- 00:11:00 - Wigner’s Friend Paradox
- 00:18:11 - Global vs. Local Inconsistency
- 00:25:04 - The Inhabitant’s Perspective
- 00:31:12 - Modeling Multi-Agent Reasoning
- 00:44:25 - Three Fundamental Assumptions
- 00:56:36 - Quantum Reference Frames
- 01:06:14 - Black Hole Information Paradox
- 01:15:06 - Operationalizing Hawking Radiation
- 01:24:48 - Realizability of Thought Experiments
- 01:41:16 - Emotional Physics: Many Worlds
- 01:50:03 - The Limits of Probability
- 02:01:06 - Operationalizing the Measurement Problem
- 02:15:41 - Generalized Probabilistic Theories
- 02:29:16 - Quantum-Gravity Correspondence
- 02:40:10 - The Source of Disagreement
- 02:56:54 - Physics as Communication

LINKS MENTIONED:
- Renato's Papers: https://scholar.google.com/citations?user=OEBtlWgAAAAJ
- Renato's Lecture at Helgoland [Lecture]: https://youtu.be/NxIyldEZzZI
- Against Probability [Paper]: https://arxiv.org/abs/2601.18872
- Testing Quantum Theory with Thought Experiments [Paper]: https://arxiv.org/abs/2106.05314
- Quantum Advantage in Cryptography [Paper]: https://arxiv.org/abs/2206.04078
- Quantum Theory Cannot Consistently Describe the Use of Itself [Paper]: https://arxiv.org/abs/1604.07422
- Security of Quantum Key Distribution [Paper]: https://arxiv.org/abs/quant-ph/0512258
- Thought Experiments in a Quantum Computer [Paper]: https://arxiv.org/abs/2209.06236
- The Black Hole Information Puzzle [Paper]: https://arxiv.org/abs/2110.14653
- Quanundrum Software: https://github.com/jangnur/Quanundrum
- Wigner's Friend: https://en.wikipedia.org/wiki/Wigner's_friend
- Reimagining of Schrödinger's Cat [Article]: https://www.scientificamerican.com/article/reimagining-of-schroedingers-cat-breaks-quantum-mechanics-mdash-and-stumps-physicists1/
- Collapse Theory [Paper]: http://www.psiquadrat.de/downloads/grw86.pdf
- Entropy of Hawking Radiation [Paper]: https://arxiv.org/abs/2006.06872
- QBism [Paper]: https://arxiv.org/abs/1003.5209
- Respecting One's Fellow [Paper]: https://arxiv.org/abs/2008.03572
- Why Do Humans Reason? [Paper]: https://www.dan.sperber.fr/wp-content/uploads/2009/10/MercierSperberWhydohumansreason.pdf
- Quantum Mechanical Rules for Observed Observers [Paper]: https://www.nature.com/articles/s41467-024-47170-2
- Game Theory [Book]: https://amazon.com/dp/0262061414?tag=toe08-20
- Tim Maudlin [TOE]: https://youtu.be/fU1bs5o3nss
- Jacob Barandes [TOE]: https://youtu.be/gEK4-XtMwro
- Sean Carroll [TOE]: https://youtu.be/9AoRxtYZrZo
- David Wallace [TOE]: https://youtu.be/4MjNuJK5RzM
- David Bessis [TOE]: https://youtu.be/GHGi_XDqKNw
More links at https://curtjaimungal.substack.com

Guests do not pay to appear. #science

Theories of Everything with Curt Jaimungal features long-form, technically detailed interviews with leading researchers in physics, mathematics, consciousness, and philosophy, exploring topics at the level of active research. For academics, graduate students, and anyone seeking depth beyond popular science.

Learn more about your ad choices. Visit megaphone.fm/adchoices

Learn more about your ad choices. Visit megaphone.fm/adchoices
Learn more about your ad choices. Visit megaphone.fm/adchoices

Jenny Wagner examines the inverse problem: how to map dark matter without assuming what it is.What if 85% of the universe's matter isn't missing — it's just that our models were never clean enough to know? Dr. Jenny Wagner proves mathematically that every dark matter map ever made is extrapolation. The data only tells you something local. Everything else is a model assumption wearing the costume of evidence. She then connects this to Einstein's own 1917 warning — that homogeneity and isotropy were always a placeholder, never a truth — and makes the case that cosmology is not in crisis. It's finally ready for the next level of detail.

TIMESTAMPS:
- 00:00 - Dark Matter Model Fallacy
- 05:06 - Gravitational Lensing Mechanics
- 12:14 - Local vs. Global Information
- 21:58 - Statistical Mechanics vs. Gravity
- 31:28 - Inverse Problem Methodology
- 39:58 - MOND and Modified Gravity
- 51:58 - CMB Data Processing Biases
- 59:56 - Bullet Cluster Re-evaluation
- 01:12:41 - Functional Analysis Breakthrough
- 01:24:39 - Challenging the Cosmological Principle
- 01:42:44 - Minimalist Neutrino Solutions
- 01:51:02 - Naked Singularity Detection
- 02:04:27 - AI Limits in Cosmology
- 02:11:02 - Scientific Method Evolution

LINKS MENTIONED:
- Jenny's Site: https://thegravitygrinch.blogspot.com/
- Jenny's Papers: https://scholar.google.com/citations?user=HBSfYZIAAAAJ
- Millennium Sim.: https://wwwmpa.mpa-garching.mpg.de/galform/virgo/millennium/
- Cosmic Structures (Math): https://arxiv.org/abs/2002.00960
- MOND (Milgrom 1983): https://doi.org/10.1086/160167
- Bullet Cluster JWST: https://arxiv.org/abs/2503.21870
- Much Ado About No Offset: https://arxiv.org/abs/2306.11779
- Model-Indep. Gravitational Lenses: https://arxiv.org/abs/2207.01630
- Einstein's 1917 Cosmo. Paper: https://www.scribd.com/doc/211769217/Cosmological-Considerations-In-The-General-Theory-of-Relativity
- Imre Lakatos: https://plato.stanford.edu/entries/lakatos/
- Against Cosmological Principle: https://youtu.be/nASUsWQyemc
- Obs. Universe & Cosmo. Principle: https://arxiv.org/abs/2207.05765
- Galaxy Cluster Scaling Anisotropy: https://arxiv.org/abs/2103.13904
- Giant Arc on the Sky: https://arxiv.org/abs/2201.06875
- Hassabis AI Lecture: https://www.nobelprize.org/uploads/2024/12/hassabis-lecture.pdf
- Concentric Circles: https://arxiv.org/abs/1011.3706
- No Low-Variance Circles: https://arxiv.org/abs/1012.1305
- Cumrun Vafa: https://youtu.be/kUHOoMX4Bqw
- Daniel Dennett: https://youtu.be/bH553zzjQlI
- David Kaiser: https://youtu.be/_yebLXsIdwo
- Roger Penrose: https://youtu.be/iO03t21xhdk
- Barry Loewer & Eddy Chen: https://youtu.be/xZnafO__IZ0
- Subir Sarkar: https://youtu.be/epkuoytFJWA
- Neil Turok: https://youtu.be/ZUp9x44N3uE
- Carlo Rovelli: https://youtu.be/hF4SAketEHY
- JB Manchak: https://youtu.be/iGOGxaZZHwE
- Jacob Barandes: https://youtu.be/wrUvtqr4wOs
- Tim Maudlin: https://youtu.be/fU1bs5o3nss
- Michael Levin: https://youtu.be/c8iFtaltX-s
- Karl Friston: https://youtu.be/uk4NZorRjCo
- Yang-Hui He: https://youtu.be/spIquD_mBFk
- Erik Verlinde: https://youtu.be/ilVImMHcr_g
- Eva Miranda: https://youtu.be/6XyMepn-AZo
- Curt on Determinism: https://youtu.be/tJsghrZQaYU
More links at https://curtjaimungal.substack.com

Guests do not pay to appear. #science

Theories of Everything with Curt Jaimungal features long-form, technically detailed interviews with leading researchers in physics, mathematics, consciousness, and philosophy, exploring topics at the level of active research. For academics, graduate students, and anyone seeking depth beyond popular science.

Learn more about your ad choices. Visit megaphone.fm/adchoices

Learn more about your ad choices. Visit megaphone.fm/adchoices
Learn more about your ad choices. Visit megaphone.fm/adchoices

Curt Jaimungal argues writing reveals something deeper than output—what LLMs expose about human purpose.Curt Jaimungal argues that in an age where LLMs can produce beautiful prose on demand, we've discovered that output was always just a proxy for something deeper — understanding you can't outsource, especially on the questions that actually matter: death, meaning, identity, morality. Shallowness now wears the robe of eloquence.

FOLLOW:
- Spotify: https://open.spotify.com/show/4gL14b92xAErofYQA7bU4e
- Substack: https://curtjaimungal.substack.com/subscribe
- Twitter: https://twitter.com/TOEwithCurt
- Discord Invite: https://discord.com/invite/kBcnfNVwqs
- Crypto: https://commerce.coinbase.com/checkout/de803625-87d3-4300-ab6d-85d4258834a9
- PayPal: https://www.paypal.com/donate?hosted_button_id=XUBHNMFXUX5S4

TIMESTAMPS:
- 00:00 - You Can't Vibe Your Way to Understanding
- 02:22 - Shallowness Now Wears the Robe of Eloquence
- 04:09 - Why We Never Knew Output Was a Proxy

LINKS MENTIONED:
- Why Write [Article]: https://curtjaimungal.substack.com/p/why-write
- 3 Rules of Writing [Article]: https://curtjaimungal.substack.com/p/my-3-rules-of-writing
- One Push Up [Article]: https://curtjaimungal.substack.com/p/this-may-be-one-of-the-most-important
- The Most Terrifying Philosopher Encounter I've Encountered [TOE]: https://youtu.be/BWYxRM__TBU
- The Abused Theorem in Math [TOE]: https://youtu.be/OH-ybecvuEo

Guests do not pay to appear. #science
.

Theories of Everything with Curt Jaimungal features long-form, technically detailed interviews with leading researchers in physics, mathematics, consciousness, and philosophy, exploring topics at the level of active research. For academics, graduate students, and anyone seeking depth beyond popular science.

Learn more about your ad choices. Visit megaphone.fm/adchoices

Learn more about your ad choices. Visit megaphone.fm/adchoices
Learn more about your ad choices. Visit megaphone.fm/adchoices