Theories of Everything with Curt Jaimungal

SPONSORS:
- Sign up for Claude today at https://Claude.ai/theoriesofeverything and checkout Claude Pro — which includes access to all of the features mentioned in today's episode
- 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

George Ellis is one of those guests who makes you rethink what you thought you understood. Co-author with Stephen Hawking of the singularity theorems, he's spent decades insisting on something most physicists won't touch: that reductionism is simply — patently — false. Physics doesn't decide outcomes. Context does. The thermostat sets the temperature. The algorithm tells the electrons what to do. The physics is the servant, not the master.

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 - Reductionism is Patently False
- 00:07:37 - Top-Down Causation Mechanics
- 00:13:46 - Modular Hierarchical Structures
- 00:21:00 - Causation at Emergent Levels
- 00:26:56 - Universal Biological Principles
- 00:36:07 - Critiquing Penrose and CCC
- 00:42:41 - The Physics of Infinity
- 00:48:50 - Agency and Physical Constraints
- 00:56:08 - The Open Future
- 01:07:23 - Bioelectricity and Goal-Directedness
- 01:12:28 - Evolving Block Universe
- 01:19:32 - Multiverse as Metaphysics
- 01:24:49 - Moral Realism as Data

LINKS MENTIONED:
- George's Papers: https://inspirehep.net/authors/1010821
- George's Books: https://amazon.com/stores/George-Francis-Rayner-Ellis/author/B00287T2PW
- Arrow of Time [Paper]: https://arxiv.org/abs/1302.7291
- Why Reductionism Does Not Work [Paper]: https://link.springer.com/chapter/10.1007/978-3-662-63187-4_6
- Recognizing Top-Down Causation [Paper]: https://arxiv.org/abs/1212.2275
- Top-Down Causation by Information Control [Paper]: https://pmc.ncbi.nlm.nih.gov/articles/PMC3226993/
- Causal Closure of Physics [Paper]: https://arxiv.org/abs/2006.00972
- Issues in Philosophy of Cosmology [Paper]: https://arxiv.org/abs/astro-ph/0602280
- The Music of Life [Book]: https://amazon.com/dp/0199228361?tag=toe08-20
- How Can Physics Underlie the Mind? [Book]: https://amazon.com/dp/3662498073?tag=toe08-20
- Large Scale Structure of Space-Time [Book]: https://amazon.com/dp/0521099064?tag=toe08-20
- The Selfish Gene [Book]: https://amazon.com/dp/0199291152?tag=toe08-20
- World Beyond Physics [Book]: https://amazon.com/dp/0190871334?tag=toe08-20
- Contextual Wavefunction Collapse [Paper]: https://arxiv.org/abs/1807.08171
- A Theory of Biological Relativity [Paper]: https://pubmed.ncbi.nlm.nih.gov/23386960/
- Facing Up to the Problem of Consciousness [Paper]: https://consc.net/papers/facing.pdf
- Denis Noble [TOE]: https://youtu.be/K-U-ZB3yHK4
- Michael Levin [TOE]: https://youtu.be/c8iFtaltX-s
- Sean Carroll [TOE]: https://youtu.be/9AoRxtYZrZo
- Quantum Physics, Digital Computers, and Life [Paper]: https://arxiv.org/abs/2403.06306
- Dynamical Emergence of Biology from Physics [Paper]: https://www.frontiersin.org/journals/physiology/articles/10.3389/fphys.2018.01966/full
- The Whole Truth [Book]: https://amazon.com/dp/0691231354?tag=toe08-20
- Endless Forms Most Beautiful [Book]: https://amazon.com/dp/0393327795?tag=toe08-20
- Topology and Cosmology [Paper]: https://link.springer.com/article/10.1007/BF02450512
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://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