Theories of Everything with Curt Jaimungal

SPONSORS:
- Go to https://expressvpn.com/theoriesofeverythingyt to find out how you can get up to 4 extra months thanks to our sponsor, ExpressVPN
- Accelerate your efficiency. Sign up for your one-dollar-per-month trial today at http://shopify.com/theories
- 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

This conversation belongs in a category I wish were larger on this channel: the experimentalist who also thinks (deeply) about foundations. Professor Aephraim Steinberg, winner of Physics World’s Breakthrough of the Year in 2011, is that species! For basically 30 years, he’s been measuring aspects of physics that others wouldn’t touch: Bohmian trajectories, Heisenberg’s disturbance bound (he showed it was wrong), even where the photon is inside the double slit (which most textbooks will tell you is impossible). His lab measured negative time — and it keeps reappearing across completely different experiments, stubbornly suggesting it means something.

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:00 - Defining Negative Time
- 00:06:50 - Quantum Trajectory Theory
- 00:12:44 - The Holland Tunnel Analogy
- 00:18:40 - Resonant Atomic Interactions
- 00:26:05 - Superluminal Energy Propagation
- 00:32:00 - Eight Velocities of Light
- 00:38:00 - Causality and Retrocausality
- 00:44:00 - Dwell Time vs. Delay
- 00:50:24 - Time: Operator or Parameter?
- 00:58:21 - Bell’s Theorem and Realism
- 01:04:55 - Heisenberg’s Measurement Disturbance
- 01:11:26 - Weak Measurement Formalism
- 01:17:37 - Time Symmetry and Entropy
- 01:27:07 - Bohmian Trajectories Observed
- 01:35:56 - Spin-Statistics and Indistinguishability
- 01:42:14 - Quantum Computational Advantage
- 01:48:15 - Many Worlds vs. Complexity
- 01:54:51 - Psi-Ontic vs. Psi-Epistemic
- 02:01:37 - Collapsing Tunneling Particles
- 02:08:48 - Larmor vs. Atto Clocks
- 02:15:24 - Locality and Information

LINKS MENTIONED:
- Aephraim's Website: https://www.physics.utoronto.ca/~aephraim/
- Aephraim's Papers: https://scholar.google.com/citations?user=PzUyb6IAAAAJ
- Photon Negative Time in Atom Cloud [Paper]: https://arxiv.org/pdf/2409.03680
- How Much Time Does a Photon Spend as Atomic Excitation? [Paper]: https://arxiv.org/abs/2310.00432
- Measuring Time Atoms Spend in Excited State [Paper]: https://journals.aps.org/prxquantum/abstract/10.1103/PRXQuantum.3.010314
- Tunneling Atom Time in Barrier [Paper]: https://arxiv.org/abs/1907.13523
- Single-Photon Tunneling Time [Paper]: https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.71.708
- Traversal Time for Tunneling [Paper]: https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.49.1739
- Propagation of a Gaussian Light Pulse [Paper]: https://journals.aps.org/pra/abstract/10.1103/PhysRevA.1.305
- Linear Pulse Propagation in Absorbing Medium [Paper]: https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.48.738
- Eighth Velocity of Light [Paper]: https://pubs.aip.org/aapt/ajp/article-abstract/45/6/538/1045817/Eighth-velocity-of-light
- Attosecond Ionization [Paper]: https://www.science.org/doi/10.1126/science.1163439
- Tunneling Optical Pulses Photonic Band Gaps [Paper]: https://attoworld.de/fileadmin/user_upload/tx_attoworld/publications/paper_PhysRevLett_Y1994_M10_D24_V73_P2308.pdf
- Evidence of Negative Time [Article]: https://www.scientificamerican.com/article/evidence-of-negative-time-found-in-quantum-physics-experiment/
- Light Speed Reduction [Article]: https://www.nature.com/articles/17561
- On the Theory of Light and Colors [Paper]: https://www.jstor.org/stable/pdf/107113.pdf
- Wave Propagation and Group Velocity [Book]: https://amazon.com/dp/1483253937?tag=toe08-20
- EPR Paper [Paper]: https://journals.aps.org/pr/abstract/10.1103/PhysRev.47.777
- Uncertainty Principle: https://en.wikipedia.org/wiki/Uncertainty_principle
- QBism [Paper]: https://arxiv.org/abs/1003.5209
More links at https://curtjaimungal.substack.com

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

SPONSORS:
- Go to https://shortform.com/toe for a free trial and an exclusive $50 OFF on your annual subscription
- 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

The intellectual world is designed to erode your confidence — through rejection rates, delayed feedback, unfair comparisons, and the silence of everyone you've actually helped. In this video I break down why feeling like a fraud is almost a structural inevitability in serious academic and self-directed learning, not a reflection of your actual ability. If you've ever stared at your own work and wondered what's wrong with you, this one's for you.

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 - Intellectual Negativity Bias
- 03:22 - Rigor and Intellectual Giants
- 05:33 - Invisible Intellectual Impact
- 08:43 - Quinean Web of Metrics
- 11:01 - Genius Culture Pathologies

LINKS MENTIONED:
- 7 Signs You're Smarter Than You Think [Substack]: https://curtjaimungal.substack.com/p/7-signs-youre-smarter-than-you-think
- Math Proof No One Could Explain [Part 1] [TOE]: https://youtu.be/RX1tZv_Nv4Y
- Roger Penrose: Quantum Theory Is Wrong [TOE]: https://youtu.be/sGm505TFMbU
- Bernardo Kastrup: Escaping the Illusion [TOE]: https://youtu.be/lAB21FAXCDE
- Terence Tao: https://mathstodon.xyz/@tao/113721192051328193
- Curt's Substack: https://curtjaimungal.substack.com
- Jacob Barandes: Quantum Theory as Stochastic Process [Wolfram]: https://youtu.be/JsmX3YxiUj0
- The 2,300-Year-Old Math Mistake [TOE]: https://youtu.be/GHGi_XDqKNw
- David Bessis: Dual Braid Monoid [Paper]: https://arxiv.org/pdf/math/0101158
- Scott Aaronson: Greatest Unsolved Problem in Math [TOE]: https://youtu.be/1ZpGCQoL2Rk
- Scott Aaronson: Truth About Quantum Computing [IAI]: https://youtu.be/KRxC6yzvoys
- Beyond Consciousness: Animals, Infants, Petri Brains [TOE]: https://youtu.be/t_YMcEPfqCM
- Willard Van Orman Quine [Stanford]: https://plato.stanford.edu/entries/quine/
- Imposter Syndrome Workplace Prevalence: https://www.personneltoday.com/hr/imposter-syndrome-prevalence-uk-research/
- Imposter Syndrome Systematic Review [Paper]: https://pmc.ncbi.nlm.nih.gov/articles/PMC7174434/
- Sabrina @ How the Light Gets In [PhysicsGirl]: https://youtu.be/GrlGdoBGVBs
- String Theory & M-Theory, Lecture 1 [Stanford]: https://youtu.be/25haxRuZQUk
- Necessity of Complex Numbers [MIT OCW]: https://youtu.be/f079K1f2WQk
- Phil Halper: Alternative Universe Theories [IAI]: https://youtu.be/3SpzC6stFhU
- Debunking Veritasium: All Possible Paths Myth [TOE]: https://youtu.be/XcY3ZtgYis0
- Gödel's Incompleteness: Most Abused Theorem [TOE]: https://youtu.be/OH-ybecvuEo
- Farina vs. Tour: Origin of Life Debate: https://youtu.be/KvGdllx9pJU
More links at https://curtjaimungal.substack.com

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

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