Theories of Everything with Curt Jaimungal - Time Travel in Physics: “We Still Don't Know”

Episode Date: March 16, 2026

SPONSORS: - Sign up for Claude today at http://Claude.ai/theoriesofeverything and checkout Claude Pro — which includes access to all of the features mentioned in today's episode. - Let AI do the note-taking. Visit https://plaud.ai/toe and use code TOE for 10% off at checkout. - Go to https://shortform.com/toe for a free trial and an exclusive $50 OFF on your annual subscription. - Accelerate your efficiency. Sign up for your one-dollar-per-month trial today at http://shopify.com/theories. - As a listener of TOE you can get a special 35% off discount to The Economist and all it has to offer! Visit https://www.economist.com/toe What if you gathered every possible piece of evidence about the universe — every observation, past, present, and future — and it still wasn't enough? That's not a philosophical parlor trick. It's a theorem. J.B. Manchak proves it using the very tools of general relativity, and then connects it to Zen Buddhism's teaching on the self. This one is a quiet storm. TIMESTAMPS: - 00:00:00 - Unknowability of the Universe - 00:05:14 - Space-Time Maximality Metaphysics - 00:11:02 - Time Travel in GR - 00:16:53 - Causal Structure and Topology - 00:24:01 - Cauchy Surfaces and Determinism - 00:32:13 - Solving the Halting Problem - 00:47:38 - Cosmic Censorship Hypothesis - 00:56:58 - The God Point Theorem - 01:02:16 - Global Structure Underdetermination - 01:11:21 - Heraclitus Space-Times Defined - 01:24:22 - Hierarchy of Classical Space-Times - 01:33:08 - The Universe Puzzle Analogy - 01:40:51 - Underdetermination of the Self - 01:51:39 - Zen Buddhism and Non-Self - 02:00:57 - Repeatability and Heraclitus - 02:06:41 - The Power of Slow Thinking Learn more about your ad choices. Visit megaphone.fm/adchoices

I remember the doubt before launching this podcast. What if no one listens? What if I'm wasting my time? If you've ever felt that way about starting a business, Shopify is the partner that turns uncertainty into momentum. They power millions of businesses and 10% of all U.S. e-commerce, from all birds to gym sharks to brands just getting started. No straggler left behind.

Shopify's AI tool writes your product descriptions for you. It enhances your photography. It builds you a stunning store from hundreds of templates. Forget about the dormative haze of bouncing between separate platforms. Shopify puts inventory payments and analytics under one roof with the propriety of a true commerce expert. Their award-winning 24-7 support means you're never alone. And that iconic purple shop pay button, it's the backbone of their checkout, the best converting on the planet, turning abandoned carts into actual sales.

It's time to turn those what-ifs into with Shopify today. Sign up for your $1 per month trial at Shopify.com slash tow. That's Shopify.com slash T-O-E. You have all these models around, and a lot of them seem maybe a bit crazy. Some of them might allow for time travel. But things start getting really crazy once you start looking at these Heraclytus-type models. one can use science to show that science has limits. This is unlike any conversation I've had on this channel,

and I've had hundreds of conversations with physicists, mathematicians, philosophers, etc. Professor J.B. Manchak is the only person that I know who connects general relativity to unknowability, to the self, to Zen Buddhism, to time travel. You're in for a treat. Einstein's theory is replete with models that permit time travel, have exposed points where spacetime ends and even violate determinism. This means it's technically false to say classical physics is deterministic. Most physicists dismiss these as pathological mathematical artifacts and move on.

Professor J.B. Manchek of UC Irvine doesn't dismiss them. He proves theorems about them. And what he's found should unsettle anyone who thinks science can tell us what the universe looks like. On this channel, I interview researchers regarding their theories of reality with rigor and technical depth. Today, we discuss new space times found by Manchak called Heraklitus spacetimes. We also discuss how some spacetimes solved the halting problem, and we close with Hume, Zen Buddhism, and underdetermination in science, where Manchak finds parallels between his unknowability theorems and the Buddhist teaching of non-self.

it's quite odd as someone who isn't a guru. You're not a guru. No. I've never seen anyone connect general relativity to questions about the self, the limits of knowledge, the limits of science even, potentially even spirituality, which we're going to talk about later on in this conversation, in the way that you do. Help me understand your journey.

Oh, yeah. I mean, I think it might be the particular question that I got hooked. in on concerning unknowability of the universe. So what that does, of course, it's going to open, it's going to open things up. When one is confronted with the possibility that, you know, you can collect evidence, all the evidence you want, you can collect evidence forever, any kind of empirical evidence you could ever imagine. And the idea of that not being enough to pin down what the universe is like, that's something that naturally pops up in theories of space and time. I don't think GR is special here.

I think you can prove a similar kind of theorem pretty much in any spacetime theory that's modeled on a manifold with geometric structures on it. So a Newtonian version of spacetime physics, you'd have similar results there. So I think it's something about space and time. And what makes a manifold a physically reasonable manifold? Yeah, that's a really good, great question.

I mean, I've been thinking about this question for probably 20 years. I mean, I think it's fascinating that we have a situation where a theory like general relativity is so permissive in the sense that it lets so many models into the theory. And then you have all these models around, and a lot of them seem maybe a bit crazy. Some of them might allow for time travel. Some of them might allow for other types of pathological behaviors. And so then it's kind of like a, you know, it's this game where most physicists are going to look at a lot of those things and say, well, those are just mathematical artifacts. They're not really part of the theory. Whereas, you know, a philosopher like me, I'm going to want to really think about this deeply and ask, why exactly is this particular model, you know, physically unreasonable? And it turns out that a lot of the usual justification, that are, you know, bandied about, when you really analyze them, they're kind of pithy.

So, you know, I can give you an example. So one thing that I've been studying for some time now is this idea of space-time maximality. Space-time maximality says that the universe is as big as it can be, you know. And I think what happens is you have models around that are extendable. They can become bigger. And so physicists are going to want to say, hey, you know, that's not a physically reasonable space time. That's not a physically reasonable model of GR. And you ask, well, what's your reason?

Why not? And the original justifications given by, it was originally Penrose, Geroz, Geroche, and a few others back in the 60s in the golden era. You look at the justifications there, and it's very much metaphysics. It's Leibnizian metaphysics. It's the idea that, oh, well, nature, why would nature stop when nature could keep building? So she has to keep building. And so these extendable models are unreasonable, because that's just not how nature works. what's interesting is to look at various subclasses of GR where if it really is the case that some of these models are physically unreasonable, well, then you've got to kick them out.

You can't have them be a part of your collection of models anymore. And when you do that, you open up a Pandora's box. Now all of your modal structure is completely different because you're working with a completely different collection of models. And so in some instances, you can actually show that nature doesn't have the option of building, say, a maximal universe, right? And so then, you know, a theorem like Bob Garosh's theorem that every spacetime has a maximal extension, well, yeah, that's true with the standard collection. But once you kick out those unreasonable guys, now you've got to re-ask the question with this new variant of GR. And it's just not clear whether a theorem like that holds or not. So I think examining the justifications for certain,

I would say almost like dogma, that this type of space time has to be physically reasonable, you notice that the justifications really aren't what they might appear to be at first. Hmm. Okay. People are watching and people are probably wondering, well, what is meant by this space time, is pathological. This one is a reasonable space time and all of that. I have an article about how

GR is indeterministic, technically speaking. That is not a deterministic theory. And in it, I had to outline, well, what the heck is general relativity? So, firstly, I know you read that article, and I want to know what you think about if GR is technically speaking indeterministic. And then also, what is the definition of GR? Yeah, yeah. It's a great question. I did check out that article. I mean, I think it gets to the heart of the issue, which is, well, we don't have just one GR. What we have is a lot of variants of GR. GR usually is considered to be a standard collection of models, and so oftentimes when theorems are proved, they're proved relative to that background standard collection.

What you're doing in that article is you're pointing to the fact that on questions such as determinism, whether or not GR is deterministic or not, that's going to depend crucially on what that background collection of models is like. And your point was basically like, GR is not deterministic unless you kind of get rid of all those pathological models, right? And so why are you getting rid of those? I think at one point you said, well,

it's just kind of like maybe you don't like it for whatever reason. And that's certainly what happens, right? It's like this little game that's being played where you can say GR is deterministic if you kick out all the models that show that it's indeterministic. I mean, sure. But if you're looking at the entire class of models, there's a sense in which it's certainly not. I think the game is to have a pluralistic kind of view about these things. So instead of thinking the GR is just one thing, no, we're not in a position really to know what GR. is. And so GR is very, it's a bunch of different things. And so you can ask the question, is GR deterministic relative to this collection of models? Relative to that one, relative to that one, relative to that one. And you'll get different answers depending on which one you're looking at. I think that's all interesting. And if you want to go a step further and say, but which is the real one, I just want to say that's a little bit misguided. We're never going to be in a position to

get at that question. So now, we'll never be in a, position to get to that question. Are you referring to some theorem of yours, or are you referring to just the general problem in science of underdetermination? Well, I think I'm, yeah, I'm referring to, I guess, a few different things. Certainly it's the case that everyone agrees, right, that GR has unphysical models in it. I mean, I don't think you'll, you'll find a physicist around who says that all of the standard models of GR are physically reasonable. That's absurd. And so everyone agrees that the real GR, whatever it is, is some subclass of models. And so the question is, well, which one?

And you're never going to find agreement among physicists about which one is the right subclass. Now, that's one side of things. Of course, I'm talking about other things too, including some of my work, which says that we can't know what a physically reasonable space time is because we have this underdetermination problem where we can't rule out, for example, that we in our actual universe have these unphysical properties here with us now. I mean, it very well may be, for example, that our universe allows for something like time travel or indeterminism, but that's just not something that we'll be able to figure out based on any type of empirical evidence and even any type of local induction on top of that empirical evidence.

So that's, I think, what I mean by, we're never going to be in a position to know what the true collection of models of GR is. When you say that GR general relativity may allow time travel, what's the common misunderstanding of what you're saying? And then what's also the most sophisticated misunderstanding of what you're saying? Well, GR allows for a certain time. type of time travel. So one common thing that I encounter is that folks want to think of time travel as maybe something that they've seen in a movie or something like that. You know, going back and changing the past is something that, you know, you'll see on a movie like Back to the Future. I grew up with that movie. That's just not something that's going to be compatible with models of GR.

What you do find in GR are models that have a peculiar causal structure in the sense that you'll have world lines of particles. This is a trajectory of some massive body that can go forward in time, but the structure of the space time allows that curve to wrap back on itself. and so the event can be revisited. And that's, you know, what's permissible in GR. Kurt Gödel in 1949, he presents Einstein with this Girdle solution, which allows for time travel. Einstein's response was, you know, that's very interesting. We'll have to see if there are physical reasons to exclude such a model. And I think here we are, you know, many, many decades later.

and that's still the position we're in. We're still looking for physical reasons for why we could exclude models like that. And so all sorts of people have proved all sorts of theorems about all sorts of ways in which you can exclude them. But I don't think the situation is one where it's a knock-down argument at any point. There still is a hope, at least by some folks, not necessarily by me, but by some folks that time travel may be possible. my position is just that we don't know and I find it fascinating that even a position like that

which is very non-committal and it's very modest somehow is seen as almost radical or something if the time traveler isn't a point particle let's imagine it's a person then how does that work because wouldn't entropy take over and then they would just constantly be increasing in their entropy or does the entropy reset or what

Yeah, I mean, so the model that you'd be looking at is going to be a structure that has the geometry on it, and then via Einstein's equation, you have some matter fields there. And so if you're a person returning to an event that you've previously visited, then yeah, your mass, whatever's going on with your body, that's going to be exactly the same. So, you know, I don't necessarily think in terms of entropy in the sense that it's not some, you know, a physical thing that I'm modeling there in the space time. But it certainly is the case that whatever is going on with the matter, it's in a periodic sort of situation. So the matter is coming back around to itself in the same way that a point particle might return back to itself. So, yeah.

Okay, speaking of coming back around, earlier you said something about collaborating with Malamant or learning from him. Yeah. From that legendary, and he still is existing. Yeah, yeah. He lives just down the road here. So I see him every, I still see him every few weeks. It's lovely. We go on hikes together and things.

Wow, great, great. There are many people whose names you encounter so often in the literature that at least to me, I think they must know longer be around because they're legends. Roy Baumeister is one of those in psychology. Anyhow, what is it that you learned from Malamant about how to do philosophy of physics? And was this something he taught you, or did you just pick it up by osmosis or you inferred it or what? Yeah, I think maybe it was a little bit of both. I mean, I was just watching him, but also he did, he was teaching classes and he was, you know, in the classroom trying to convey the way he thought about space and time. And I think his distinctive style is one that's very simple in the sense

that, you know, he's not one who's drawn to fancy stuff. Really, uh, he is going to focus on making what might be a confusing question, making that precise using the formalism of GR, and then going to work, going to work, trying to, you know, see if that conjecture is true or false, right? So the real genius of someone like David would be to find a way to ask a philosophical question in a very rigorous type way and then prove a theorem that essentially gives you an answer for that philosophical question. Give me an example. Yeah. So, I think one that is probably the one he may be most known for was one that happened early on in his career when he was a graduate student. Hawking and others had proven that if you give me two models and they have a very rich causal structure associated with them,

and you tell me that their causal structures are the same in a sense, that there's an eye. isomorphism of the causal structures, that actually the topology is also going to be the same. So you can determine the topology of spacetime via the causal structure of space time. So you tell me which points are causally related to which others, and then I will tell you, you know, what the shape of the universe is like. Now, Hawking and others, they had proven this for extremely rich, causally, well-behaved space times. what David did was to ask the question, well, how low can you go in terms of the scarcity of causal structure? So I'll give you an example. If you're in a time travel universe where every point is causally related to every other point,

you're never going to get a theorem like this to go because you'll have one model which allows for time travel over here where every point is related to every other. So that's some causal structure. And you can have another over here where maybe it's the same. model but then I yank out some points so now the topologies all messed up these are going to have the same causal structure because every point is causally related to every other in both of them so there's a causal isomorphism they have the same causal structure but they have very different topologies and the beauty of what what david did is he said well how weak can we go here in terms of what's the

what's the minimal level of causal structure that we need to show that causal structure determines the shape of the universe. And so he went to work on that. That was a paper that he published in 1977. Now it's the foundation for a whole program of quantum gravity, the causal set approach to quantum gravity, where the causal approach says you sprinkle causal, you know, little events in space time, and there's a causal structure there. And then from that emerges a kind of shape. And so they depend heavily on a result like David's for that. But that's just one example. He's done it many, many times over the course of his career.

Later on in his career, he looked at something like rotation. Rotation in standard Newtonian mechanics is very well understood. You ask, well, what does rotation mean in GR? How do you know when object X is rotating around object Y? It turns out there are several things that you might mean by that. And what David did was he, you know, this is another example of his style, he would say, you know, let me formalize each one of these criteria of rotation and see if I can't prove either a no-go theorem that says like, hey, these don't really mesh well with one another. You can find space times where an object is rotating. around another one according to criterion A but not according to criterion B,

or try to prove a uniqueness theorem that shows that these all come together. And it turned out that after he really looked and investigated this problem, they came apart. And so now we know that in NGR rotation is a very tricky, subtle business. And, you know, it's David who has been able to identify both the problem there, and then show how going to work and formalizing this philosophical question, this philosophical problem, leads to a clear answer. So there's clarity, there's light, now we understand it better. And so those are a couple of examples. I remember the doubt before launching this podcast.

What if no one listens? What if I'm wasting my time? If you've ever felt that way about starting a business, Shopify is the partner that turns uncertainty into momentum. They power millions of businesses and 10% of all U.S. e-commerce from all birds to gym sharks to brands just getting started. No straggler left behind. Shopify's AI tool writes your product descriptions for you. It enhances your photography. It builds you a stunning store from hundreds of templates. Forget about the dormative haze of bouncing between separate platforms. Shopify puts inventory payments and analytics under one roof with the propriety of a true commerce expert. Their award-winning 24-7 support means you're never alone. And that iconic

purple shop pay button, it's the backbone of their checkout, the best converting on the planet, turning abandoned carts into actual sales. It's time to turn those what-ifs into with Shopify today. Sign up for your $1 per month trial at Shopify.com slash tow. That's Shopify.com T-O-E. Most of my best ideas don't happen during interviews. They come spontaneously, most of the time in the shower, actually, or while I'm walking. Until I had plod, I would frequently lose them because by the time I write down half of it, it's gone.

I tried voice capture before, like Google, Home, and it just cuts me off in the middle. It's so frustrating. Most of my ideas aren't these 10-second sound bites. They're ponderous. They're long-winded, and I wind around. They're discursive. They're five minutes long. Apple Notes, even Google Keep, the transcription there is horrible.

But Plyde lets me talk for as long as I want and there's no interruptions. It's accurate capture. It organizes everything into clear summaries, key takeaways, action items. I can even come back later and say, hey, what was that thread I was talking about regarding consciousness and information? In fact, this episode itself has a plot summary below and I'm using it right now over here. My personal workflow is that I have their auto flow feature enabled, so it sends me an email anytime I take a note. Look, the fact that I can just press it and it turns on instantly, like right now it's starting to record, without a delay, is extremely underrated.

This, by the way, is the note pro, and then this is the note pin. I have both. Over 1.5 million people use Plod around the world. If your work depends on conversations or the ideas that come after them, it's worth checking out. That's plod.a.i slash T-O-E. Use code T-O-E for 10% off at checkout. Yes.

And David collaborated with Hogarth to come up with the Malamint Hogarth, if I'm pronouncing that correctly, Space Times. I have an article about that as well. I don't know how to pronounce the... I said it sounds like a Yu-Gi-O card. Yeah, what's really interesting about that is David never published anything about Malamint Hogarth Space Times. You know, I don't know the whole story there, but David was in correspondence with John Irman and some others about this possibility. So it's David's idea, but the first person to publish it. paper about this was Hogarth. And so as a kind of compromise, I think John Ehrman said, let's call these things Malam and Hogarth Space Times, but it's David's idea. And the main

theorems, including the theorem that Malam and Hogarth Space Times are necessarily not globally hyperbolic. That's also David. Okay, so three terms are likely to come up repeatedly throughout the rest of this conversation. One just came up. Global hyperbillicity. So what does it mean for a space time to be globally hyperbolic, what is Akoshi surface, and what is Akoshi horizon? So why don't you define those? Yeah, yeah, good. Yeah, let's start with the Koshi surface. A koshi surface is a, is a space-like surface in your space time such that every causal curve in the space time, if you extend it maximally, extend this curve, it's going to hit this Koshi surface somewhere. So the physical significance of a kosci surface is supposed to be that if you have a kosci surface, then everything

that's happening in your space time is registering there. And so there are some deep theorems proved by Chokeh Bruha and Gerash about how you can take data on Akoshi surface and use it to evolve that data in a unique way. So it's a type of result that shows that GR is deterministic in some sense. So not all spacetimes have koshe surfaces. If a space time does have a koshe surface, then we call it globally hyperbolic. If it doesn't, then it's not. If a space time doesn't have a kosci surface, what can happen is you can have some sort of surface that can be evolved up to some point, and then it can no longer be evolved after that

point. And so that point at which it can no longer be evolved, that's the Koshi horizon. And so one way to formalize, say, Penrose's cosmic censorship hypothesis is that there isn't any Koshi horizon. So when you take that, you know, data surface and you evolve it, what you're going to be left with is a space time that is globally hyperbolic and can't be extended any more than that. So to be clear, most of the time when people are thinking of Newtonian mechanics or classical mechanics, they think in terms of, oh, it's laws plus initial conditions, and if someone was intelligent and knowledgeable enough to have access to all the information of the universe

and intelligent enough to move it forward, then they can calculate the future state. So you're saying, in this analogy, the initial condition here would be the Koshi surface. The evolving forward indefinitely would be the presence of zero Koshi horizons. Is that correct? Or is it the case that if you ever have a Koshi horizon, a place from which you can't evolve further, that that means you do not ever have a Koshi surface? Yeah. I'm getting kind of tangled up here.

But Akoshi horizon is only going to arise if it is possible to extend, but not extend in a way that's going to keep that surface, a Koshi surface. So the Koshi surface, as I said, if there's a Koshi surface, it's necessarily globally hyperbolic. So I think the way to think about these things first is to not terminate a Koshi surface. Just call it a surface and say, you know, you put some data on this surface and then you evolve it. We're going to see if it's a Koshi surface or not. We're going to evolve this data as far as we can if we do so and we find ourselves in a situation. where we've evolved it as far as we can. That's a globally hyperbolic space time,

and this will be a koshe surface relative to that globally hyperbolic space time, but it still may be possible to extend further. Perfect. And if it's possible to extend further, then your surface will no longer be kosci. So you get this behavior in spacetimes that violate the cosmic essential. Ship hypothesis. One way to put the cosmic centristrial hypothesis is all physically reasonable space times are globally hyperbolic. And what that means is that, you know, when you start off with

the surface with the data, you evolve it all the way as far as you can. What you're going to end up with is a maximal globally hyperbolic space time. If it's false, then what that means is you've evolved it all the way, you know, as far as you can go, but that doesn't mean that it's necessarily a maximal space time, you may be able to extend it further. It's just that any extension will ruin the global hyperbolicity property. Suppose you evolve up until a point where you can't evolve further, and let's further suppose that global hyperbolicity isn't a necessary condition of our physical universe. That our physical universe may have solutions that are not globally hyperbolic. Now, I know that's anathema to some people who think that Malamid-Holgarth space times, for instance,

are pathological or what have you. Okay, we don't know that a priori. Black holes were thought to be pathological, a priori, quote unquote, by Einstein, I believe. Exactly. So, okay, let's suppose that's the case. Then what do you think is happening after that point? Do you think the universe stops?

Does it then choose one of many solutions? How does it choose it if there's no probability distribution? I don't know, man. it's a it's a it's a yeah it's a real problem so here's what uh so here's an idea that is uh traces its its roots back to john irman who's a who is a philosopher of physics and one of my uh gurus i guess his idea was to think of um a machine as like like a time machine or malamem and hogarth machine as a type of thing where you evolve all, you know, until you can't evolve anymore, now you've got options for ways to extend that evolution. But like you said, it's not going to be

unique. But what if we could show somehow that all of the extensions, every last one of them, satisfies some property. So either they have time travel in them or they have the Malamut-Hogarth property. Then you could say, well, then we've kind of, I don't know which one is going to obtain, which one of those non-unique extensions will continue. But if all of them are Malam and Hogarth space times, well, then you've, you have now identified a Malam and Hogarth machine. And so that's something that I, you know, there was this time machine literature based on what John Erman did with respect to time machines. It's a fascinating literature because there's been several times. The theorems have been proven false by various people. But on the Malamon-Hogar side of things, yeah, I was wondering like,

okay, if your spacetime is Malam and Hogarth, it doesn't necessarily mean time travel as possible. The other direction does hold. If your space-time has time travel in it, then the Malam and Hogarth property obtains. And what that means is that time machines are going to be much harder to build than Malamette-Hogarth machines. So I was thinking, well, there's all these problems with time machines. Can we build a Malamette-Hogarth machine? Can I identify space-time such that I'm looking at a globally hyperbolic space-time that cannot be extended anymore with that globally hyperbolic property? And so it's got all sorts of non-unique extensions around. But can I show that every one of them is Malin-Hogarth. And so that's that, yeah, that's one thing that I did. So these things do

exist. They are physically reasonable in the sense that, you know, I've been able to find some that satisfy various energy conditions. They are causally well-behaved in the sense that they're stably causal. They're actually pretty causally well-behaved. So, you know, they might be unreasonable in some sense, but the idea is to give a proof of concept for this idea. And I think we do have a much better grip on Malam and Hogarth machines than we do on, say, something like time machines. Something you can do if a Malamint-Hogarth space time exists is run a machine, run a program, which you don't know if it's going to halt or not. And in this universe, in a Mikkelski universe, purely, you would not be able to tell if your touring machine is going to halt. But it's

said that you could take a laptop, send it to some point in an MH space time, and you'll be able to receive whether the laptop halt or not. But then there's issues of, quote-unquote, blue-shifted photons. So what is a blue-shifted photon? Is it actually a problem? Yeah, yeah. The blue-shift happens because, well, so you're absolutely right in your characterization. What a Malam and Hokkaar space time is, is you identify a point, an event in the space time, and you look at its past light cone, and in the past light cone, you have an observer with an infinite future that's contained in your past light cone. So for you, you're making an observation at a particular finite point in space and time, but part of what you're observing

is an infinite future of some other observer and so that other observer could be a computer running some kind of program or something what happens with the infinite blue ship shift situation is when the computer is sending signals back to that point they can start to bunch up and so the signals can get very unreliable

and they can also become very close together So the wavelength will go towards the blue side of things. And so some people have said, well, you know, this really isn't physically reasonable because of blue shift situations like that. And I think I agree with that. What I've tried to do in some of my work has been to collect up a bunch of reasons that people want to exclude these things for. So blue shift would be one of them. Another one would be, you know, whether the energy.

standard energy conditions are satisfied. Another would be, well, we don't want to have this computer having to accelerate really, you know, wildly and have, you know, infinite fuel to traverse whatever world line it's supposed to traverse. So you can collect up a bunch of these things. And I, what I do is I say, look, you know, here's a model. You know, I go to work, you know, in my little workshop, building a lot. little model and the model is a Malam and Hogar space time that has none of those unphysical

properties, right? The irony is that this model is pretty unphysical. Even by your standards. Even by my standards, yeah. So there's an old technique introduced by Penrose and Gerrash used it a lot in his work. Hawking used it with Ellis in his textbook. You might determine the cut and paste construction. It's where you take models of space time, like relatively, you know, well-behaved models, like something like a Minkowski space time. And what you're going to do is you're going to cut slits here and you're going to, you know, glue things together this to this and you're going to create wildly crazy topologies in this way. They're going to be standard models of GR. They're going to count as models of GR. But they're going to be

wildly unphysical. Now, those folks, Penrose, Garrosh, others, they emphasized early on that the point of these examples was not to show, you know, it wasn't to exhibit a physically reasonable model of our universe, but rather, I mean, if you're studying something like logic or something like this, counter-examples are just so important. And so they serve the purpose of being counter-examples to certain lines of reasoning, right? And so in this case, I would say the example that I coming up with that's very unphysical is a counter example to a certain line of reasoning that goes like this. Malamut-Hogarth spacetimes can't possibly happen. Why? Because they have unphysical property X, Y, Z. I'm going to say, well, I have a counter-example to that line of reasoning because I've now

exhibited a spacetime, which is Malamette Hogarth, that doesn't have property X, Y, or Z. and so what it does is it puts the ball in the other person's court again and says if there's something else you're thinking of that makes it unfysical then speak up come up with some other criticism here but the criticisms you have so far aren't quite enough uh-huh you know hawk-eared or hawk the analogy for hawkeyeed for listeners the the eagle-eared i'm not sure listener may have noticed that you use the term uptane. So people who study philosophy are distinguished by their use of the word

uptane. Physicists who haven't studied philosophy never used the word uptain. Really? Okay. So, Uptain just means that something becomes the case. Yeah. I want to know, you mentioned earlier, that there's a difference between not only the way that Malamant

does the philosophy of physics compared to other philosophers of physics, but you also mentioned that there's a difference between the way philosophy of physics is done and philosophy per se. as such. So what is that difference? Well, I mean, I think one thing to say is that philosophy of physics even is a very diverse thing. So there is all sorts of styles of philosophy of physics. You've encountered some of philosophers of physics, right? You had David Wallace on your program,

Tim Mullen, I think. So you're familiar with, I mean, both of those folks have very, very, very different style than I do. I'm in a style which is on the more mathematical, logical, rigorous side of things, I would say. The way I attack a problem is to try to formalize that problem and come up with a proof or a counter example for a given philosophical claim. But if you look at the work of other philosophers, it's going to be very different. They're going to be very different. They're going to not necessarily be so rigorous. Here's an example, this is not my field at all, but something like quantum field theory,

there's going to be some philosophers of physics who want to really make that into a really rigorous type thing. That's difficult. And so what they might do is they might go to an algebraic approach to that, maybe look at C-star algebras or something like that. Whereas, you know, someone like David Wallace, or others, they might, you know, want to dive into the practice of how folks are trying to make sense of quantum field theory within, you know, a physics department or something like that. So these styles can clash and these clashes can pop up at a conference.

There are more styles than that, too. I mean, there are styles where it's very disconnected from the actual practice of physics. where you're looking at something like time travel from, you're starting in a different place. You might bring in physics here or there, but you're not starting with, okay, let's assume we're working within the context of GR and let's ask this question.

Rather, you're saying, I'm not going to, you know, start from GR, where I'm going to start from my own, you know, I've got my own system. And so it, yeah, there's a lot of different ways. to do philosophy. And looking back on my own trajectory, you know, when I was a youngster, I just wasn't aware of all of these ways. I mean, for me, it was just like there's physics, there's philosophy, bringing them together. That's got to be like this one thing, but it's not one thing.

Right. When I'm wrestling with a guest's argument about, say, the hard problem with consciousness or quantum foundations, I refuse to let even a scintilla of confusion remain unexamined. Claude is my thinking partner here. Actually, they just released something major, which is Claude Opus 4.6, a state-of-the-art model. Claude is the AI for minds that don't stop at good enough.

It's the collaborator that actually understands your entire workflow thinks with you, not for you. Whether you're debugging code at midnight or strategizing your next business move, Claude extends your thinking to tackle problems that matter to you. I use Claude, actually live right here, during this interview with Eva Miranda. That's actually a feature called artifacts,

and none of the other LLM providers have something that even comes close to rivaling it. Claude handles, interalia, technical philosophy, mathematical rigor, and deep research synthesis, all without producing slovenly reasoning. The responses are decorous, precise, well-structured, never sycophantic, unlike some other models,

and it doesn't just hand me the answers. The way that I prompted it is that it helps me think through problems. Ready to tackle larger problems? Sign up for Claude today and get 50% off Claude Pro when you use my link, clod.aI, slash theories of everything, all one word. This video is sponsored by Shortform. If you want a free trial and an exclusive $50 off their annual plan,

then go to the link in my description, shortform.com slash TOE. If you're like me, you've encountered books that are so dense, finishing them is actually just the beginning. Short form helps with that. Their book guides go far beyond pastiche summaries. They critique, they add context, they include interactive exercises, and connect ideas across authors.

Take Gertel-Escher-Bach, or The Master and His Emissary, two of the most demanding reads in consciousness studies on the popular market. My method is I read the guide first, then the book, then I read the guide again. So it's a triptych of engagement that cements understanding, better understanding for me. The GEB Guide maps recursive structures in a way that exactly. exhibits intellectual pliotropy where one insight branches into consciousness, computation, and self-reference simultaneously. Short-form covers philosophy, science, and psychology, if so facto, the intellectual core of this channel. They publish new guides weekly and subscribers vote on what

books get covered next. Their browser extension, Shortform AI, summarizes articles and YouTube videos with a single click. Go to shortform.com slash T-O-E for a free trial and an exclusive $50 off your subscription. That's shortform.com slash T-O-E. There are a couple levels here. So number one, when you tell people you go into math, if you tell lay people who haven't studied any math, they may think that what a mathematician does is something like an accountant where you're multiplying just larger and larger numbers together and maybe something like the Pythagorean theorem. And they don't realize that it's much more than that. And then when you realize that it's much more than that, you don't think in terms of

there are styles to that much more than that. Yeah. Growth in Deke's style is different than Terry Tao's style. And something that didn't occur to me is that there are different styles of philosophy of physics until just speaking with you now and thinking about it. So is there a style of philosophy of physics that you envy, that you think, oh, I wish I could do that? Yeah, I mean, I certainly envy. David sort of invented this style of doing philosophy of physics. And so I... Which David?

David, David Malamon. I would say, yeah, I'm very envious. I try in my own way to work in his style. I have my own style, though. My style is one where I don't put a sentence in a paper. I don't put a word in a paper unless it's necessary. And so my papers can be two, three pages. That's very unusual in philosophy. It's maybe more common in physics, although that's even pretty short. physics. But I like to let the results speak for themselves. I mean, I think a lot of philosophers what they'll want to do is they might have a result. Most philosophers don't prove theorems, right? So they're not actually making progress on the mathematical, physical side of things. What they're going to do is they're going to take existing statements and they're going to philosophize about them in some way, right? For me, my theorem, that is my philosophy. And so I let the results

speak for themselves and I try not to add on top of the results some flowery prose about, you know, whatever, or what the meaning of this is or something.

I just, you know, the result is what it is. That's the philosophy. One of the reasons I'm excited to speak with you and I have been excited to speak with you is because you're so terse in your writing.

And here you're not, and I like that because now you can expound and show me your thinking on a result. So speaking of thinking, many people have a model of what GR is, many physicists, and you, I'm sure, have your own private model. So how do you think about GR and what GR is and how that differs from many of the relativists that you encounter?

Yeah, I think I would approach GR as something. something that's not just one thing. So I have a pluralistic notion of what this thing is. And so if there's a question that depends on a background possibility space, so for philosophers, the notion of possibility is very important for certain subjects, something like determinism, for example, what counts as a possibility? Everything turns on that. Everything turns on that. And so for me, a question like, what is a possible universe according to GR? That's a very deep question. I don't think we're going to get to an answer to that question.

All we can do is a sort of relative style exploration where we say, well, let's assume that the background possibility space looks like this, then what follows from that? Let's assume that it's like that, what follows from that? And so we have a lot of relative results, I think. If someone wanted to, you know, show up to the scene and say, hey, man, we really have just, it's just, GR is this one thing. I'm going to kind of scratch my head and I'm going to go, like, where did this come from? Like, what in the world? One place you see this play out a lot is within the cosmic censorship hypothesis, right? because this is something that Penrose came up with.

One particularly nice way to phrase this is due to Robert Wald in his GR book says The Cosm Excentralship Hypothesis, at least a strong version, says all physically reasonable space times are globally hyperbolic. Well, you can see, given how that statement is formulated, that if your background possibility space is really small and you're kicking everything out, well, then cosmic censorship hypothesis is going to be true. If you're letting a bunch of, you know, misfits in, and then it's going to be false.

And so everything turns on how big or small is your collection going to be? And so all of these cosmic censorship theorems or counter examples, those are all trading on that game. So the people who are proving those results, what are they doing? Well, there's assumptions going into those theorems. What are those assumptions doing? They're pairing down that collection, making it very small, so that you don't have that riff-raf around.

What are the counter-example folks doing? Well, they're considering things in a slightly more liberal way. They're letting in more guys, and those guys are potential counter-examples. So that's the game. and I don't think we're ever going to get to the answer of whether censorship is true or not, because that's how the game is set up. I was speaking to John Norton of the whole argument.

We'll speak about the whole argument later, and Norton had his dome. He said there's a similar question begging that's happening in Newtonian mechanics, when people say Newtonian mechanics is deterministic. He said, well, if you assume Liftsit's continuity it is, but if you don't, then it's not necessarily, and then people would say, yeah, but physically realizable,

maybe lifts its continuous, but then he said that's begging the question. We don't know. So you can assume, it amounts to assuming determinism in order to prove determinism. Yeah, yeah, yeah. I mean,

one difference that I might point out is that I think Norton's Dome is operating in a non-standard type of Newtonian mechanics, right? So, uh, Norton's Dome, for example, is not a smooth surface. That's why you can get it to work. This other thing that I've been talking about, it's all happening within the standard collection of models of GR.

So one doesn't have to go outside of the standard context to show that determinism breaks down. Rather, one is looking at various subclasses of the standard collection. Okay, so why don't you talk about, again, What is GR specifically? I know you keep saying it's not one thing. Yeah, I don't know. What I mean is when you're talking about the space of solutions, are you saying, okay, Kurt, let's look at Einstein's field equations.

Let's write them down. What are all the potential metrics that could satisfy this equation? Is that what you mean by space of solutions? Do you mean something else? Yeah, yeah. Okay, really good question because I think it's important to lay the foundations. What are we even talking about here? You start with the idea of a four-dimensional manifold.

A manifold is a certain kind of shape where locally it's going to look like RN. It's going to look flat. So a sphere, a cylinder, a torus, these are all examples of manifolds. Now, what you can do with a manifold is then you can define various types of smooth, the tensor fields or geometric objects on that manifold. And in GR, what you do is you add on a

particular type of metric. It's a Lorentzian metric. So you can, there are all sorts of metrics out there. There's a Riemannian metric that you could put on a manifold. In GR, what you do is you put a Lorentzian metric on there. And what that is, basically, it's like you put a little light cone at each point. And with some additional structure about how GD6 behave, but that's what it's telling you. It's giving you a little bit of extra structure on top of the manifold structure. And then what Einstein's equation, you know, people talk about Einstein's equations and solutions to Einstein's equations. That is an empty, vacuous concept until you tell me exactly what you mean by that. So if you give me a metric, any metric whatsoever that's a Lorenzo.

metric, I can actually use Einstein's equation to kick out a matter field there that satisfies Einstein's equation because I'm defining my matter field to be one that is produced in a sense by the particular geometry that you give me with your metric. So what do I mean by a GR? Like, what is a solution? Well, you give me a manifold and a Laurentian metric and then I can use Einstein to add a matter field on top of that that satisfies Einstein's equation. Now, you can come on top of that and say, well, I don't just want any old matter field. I want a matter field that satisfies certain energy conditions. This is why the energy conditions are so important because they give some kind of constraint on that matter field. Right. And that gives content to Einstein's equation without any constraints like the energy conditions or,

or, you know, saying that, you know, restricting attention to vacuum solutions or something like that. Without any constraints on the matter field, Einstein's equation doesn't have any content. It doesn't do anything. So the standard collection is just the collection of all manifolds that admit a Laurentian metric. They all satisfy Einstein's equation in a minimal sense. And so then you go from there. how you go from there or how you want to kind of pin down some particular subclass of that larger class is up to you. You could use local conditions like requiring an energy condition or focusing on vacuum solutions or something like that. You could look at causal structure.

That's another very common way to pare down that background class. you could say, well, maybe I'm not going to be so strict as to require global hyperbolicity, but maybe I'll require that there's no time travel, or maybe I'll require that my space time is causal in a stable way. So there's a condition called stable causality. So there's local stuff, there's causal stuff. Another common thing that you have to do, this is a little bit more on the philosophy side because I think a lot of folks in GR maybe are not so far.

familiar with this side of things, but what you want to do is come up with some way to rule out holes. So holes are kind of like singularities that are unfysical. In light of the singularity theorems, we think, well, there's a sense in which singularities are physically reasonable. You can't kick out all the singularities. So you've got to let some in, but you don't want to let them all in because some singularities seem to be very unphysical. Just a moment. The type of hole that you're talking about here is not the same type of hole as the whole. argument, which we're going to get to. It's completely different.

Yeah, yeah. I'm so sorry. It's completely different. The terminology is messed up. I don't think the whole argument should be called a whole argument because it's not really a whole, but that's beside the point. I can't change the name. But yes, absolutely right.

This is a completely different idea. What it's, you know, take Minkowski space time, the space time of special relativity. Now remove one point from that space time. Just a single point. just just remove it the resulting structure that's a model of GR it's got a singularity in it a lot of people are going to point to that and say but that's unphysical like what the heck is causing that thing it's not as if there's any matter you know there's no matter there that's you know causing some hole to form because uh you know if some curvature blow up or something like that no it's

just it's just there it just appeared out of nowhere um bob gyrs In the 70s was one of the first people to look at solutions like that and say, what we need is a good condition to rule that kind of thing out. And so he came up with the idea of what's called Whole Freeness and some other people, Hawking Ellis, other people have come up with their own versions of a way to get rid of holes. And so that's another way you can pare down this standard collection to something that's more physically reasonable. Okay, let's forget about holes, although I do want to get to the whole argument. Yeah. But forgetting about holes, let's speak about holy space times, H-O-L-Y. Yeah.

Because you have a theorem about God's-eye views. Okay. So what is your theorem? Do you say there can exist a God's-eye view? There cannot exist a God's-eye view? What is a God's-eye view? Please. When you mean God's-eye view, are you meaning, sometimes I call an,

event a god point is that what you mean so this is i think so the point from which you can see the rest of the universe from that point you can see everything yeah yeah yeah um uh so a god point is a point it's an event in space time such that the past light cone of the event is the entire universe so you can see everything and when i say everything i mean everything and that includes the future to this point and so that what that means means is that there's necessarily going to be time travel going on because if you can see your future, if you can, you know, if you go back in your past far enough and you arrive at your future, there's some really weird causal stuff going on. And so, yeah, I would say a spacetime has a

god point if there's a point like that i use this idea uh as um a very minimal condition uh i say let's restrict attention to space times that don't have god points and then i i will go off and uh maybe prove a theorem or something but um the reason why the the condition is introduced is because if you do have a god point well, then a lot of this unknowability of the universe stuff doesn't go through because you can see everything. You have access to everything. What is the ontology according to GR? Like, what is the universe? Yeah, I don't know. I mean, I don't know what is meant by that. I mean, I'm sure, you know, you could make sense of that in a number of different ways. I'm very close, I like to tie myself very close to the physics and the mathematics that I'm working with. So, as I just mentioned, I'm working with a spacetime manifold, with a metric on top, via Einstein's equation.

We have some matter field there. That's the ontology. There's, you know, if you want me to expound on that, well, what does that mean? Then this is where I get very uncomfortable, and I say, I don't know. I don't want to go past that. The ontology of GR is you start with a manifold of events, and you have a metric that provides some causal structure and some additional structure. You have a matter field that's related to the geometry via Einstein's equation,

and that's what there is. Interesting. Okay, so there are some people who are substantivalists, and then there are some people who are relationalists. The substantivalists will say that space-time points exist, and they exist independently of matter, and then some people who are on the relational side, and you can also correct me if I'm incorrect.

Yeah, yeah. We'll say that it's all spatio-temporal relations between events, and that's what's real. Yeah. And my understanding is historically, these can be seen as progenitors, broadly speaking from Newton as the substance person, and then Leibniz as a relationalist.

Now, whether or not that's historically accurate, that's at least the folklore. So do you have a dog in that fight? Yeah, yeah. See, this would be something that I maybe have got from David Malamon. I, you know, I don't understand a lot of, there are just so many articles and books written about this, and it's occupied such an incredible part of the history of philosophy of physics, but I just, I'm not sure I understand the distinction there.

I think when you try to articulate what exactly you mean by both of those positions, you very quickly come to something like, well, what's the argument about here? So this would be an example where, yeah, I don't have a dog in the fight. I think folks who were interested in the whole argument, various folks may have a dog in that fight. And part of the reason why I maybe avoided the whole argument for so long is because I just didn't want to get in this, what I viewed as a kind of a quagmire, right? And because I didn't see really any progress being made there. I didn't really see clear views being articulated and argued. What I saw were, you know, some hand-wavy, gestury type of stuff. And that's just not my bag. My bag is to make things precise. And it took a really long time for me to really, see, you know, something that I could say, you know, in a very precise way that has relevance to these issues. And so, yeah, but even now, I don't think I'm on one side or another.

I'd like to start drilling into the unknowability of space time. Okay. So you have some theorems on this, and it says something, again, correct me if I'm incorrect, roughly like from your spot, from your local spot, you'll never be able to determine the global structure of space time. Now, said the way that I said it, that sounds trivially true about anything. From your local spot, you'll never be able to know some global structure. Well, you don't have access to the global from your local. So what have I said that's incorrect? What is your theorem?

What are the implications? Yeah, everything you've said is correct, but I would just go further. So it's not just that from this event, I can't know what the global structure of space time is like. It's not just that from that event, I can't know. It's that it doesn't matter where in the universe one finds oneself, whether that's in the past, present, future, here, there, everywhere. It doesn't matter. Suppose that you give me all of that data.

Suppose that you have an eyeball. Everywhere in the universe. Everywhere in the universe, there's an eyeball there. Okay. And then suppose that you're somehow able to relay the information that the eyeball is seeing at every event, everywhere, not just where you are, but literally everywhere and every wind, too. This is not just in the past and present. This is every possible event, even in the future. Now you give me all of that data.

I'm going to go back in my workshop and I'm going to come up with a model that's going to reproduce all of that data, but it's going to be completely different from the model of the universe that we started with. Whatever structure that you may suppose that our universe has, I'm going to find one that's completely different from that, but that reproduces all of that data. Moreover, that was conjectured back in the 70s that that was possible by David Mavis. element. It was not proven until 2009. By yours, truly. Yeah, yeah. So I was very fortunate. David helped a lot because he gave in his paper a sketch of a proof. And I used that sketch. I built upon it. But one thing I want to emphasize that I don't think many people realize is that I went way beyond what

David had conjectured. David said nothing about local structure. So he conjectured that if you give me a space time, well, I'll be able to come up with this nemesis space time that reproduces all of the data, but that is completely different. Now, that's one thing, but it's a completely extra level to say, well, now not only do you just give me the space time, but you tell me that you want to preserve some kind of local structure. So, for example, if you give me a vacuum solution, maybe you want to preserve the fact that it's a vacuum solution. So I can't just go off and build whatever model I want as the nemesis. I'm now constrained. I have to build a model that is a vacuum solution or whatever other local property that you could possibly think of. And it turns out that the theorem does go through even under those additional constraints.

And so what that does is it closes off a common response, I think, to the work, which is, I think, folks think, well, is it, you know, of course, deductively, if you give me some data, it's not going to deductively prove that the universe has to be a certain way. Nobody ever thought that. Science doesn't work like that. Science works on induction, right? Science works in a way where you tell me what the local structure of the universe is like here. And even though I can't observe it over there, I'm just going to kind of extrapolate or do some kind of induction that says, well, you know, the local laws of physics aren't going to be completely different over there. They're going to match what's going on here. So I'm going to do it a little induction. What this extra step, this extra level that I that I'm talking about with this a knowability theorem is it shuts down any response that says oh well you're not doing an inductive type thing you're doing a deductive type thing I want to say no I'm doing I'm telling you to give me all of your data and I'm allowing you to do any kind of local induction that you want you're still not going to be able to pin down what the universe is like

the only way to wiggle out of this is to do a global index is to start assuming certain global properties about the universe. But that's precisely what's at issue here, right? The whole point of the theorem is to say, we don't have any idea what the global structure is like. So if you start whipping out global properties and saying, well, I can shut down your theorem by, you know, appealing to this global property, I want to say, where does that come from? It's not coming from any empirical data that we've gathered. It's not coming from any sort of like local induction that we're doing. Where that's coming from, is just an assumption about the way that you want the universe to be.

So it puts, you know, the pressure back on the person who wants to say that we can somehow know the global structure. Are there some inductions or some assumptions that are reasonable, like Occam's Razor, to say that this one is more simple than something more bizarre than that you may come up with? Yeah, that's an interesting question. I mean, you know, maybe you could somehow. make that rigorous. I don't know though. I mean, I don't, there's no natural sense in which there's a property of simplicity that has manifested here that's a useful thing to consider. I mean,

I think rather what folks want to use are the properties that we've been talking about. So they might say, well, if you're dealing in globally hyperbolic space times, then you're not going to be able to do this. Or if you are working with space times without holes in some sense, you won't be able to do this. I have a response to that sort of thing. But the simplicity stuff, yeah, I mean, that's a type of non-empirical, almost metaphysical type of thing that you're going to have to insert into theory choice to get you to go this direction rather than this direction. I'm not aware of anything along those lines. I'm interested in this sort of thing.

I think that probably the most promising approach isn't a metaphysical thing. It's more of assuming that spacetime is radically asymmetric. And if it's very asymmetric, then it turns out that local structure is actually equivalent to global structure. Right, right. Heraclyde is just speaking of this. Yeah, yeah. And so then you have an entry point because then if I am allowing you to do local inductions, what you can do is you can say, well, I want my local structure to be kind of like a local structure of this model over here. And that will uniquely determine the global structure.

So that's one way through. It's a way that I've explored with co-author Thomas Barrett where in a way it's kind of like arguing, I'm kind of arguing against myself in some way. And that's a trip to write a paper where you're kind of arguing against yourself. But I think it just shows the limits of the theorem. You know, every theorem has its limits. And so, you know, this is going to be one of those. What I would say is that because local structure and global structure come together in this, in context of radically asymmetric space times,

you might want to consider weaker types of local structure inductions that you would be able to do that don't qualify. So what I mean by that is, you know, if you said, for example, okay, you can do local inductions like you can assume various types of standard energy conditions, you can talk about vacuum solutions, you can talk about that sort of thing,

well, then the theorem goes through just fine. So it's really that, the fact that when I'm proving my theorem, I'm working with the most liberal notion of local property that I can possibly come up with. And when you're dealing with something like a Heraclytus space time that's radically asymmetric, that I've just let too many possibilities in and the local structure actually turns out to be equivalent to global structure shuts the whole thing down. What is a Heraclytis spacetime? Yeah, good. So a Heraclytitis Spacetime, is a space time where you give me any distinct events in the space time.

And I claim that if it's Heraclytus, those two events are different in some invariant way. So they have different local structure. And so, you know, Heraclitis is famous for his constant theory of flux, this radical flux that's happening. Everything's always changing. famously said you can't step into the same river twice. And so that's the idea here. You can't step into the same river twice means that if you step into the river the first time and you try to do

it later on, there's going to be some difference there. It might be the same with respect to some properties, but it's going to be different relative to some others. And so a Heraclides space time is something where, yeah, every event is different from every other. Okay, so to the keen-eared listener, which is probably the better word than hawk-eared, I said earlier, they may be thinking, well, what is it that you mean by local structure? Isn't the fact that we're on a manifold? Doesn't that mean that everywhere already has the same local structure? If everywhere it looks like RN, what is this local structure you keep saying can vary from point to point?

Oh, yeah, that's a great question. If you're just dealing with a manifold, then every point is just like every other, right? it's important that when we're working in GR, we're not working just with the manifold. We're working with additional geometric structures on top of it. In this case, a Lorentian metric. So it's the Lorentian metric that's going to be different here rather than here. The Lorentzian metric is telling you, what's the geometry like at that point? And so in Heraclytus space time, it's really weird, but each point has its own geometry going on.

Okay, what if someone says, and I'm sure you've heard this, locally every point-level. looks like Mikowski space. No, no, that's not true. I think that's a common misunderstanding. Minkowski space time is flat. There's no curvature there at all. What I mean by that is that if you look at various types of curvature tensors, like you may be familiar with the reachy scalar field,

on Minkowski space time, that's zero at every point. In an arbitrary space time, that's going to be varied over the space time. It's going to have curvature associated with it. And that curvature must be preserved by any kind of mapping from one point to another. If you're going to say that these points are the same, then you're going to have some kind of isomorphism from one point to the other that's going to preserve that structure. And so what we do in Heraclitis space time is we look at properties just like this, the curvature properties, and say there's no two points with exactly the same curvature properties. some people may object and say, well, okay, if we're going to assume space time is continuous,

sure, we can construct such wildness. Maybe there's something about Zoran's lemma, which we'll get to, that is necessary for these heraclysis structures. But maybe, I mean, space time, sorry, but maybe space time is discontinuous, or we don't have a theory of quantum gravity. So we're speculating at something that's subplankian classically, but perhaps we shouldn't. How do you think about all of that? Yeah, yeah. Well, it's very common to have, for a variety of mathematical structures,

one looks at the symmetries of those structures. One can do that for a set. One can then add some topological structure and look at symmetries of a topological space. One can do the same thing for a manifold structure. So there are all sorts of levels of structure that one has in mathematics. and at all of those levels of structure, what you want to do is look at the symmetries there.

And what we're doing is basically drawing attention to the fact that unlike a manifold, say, where each point is just like any other, in generic space times, you just don't have symmetries, and you don't have symmetries in a global sense, and you don't have symmetries in a local sense either. And so what that means is that these structures without symmetries are very common, not just within GR,

but it's basically any kind of mathematical object that you're going to want to look at. You start looking at the space of all of the objects. It's almost certainly going to be the case that generically, you know, a randomly picked, you know, arbitrary example is not going to have any symmetries. So that would be my response is that this assumption is not some kind of special condition that happens, you know, only in very special cases. We think that probably almost every general relativistic space time is Heraclygous. It's just that these are very hard to write down. And so you open up a textbook.

Right, right. You're not going to see these. You'll never see these in a textbook because in order for you to, you know, study these. things, you're going to need symmetries to make them simple. So let me ask you this. Is it the case then that we can say that approximately Heraclitus becomes FLRW or something like that in order to infer the Big Bang? Because the Big Bang models have so many symmetries to them.

So I'm not understanding if the universe actually is Heraclytis, then does that put doubt into something as profound, important, seemingly fundamental as the Big Bang? How do you see that? Yeah, yeah, yeah. Yeah, it's a great question because I think what's going on is that there are different levels of scale involved. I mean, the Heraclytus point is that if you're really zooming in on each point and looking at its very particular curvature properties, that you're never going to find any two points with exactly those curvature properties.

When you're dealing with something like FLRW models, you're zooming way out. you might talk about maybe that there are approximate symmetries in that sense. And there have been some philosophers and physicists who have tried to make that idea precise, right? So I think when you're working with an FLOWW model, it's going to be an approximation of some other model that's Heraclytis that's in the background, right? that's maybe really what our universe might be best represented as. But when you're studying things on such a grand scale, maybe those small little differences in curvature aren't, they're just not important for whatever you're studying.

So it's just a matter of what you're looking at there. I don't think there's any contradiction or any tension there. You just have to keep track of what are we studying, what are we trying to model? And when you're doing something, when you're trying to model something like FLRW, you're going to naturally reach for space times with all sorts of symmetries. Because on a large enough scale, there is going to be all sorts of symmetries.

But of course, it's not going to accurately model our universe. I mean, we have clumps of galaxies here and not there. And so our universe is not completely symmetric, right? It's not completely homogenous or isotropic. Yes, yes, yes. So all those assumptions are great if, you know, you understand what you. you're doing with those assumptions. As long as you're not banging your fist on the table saying,

no, no, but this FLRW model, this really is an accurate representation of our universe, then there's no problem. So, if I had to bet money, I would bet money that if we're in a haeclitis universe, that the curvature would

average out to look like something like FLRW, but I know in effective field theories, there are precise theorems that show you that you can integrate out certain low-level details. I haven't encountered a Heraclytus spacetime until your work, so I don't know if it's the case that something like chaos would occur where something small actually gives rise to some large change when you try to, quote, integrate out into an FLRW or into these

other approximations. Do you know, or do you suspect it to be the case that if our universe is indeed Heraclytis, that that wouldn't cause any tension with FLRW? you. Yeah, I'm not, I'm not aware. You know, we're investigating some issues on the philosophical side of things. So we're investigating things like what philosophers have said for a long time about connections between, say, symmetry and structure and that sort of thing. So I haven't really looked at, you know, what the implications are for this sort of thing for, you know, something like quantum field theory. My guess is that, You wouldn't run into problems. The examples that I know of that we've constructed these really simple models,

it's not like they're pathological in any way. It's just that they are varied everywhere. It's not like there is any kind of curvature blowups. It's not like there's any even singularities anywhere. You can have globally hyperbolic heraclytitis spacetime. So I don't think it's messing anything up, really. It's just sort of like a fine-grained kind of model of the universe that could potentially, have implications for certain philosophical things that maybe some people aren't interested in them, but in philosophy of physics, for example, there is a long tradition of saying, well, the symmetries of an object tell you how much structure it has. If it's got tons of symmetries, it doesn't have very much structure. If it has few cemeteries, it's got tons of structure. And so what we're doing with our Heraclydes stuff is kind of throwing a wrench into this and saying, Well, at some point, you get to the stage where your asymmetries kind of max out. You can't be any more asymmetric than a heraclytus space time, but your structure doesn't max out.

You can still add on structure. You can still add on a little sign that says, here's the center of the universe. So you can pile on structure, but that's not going to decrease the asymmetries. That's something that may not be of interest to folks, but in philosophy, this is, decades and decades of folks writing about this what we call dogma, this symmetry structure dogma, and we're trying to blow that up. Is there something about these maximally asymmetric space times, otherwise known as Heracly ocytus space times that you've constructed, is there something about it that makes a certain

direction privileged, or something like that? Because it's said that in, well, in FLRW, there is no privilege center, there is no privilege direction, and there may be cosmological data on the experimental side that we're in an odd part of the universe. I've spoken to Subur's Sarkar about that, I'll place the link on screen. But the point is that that's experimental data. Is there something about the theoretical Heraclitus space time that says, oh, actually, because of this, there is a preferred something, a preferred direction, a preferred center. Yeah, I would think it goes in the other way. I would think that the fact that the fact fact that it's so asymmetric means that various tensor fields or geometric objects generally

that you might consider on that spacetime, there's a sense in which many, many, many geometric structures are, we would say, implicitly defined by this spacetime. So a space time implicitly defines a whole set of structures when those structures are preserved by the cemeteries. And what happens in a Heraclite space time because there are no symmetries, that means that there are all sorts of geometric structures there that are kind of compatible with that structure. So I would say it goes in the other direction. It's going to blow things up even more than, you know, might have in a very symmetric space time like a FRW space time. So super interesting. Great, great response. Erman in a book called The World is World Enough in Space Time? Perfect. Right. He has a

chapter on various hierarchies of space times. Yeah. And he said that as you add more structure, your symmetries become smaller, but your absolute quantities increase. And questions of motion become more meaningful, something like that. Okay. So give us an intuition. Why would it be the case that adding more structure, firstly, what does it mean to add

more structure to your space time? Why does that reduce symmetries? why does that add meaningfulness to motion? How are these at all connected? Yeah, yeah. Good, good question. I mean, in that chapter, he's looking at various types of classical space times. So Newton, for example, he thought that there was an absolute space.

Think of it like this. Imagine that you're even thinking that there is a center of the universe, right? So the center of the universe, that's a lot of structure. If you're pointing to a certain point of, you know, in the universe and saying, this is the center, that's some extra structure. And what that's going to do is it's going to limit the type of cemeteries that are going to be allowed because cemeteries are going to preserve all of the structure that you have there. So in a normal, you know, Newtonian space time that we might think of now, you could shift the entire universe over four feet this direction. and what do you get back? You get back just what you started with.

You don't change anything by shifting everything over if there's lots of symmetries. But if you've got, you know, the center of the universe is right here, now you no longer are able to shift over four feet because now that's, you know, things aren't going to line up anymore. So that additional structure shows that the symmetries

have been decreased in some sense. And now what is meant when Ermin says that questions of motion become more meaningful? Yeah, yeah. So you can actually start looking at models of Newtonian space time where one of the cemeteries is not just shifting over the whole universe in this way, but actually putting it in motion. Compare this universe that we have now with one that is moving five miles an hour

that direction. some spacetime models will identify those as being the same structure. So in Erman's book, these are called Galilean space times. Newton is going to want to say, no, these are different structures, right? So in a Galilean space time, it makes sense to talk about acceleration, but it doesn't make sense to talk about, well, how fast am I moving? because, you know, if you're moving, let's say I'm not moving in the original space time, but now I've started considering my motion relative to this other model,

this moving five miles an hour in this direction, well, now I am moving. And so if these models are identified, there's no matter of fact about whether I'm moving or not. Whereas in Newton's space time, there is a matter of fact about whether you're moving or not. And so as you increase the structure, more and more things about motion makes sense. So in this Galilean space time, how fast am I going? That doesn't make sense.

But you pile on some more structure. You have absolute space now. Now you're not identifying this space with the one that's moving five miles an hour in this direction. Those are not the same. That's not a cemetery anymore. Now you can make sense of something like, you know, I am moving. Now, this is a bit technical. remind me again of the difference between the Leibniz spacetime, the Newtonian space time, and the Galilean

space time in Erman's book. Yeah, yeah. It gets confusing. So I think, yeah, Leibnizian spacetime is a space time where each time slice is sort of its own thing. It's not really connected with the other time slices except for there's a temporal metric there, which tells you how much time has passed between this time slice and this time slice. So if there's an event happening here...

Interesting. And one event happening at this one, maybe they're five years apart. But this spacetime that looks like this is the same as this one in a Leibnizian thing. There's no connection. So in a Leibnizian space time, there's no sense of acceleration.

Because if I'm an accelerating body, well, if I'm not accelerating, what I can do is I can do this transformation, and now I am accelerating. So just a moment, there's no sense of connection at all, or is it just you did a rotation with your hand here? Yeah, I did a rotation. Could it have been like this, and it could be discontinuous?

Yeah, I mean, you do have to stack these on top of each other, so there's a connection in the sense that there's a background manifold there that connects everything together. But there's no connection in the sense of a derivative operator that's going to allow you to make sense of something like acceleration. So at this low level, there's tons of symmetries. So many symmetries. This is a symmetry. So is this.

So is this. So is, you know, these are all symmetries. And what that says is that there's very little structure. And it means that very little makes sense in terms of motion. You can't even make sense of acceleration, let alone something like speed or my position or something like that. Then what you do from the Leibnizian thing is you bump up a level, then you go to Galilean space time. Now this is a symmetry, so I can move things like this, but I can't rotate because rotation is acceleration. The whole point of the Galilean space time is I want to preserve acceleration, but that's all I want.

want to preserve. I want just enough structure so that Newton's laws make sense, F-Equal M-A, so that that makes sense, but I don't want to add any more structure than I need to to make sense of F-Equals M-A. So in a Galilean space-time, acceleration makes sense because, you know, if I have, you know, think of a deck of cards, you know, it's all stacked up. If I bevel the deck, you know, that's essentially like putting everything in motion five miles an hour that way. Well, that's going to map straight lines to straight lines. Straight lines always get mapped to straight lines under those kinds of transformations. And so it's kind of preserve acceleration.

If you're not accelerating, under a symmetry, you're not going to be accelerating. Or if you are accelerating, under any symmetry, you will remain accelerating. And so the added structure means there's less symmetries than there were in the Leibnizian situation. there's more structure and that more structure allows us to talk about more motion so we can talk about acceleration where we couldn't before then the next step is to bump up to what he calls a Newtonian space time

and that's where we say well this is no longer a symmetry this is a symmetry where you can shift things around like that or if you want to rotate you can rotate around like that but no more can you can you are these things you know allowed to move like that anymore. And so what that does is now once you have these things connected in that way, you have this additional structure, you have less symmetries, and now you can talk about, am I moving?

Am I moving, you know, what's my motion like relative to this absolute space thing? Because now this thing's kind of been glued together. Now this is Newton's idea of absolute space. You can keep going. You can do, I think he calls it an Aristotelian space time, where you take Newtonian space time and then you add the center of the universe to it and now I can't even do translations like this.

I can't move everything over five feet because that will ruin this center of the universe structure. So that gives you a sense. It's fascinating and on some level it makes a whole lot of sense this inverse relationship where you've got more structure, less symmetries. And for this context, it makes a whole lot of sense to think about those things.

things, but things start getting really crazy once you start looking at these Heraclytus type models, because then the asymmetry is so radical that it kind of gets maxed out. And then, you know, God knows you can pile on structure, but you're not decreasing the symmetries. And so then the whole idea kind of blows up. Well, God knows is an interesting phrase there. Yeah. We can speak about God or we can speak about the nose part in the Heraclytitis space time. you could know or you can infer what's going on at every other point because it's almost like, well, there's a photo which I'll show, which you will send me, that there's only one way that every, the puzzle piece is so jagged and so intricate that there's only one other puzzle piece that can fit on this side and one other puzzle piece that can fit on that side and so forth. How would you put it? Here's how I would put it.

I would say, if you give me a Heraclytus space time, we can play a game where you give me, where now you go and you cut up the space time into tiny little pieces, little puzzle pieces for the universe. And you don't tell me which Heraclides spacetime you started with, but what you do is you hand me a box of puzzle pieces and you say, why don't you put the universe together? using these pieces. I mean, you can really cut these things to be very small. Well, if I'm in

a Heraclite space time, there is only one way to put the pieces together. So there's no room for any alternate way to put the puzzle together. If I'm putting, you know, if I find this piece, then I'm searching for another one that kind of matches up to it. There's only going to be one piece that matches up to it. So then I put them together and then I keep going like that. There's only one solution. This contrast from a situation like Minkowski Space Time, every point is just like every other. Every point can be mapped into any other point. And so if you were to, if you were to cut up Minkowski Space Time in a million pieces, hand me a box of pieces and say, put this puzzle together. Well, I could put it together like Minkowski Space Time.

I could also put it together in like a rolled-up-up Minkovsky space-time where there's time travel. I could also put it together where there's like a giant hole in the middle of Minkowski space-time, some giant singularity. These are all possible ways of putting the puzzle pieces together. And so I think that's the sense in which local structure determines global structure. The local structure is given by those puzzle pieces. You're telling me what the local structure's like. and if there's cemeteries around, like in Minkovsky Space Time, the local structure just does not determine the global structure.

There's all sorts of global structures consistent with the local structure, but in Heraclytus space time, there's just one way to put the pieces together. Now, you've shown the Heraclytus structures implies noability of the universe. Yeah. Okay. Have you shown that in the only way for the universe to be knowable is via these Heraclytis spacetimes? Uh, no. So, I mean, I think it might be possible to restrict attention to, uh, look, if this is your background possibility space when you start, this is the standard collection. Of course, you can, you can, you can make that smaller and smaller and smaller to the point where you're going to get a uniqueness result. And you can do it by saying, well, let's just consider a collection where there's only one model.

Got it. Uh, so there's all sorts of ways in which you can get a uniqueness result, um, uh, aside from, um, uh, aside from. Um, uh, uh, aside from. this Heraclytus business. One route might be to do, you got to do a tag team. It's not enough just to pick like a causal condition or a local condition or something. You got to kind of combine a bunch of them together. So I would say if you were interested in proving a theorem like this, a positive theorem, look to globally hyperbolic space times, which have very well-behaved local structure like maybe they're vacuum solutions, which do not have holes, maybe the combination of those three in some sense will allow you to get a unique model, but we know that that even that's not going to work. We know that the general result may not be in the cards,

but we do have examples of globally hyperbolic really well-behaved models with no holes that have a cosmic underdetermination problem. Desider space time is one example. So in DeSitter's space time, your light cone doesn't do this. What it does is it kind of has these asymptotes. So there's an asymptote here and an asymptote here. So your light cone just does this. And so you don't get to see very much of the universe in a decider space time. And so desider space time, if you are in desider space time,

you have no way of knowing if you're in decider or some other unrolled decider or some desider with holes in it or some other decider with, you know. So there's all sorts of possibilities. around, even if one were to restrict attention just to really well-behaved space times like that. I think talking about De Sitter is really important because that's what got this literature started when David Malamon was writing his first article on this stuff. That's the example that he used to kind of illustrate the cosmic underdetermination problem. So what you want to do is almost introduce the problem via something like DeSitter and say,

look, you know, there's a good chance that on some level, maybe we're living in a universe that is desider-like. And so in that sense, you have this cosmic underdetermination kind of lurking. What's the actual character of that? Well, now let's go investigate that and see how general things are. So I think having the decider in the background is a really good thing to do, and I'm glad we had a chance to talk about it. So to the people who care about science, who care about knowledge, well, no ability, and induction, the so what here is what?

What is the consequence of your 20-09 paper, I believe? Yeah, yeah. So what? So what? Well, I mean, I think it's natural. I love science. And that's what I do every day of my life. I'm doing physics.

But science has its limits. And so what I'm trying to articulate is that one can use science to show that science has limits. And that's what I'm trying to do here. And so the so what is even in principle, there are things that science just isn't going to be able to help us better understand. And in this case, one of those things is the big structure of the universe that we're living in. Interesting. You can use science to show the limits of science. Yeah. Please explain more.

Well, I mean, in philosophy, underdetermination has been a big idea for a very long time. So you can go back to something like Descartes thinking about, well, how do I know this is what the universe is like? And I'm not being, you know, deceived by some evil demon. You know, you, we have this idea. You know, The Matrix is a movie that I often bring up in class because most students are familiar with this idea. Underdetermination is this fascinating idea that pops up all over in philosophy. And there's something called the Do Hem Quine thesis, which, you know, basically says that for any belief that I have, you give me whatever data that you want, I'm going to be able to keep that belief. as long as I'm, you know, tweaking auxiliary hypotheses in just the right ways. I may have to do

some drastic stuff. I may have to maybe plead hallucination. I may have to, you know, assume that, you know, my eyeballs aren't working properly. Maybe I'm in the matrix, whatever it is. But it's, it's certainly logically a possibility always to keep whatever one wants to think about the universe in spite of whatever empirical data is coming in. And so that's, that's one type of underdetermination that's around. And what I'm drawing attention to now, back to your question, is I'm saying there's another type of underdetermination that's, you know, that ought to keep us up at night. That hallucination stuff, the matrix stuff, I mean, it's fun to think about, it's fun to talk about. But at the end of the day,

I don't lose sleep about that stuff because it's not coming from our best scientific theories. What I'm doing here is I'm saying, hey, let's focus attention on our best science. Let's see what our best science says about what we can know. Let's not just start philosophizing about, you know, what can I know, you know, maybe I'm being deceived. That's a recipe for a lot of confusion, I think. Science is wonderful, and let's use what we've got to try to figure out what we can know and what we can't. And what I'm saying is just that within certain contexts, and GR is one of them, you dive into the details of the actual science and try to answer the question,

can we know what the universe is like via our best tools that we have? And the answers no. Okay. So would you say that the former, what you talked about at the beginning of that answer, is not science showing the limits of science. It was more like philosophy showing the limits of science. But what you're doing is taking science. seriously, whatever that means, taking the theories of science seriously.

Exactly. And then following their consequences showing them. Exactly. That's a great way to put it. Yeah, that other kind is like using logic or philosophy or fun little, very wild kinds of, almost conspiracy theory kind of situations to prove the limits of science. I'm not doing that. So this is so late in the conversation for me to ask you this. And I have the luxury of going through your lectures and your papers, which I'll put in the description for people to go through because you write wonderfully.

And that's not a quality that many modern writers have. So, thank you. It's great to read your papers. And like I mentioned, this is a bit late for me to ask you this question. But because I want to move on from this topic, people have heard the term Heraclytis over and over and over. And I have the context of the giraffe space type of Herclytitis. and all of that from your lectures. So apologies to the audience member

who still has question marks over their head. But before we move on, what simply is a Heraclytis space time in simple language for someone who doesn't know what GR is? Yeah, yeah. It's a simple idea that you don't even need GR to say it. It just means a Heraclytus universe or a Heraclitis world is one where

any two events that you pick are different in some way. That's it. Perfect. Okay. Did you construct the Heraclytus space time or Heraclytus universe, whatever we want to call it? Because you wanted to rescue no ability? No. Because you were so disturbed by the unknowability. No, no. That wasn't the angle. The angle was some of these questions about what is the connection between symmetry and structure. Philosophers talk about this a lot. Jill, North is a philosopher who wrote a book recently about this. And me and a buddy, Thomas Barrett, we just started talking about the relationship between cemetery and structure. I think at one point he said like, well, it would be impossible really to find a space time like this. But what

would really be cool is if you found some kind of universe where every two events are locally, they're just completely different. And I don't know, just. sparked something in me. I was like, I got to figure this out. And so, you know, I went to the drawing board and tried, well, you know, actually what I did is I wrote some, I wrote some code back when I was in graduate school for Mathematica, where I could enter in some space-time metrics, and it would pop out some curvature tensors. And so what I would do is I would just play around and play around with various kinds of metrics to kind of get these curvature properties to kind of play off of each other.

So that what we did was we found, we limited attention to a really simple model. I love making things simple, as simple as they can possibly be. And so for us, we're like, okay, well, let's just focus on two-dimensional

universes, one space dimension, one time dimension. And let's make this conformally flat. So it's very, it has the same causal structure as Minkowski Space Time. But let's just tweak things a little bit so that we identify two curvature functions where, you know, we'll call them P and Q, say.

Points can share the same P values and they can share the same Q values, but we set things up in just this right way where they can't share the same P and Q values at the same time. Does it bother you that, at least as far as I can tell, the axiom of choice is required for Herklytus space times? Okay, good. Yeah, I'm glad you asked about that. We have a separate paper that talks about maximal Heraclytus space times, which are space times which are maximal with respect to this Heraclitis property. And there we do need Zorn's Lemma to prove their existence.

It's not uncommon to use Zorn's lemma to show maximality properties within spacetime. But just the Heraclitis property, we don't need Zorn at all to do that. So the one that we construct, I literally can just tell you what the metric is. I don't need to rely on any existence result that's mysterious like Zorn there. The economist covers math, physics, philosophy, and AI in a manner that shows how different countries perceive developments and how the impact markets. They recently published a piece on China's new neutrino detector. They cover extending life via mitochondrial transplants, creating an entirely new field of medicine. But it's also not just science.

They analyze culture. They analyze finance, economics, business, international affairs across every region. I'm particularly liking their new insider feature. It was just launched this month. It gives you, it gives me, a front-roll access to the economist's internal editorial debates, where senior editors argue through the news with world leaders and policy makers and twice-weekly-long format shows. Basically, an extremely high-quality podcast.

Something else you should know about is that if you can, go to their app, they not only have daily articles, but they also have long-form podcasts with their editors and writers. This is also available online. Whether it's scientific innovation or shifting global politics, the Economist provides comprehensive coverage beyond headlines. As a toe listener, you get a special discount. Head over to economist.com slash TOE to subscribe. That's economist.com slash TOE for your discount. Much of the audience may be coming from the consciousness side or the philosophy of mind side, if space time's global structure is unknowable from within it,

does that have any bearing at all on how first person knowledge is irreducibly from within? I don't see a connection there. I mean, I see a connection only insofar as there's limits to what one can know. And I think that there is a, you know, a similar type of underdetermination. problem with respect to the self. It's a completely different context, but I think some of the rough contours of the situations are the same, but I don't see any direct relationship there. Tell me about the underdetermination of the self. Yeah, yeah. I mean, this is something that I have an intro philosophy of science class going right now, or just getting to the part where we talk about

this. Essentially, we have set things up in this class so that we start out with kind of like philosophy of science 101. This is where we learn about basic logic and the basic underdetermination problem. Then what we do is we do a case study where we look at the underdetermination how it pops up in physics, in particular with respect to this cosmic underdetermination, this large scale underdetermination. But now we're at the end of the quarter and we're looking at a second case study and the second case study is the self. And so what we're doing there is we're saying, you know, if you look at the writings of folks like Hume, other empiricists, what they're doing is they're saying, when I look,

when I try to observe what I am, when I ask the question, who am I, what am I? And I try to observe myself, I find that I don't have any observation of myself, right? So, you know, Hume is someone who, you know, as an empiricist, he's saying he's looking at billiard balls and he's, you know, trying to look carefully to see the cause of this billiard ball going over here when it's hit by this other one. And he says, you know, tries that might. I see all sorts of empirical data going on here. I see correlations with, you know, movements and stuff. But I never see the cause. And that's because this idea of causation is a very slippery, metaphysical thing. And I think Hume's, you know, in this context is saying the same kind of thing. He's saying, when I look carefully for myself, I see all sorts of empirical data. I see all sorts of, I have all sorts of perceptions. I think there's a famous quote where he talks about, he says, I see love in me, I see hate in me, I see pleasure, I see pain, I have all these perceptions, but I never see me, right? And some folks have thought, I mean, this is very,

very similar to what Buddhists say about the self. Of course, Buddhism is a very vast, diverse thing, but what draws them together are just a few very important principles like impermanence. But the idea of non-self is one of those. And so, you know, you look at what an empiricist like David Hume is saying, and you compare it to what a Buddhist might say about the self. And you see that they're both kind of picking up on a type of underdetermination, a type of underdetermination that starts with empirical data about the self, and then not being able to pin down what that self is like. So as far as I know, Hume also wrote that these investigations left him

frightened and confounded. I think he said something about retreating to backgammon to escape the distress. And also that Hume was arguing for an epistem. systemological claim that there's limits to what we can observe through introspection, as far as my limited readings, didn't observe an ontological claim, but the Buddhist claim to me seems ontological about the no-self. So how do you make that bridge between human and Buddhism? Yeah, I mean, there's different ways in which you could make sense of the Buddhist idea of non-self,

and I think it's probably going to be, you could make sense of it. in different ways depending on which type of Buddhism you're looking at. The tradition that I am a part of the Zen tradition, the idea of non-self is not that, first of all, anytime you're working with any kind of words in Zen, you're almost always for sure going to mess up whatever you're trying to say, right? I mean, a part of a Zen is a sort of skepticism towards being able to articulate the deep truths with words.

So something like non-self, I think, for a Zen Buddhist, as far as I would think of a Zen Buddhist, would be not so much grasping onto an idea of, hey, non-self. It's a letting go of the idea of self in that I don't want to be trying to grasp foolishly at stuff that goes beyond my direct impure. experience or or the empirical data that I may find myself with. Right. So it's a, it's a, it's a, it's a way to be in light of a type of underdetermination. It's not, it's saying no to the idea of grasping on to something, even if that something is a negation like non-self. I'm sorry, my question was more about how do you get from Hume? Because I heard you say, I think it was in one of your lectures, that Hume can be read as somehow validating Buddhist ideas, but I don't see how one goes from that we can't

observe the self to that we don't have the self. It also seems more like one cannot find the self is also consistent with just introspection has systemic blind spots. And it doesn't warrant a Buddhist conclusion necessarily. So I just wanted to know how that bridge was made. Yeah, yeah. And I guess my response is that the Buddhists should not be viewed as someone who's grasping onto the idea of non-self. Ah, okay. So do you see that as a Western misinterpretation then, the idea of the no-self, almost as a grasping of the no-self? Yeah, it may be. I mean, certainly within the Zen tradition, you have this happen over and over again where you're, have some student trying to articulate something that he feels like he's, you know, come to or something. And then the master in some usually funny way says, you've missed the whole point, right?

And so you can easily imagine, you know, someone saying like, oh, I figured it out. Buddhism is about non-self. And the Zen master saying, you've missed it. You've missed the whole point. What do you mean? because the master might be saying you're grasping too hard on this idea of non-self whenever you're grasping on anything

you're not doing the Zen thing what's the difference between Zen Buddhism and then why don't you outline some of the other major tenets of Buddhism two or three if you like just so that people can get an understanding yeah so I'm not I'm not an expert on any of this stuff

I'm just somebody who found A little group back in the day, and I would like to go meditate because it allowed for a space where, yeah, those words and those theories, those isms were de-emphasized. I think depending on your tradition of Buddhism, those words and theories and, you know, practices, certain beliefs, whether it be about reincarnation or whatever it is, may be different. I'm drawn to the Zen because it seems to be the most simple, in my opinion, it's the one that allows me to almost be a spiritual person without being a spiritual person. I think one characteristic of Zen is that there is this skepticism towards expressing truths through words and theories. It's saying that's missing the whole point, right? So it's like the finger pointing at the moon or whatever.

Like the words, that's just the finger. What it's supposed to be doing is getting you to have a direct experience about something. And that's something that's very hard to talk about. But that's the point of it. I see that as the real thing that draws me to Buddhism. To Zen Buddhism in particular. To Zen Buddhism in particular, yeah. So what was it that initially drew you?

Tell me if I'm putting words in your mouth. I don't mean to. I understand that that may have sustained you, that you like, that, but what drew you to it initially? I think, yeah, I mean, I think I mentioned, I grew up Mormon, so I had this spiritual side, and then when I got to grad school, this went away. I didn't want to be a part of that group anymore, but I still had this side. I had, fortunately, as an undergrad, a philosophy professor who practiced meditation as a practicing Mormon as well, but he would talk about Buddhist

ideas and benefits of meditation. So I kind of had that rolling around in my head for a number of years. It wasn't really until, you know, I was working really, really hard as one does to, like, as a grad student and early professor, you know, I had, you know, I got to get tenure. I got to get tenure. That was such a big thing for me for a few years there. It just was taking up so much of my energy and my head. And then when I got it, it was like, okay, I have a sort of a space now and I want to kind of get some clarity. And so that was initially when I really was drawn to Buddhism was right after getting tenure and recognizing that I had this opportunity now

to kind of calm down a bit. And so there just happened to be some folks who sat Zazhen in the neighborhood. I just walked down the street and there was a group there and so I was able to join them and learn about some of the basics and things and I went on some retreats with those guys.

Yeah, it's just been a part of my life ever since. I mean, every night before bed, we're in my daughter's room. The whole family gathers, my wife, my daughter, the dog. We're all on the bed together. And that meditation moment, you know, it's a big part of life around here. You know, and it's how we may frame certain things that might come up in life as well. So I think of it very much as a kind of a religion for me. I mean, it provides a kind of framework and a structure,

and that's what I wanted and needed, I guess. So the uniqueness of every moment, going back to the limits of science, science requires repeatability. Does a heraclytus space time or the impermanence of everything, does that mean science is not possible in this framework, technically speaking, is there a way around it by using the word approximately similar, but then how do you make approximately similar rigorous

without having some topology on some space of experiments? Yeah, yeah. How do you view that? Yeah, yeah, it's a good question. I mean, one thing to keep in mind is that it's not as if at these two different events that everything is different about them. So there's going to be all sorts of structures that are going to be exactly the same in some sense, right?

So in both cases, if you're looking at what the manifold structure looks like at those points, those are going to be exactly the same. If you're looking for a light cone structure, both of those points are going to have a light cone structure. So there's going to be a causal structure there that's very similar. So there's so much that's going to be preserved. There might even be a bunch of curvature properties that are going to be preserved as well. It's just the only point about the Heraclytis space time, the only requirement is just that it can't be the case that everything is the same at these two points.

So there's going to be all sorts of opportunities to kind of do inductions about all sorts of other properties. You could, in principle, even do something like put some data on a surface. The data is going to be kind of like a Heraclytis data. So every point is going to be slightly different. And then evolve that data in just the same way. that these theorems of Choke-Bruha and Gera show, presumably that all works out, even if you're working within the context of Heraclytus Space Times. So it doesn't limit science at all.

All the theorems that everyone knows and loves, presumably they're all intact. It's just that Heraclytic Space Tams are just so hard to study just because they don't have those symmetries. What are you excited about right now? Yeah, what am I excited about? You know, I'm working on a new paper with my buddy Thomas. We write papers via text message. So every night we, you know, I'm going to sleep and I'm thinking about some question concerning symmetry and structure these days.

In the morning, I'm texting him, my idea, he's texting me back. You know, that's what's getting me really excited. You called him your symmetry buddy. Yeah, he's my symmetry buddy. And it's a wonderful thing. First part of my career. And Jim, I think. Well, Thomas, Jim Weatherall, and then Hans Halverson.

Those three, I've co-authored a number of papers with them about symmetry and structure. And, yeah, I mean, the first part of my career, I wrote all these papers by myself. That was just me, just, you know, and this is so much better, just to have, cemetery buddies around, be able to, you know, bounce ideas off of each other. And I think we're all in this style where we, we're all coming from the Malamon style of things. And so we all have a shared space where we're working and it's allowing for some wonderful things. As far as like, that's on the horizon just recently, you know, I've been excited. I just got a paper accepted with some Hungarians. It was a problem that I'd been thinking about for like 10 years and I hadn't been able

to figure it out. And I started working with the logic group in Budapest and we figured out this problem. So it's easy to state. The problem is it was posed by Bob Garrosh more than 50 years ago and he asked if you have an extendable space time, so a space time that's not as big as it can be, it's extendable and let's say that there's no close time-like curves in this space-time so time travel is not possible in this space-time can you find a model like that such that every time you extend it extensions are highly non-unique is it possible to find an example such that every extension has time travel in it and man i thought about this question for so many years so long uh and i had a i had a sketch of an idea, which was to take Minkovsky space time and roll it up so that there are

closed time-like curves there, but then kind of remove a fractal, a canter set, like a delicate little thing where I'm poking little, delicate little holes, and it's this little fractal, and the fractal is going to block those close-time-like curves from forming, but then every time you want to extend it, you're going to have to extend a bit of that delicate structure, and that's going to allow a little path for the close time like curve to form. Anyway, that was my idea, and I, like, randomly just said that to the Budapest folks, and I was like, if you guys can see a way of doing this, you know, here's an idea, and they did.

They went to work, and we just, you know, a couple weeks ago, it was published. So that's the latest thing that I've been excited about in terms of research. So speaking of looping back, a question I asked you near the beginning was, what is it that you envy others of in terms of style? And then you gave an example, I believe, of Malamint's style. But now I want to ask you, it's always easier to look at one's own deficiencies than it is to look at the positive aspects of oneself. But what is it that, if you were being honest,

other people look at you and say, why is that so easy for him? I don't know, man, because everything seems hard for me. I don't know. I think... How about this? Let me ask it to you in the form of an interview question. Okay.

What is your greatest... Okay, so what is your greatest weakness anyone? Okay, whatever. What is your greatest strength? Yeah. One thing that I can do that I think is a strength would be I'm able to... in in in inaciously come back to the same idea again and again and again.

I think where some people might give up on an idea, I just don't give up. I just am relentless, and it may take years for me to figure something out, and I'm very slow. I'm not just saying that. I really am very slow. I've learned this stuff over the course of 20 years now,

so I'm building up very slowly. Things don't come very quickly to me. I'm not comfortable in a let's shoot the shit kind of situation about physics or philosophy or really anything. But this is a blessing and it's a strength in the sense that it allows me to, well, let's just go back to the basics. Go back to the basics. What is a symmetry? What is, you know, what are we doing here? And it lends itself well to philosophical questions because I think philosophers, that's kind of what a philosopher does is go back again.

and again, to some basic, basic stuff. And so I think that's probably it. So you said you don't enjoy or aren't skilled at real-time sparring in physics or philosophy. No. Okay. So then what does it look like for you? The slow thinking look like for you? Is it you alone writing on your whiteboard, writing with a pen and paper?

And I mean to actually tell me specifically, is it you, in the shape, shower. So for instance, for myself, I like to take showers and I have a note, a way of taking notes in the showers. It's actually a device that we got sponsored by called Quad. That's cool. They're not paying me for this. But it's fantastic. So I like to, I think on long walks, I think by speaking aloud, I don't enjoy pen and paper, but I do think pen and paper is better for me. I just don't like it so I don't do it, but if I was to be my own coach, I would say you need to actually think more with a paper and pen. But anyhow, so how does, what does this slow thinking look like for you? Yeah, yeah, it's a great question. I mean, I do have a clipboard. It's one of my cherished possessions.

I've always got paper on that clipboard and a mechanical pencil. A lot of my work lends itself well to pictures. I think in pictures, that's how I have, you know, been able to prove a lot of this stuff because I'm imagining it. So I'm drawing a lot. I'll usually have a question. I'm trying to figure it out. And I'm just going over and over and over trying to see if there's something there. And if it's not there that day, then, you know, I'm coming back the next day.

Like I said, fortunately, now I have buddies where I can bounce ideas off of them. And they can, you know, we can do like a little conversation or a little dialogue, which is really lovely. Mainly, yeah, it's just, like you said, it's in the shower. It's when I'm walking to and from school, it's always having that idea or that problem in your head and you're trying to figure it out. For me, it's incessant. Yeah. I can't help it. Almost destructively so.

Yeah, it's hard for me to sleep sometimes. It's destructive in the sense that, yeah, it'll pull me away from maybe a conversation I should be paying more attention to or something I'm thinking about this. other thing. So it can be destructive sometimes. But yeah, I mean, in the shower, sure. Yeah, I've come up with ideas in a shower. What's a life lesson you wish you could impart to your younger self? Yeah, good question. I would just say, like, do not give up. I mean, these are things, I have an 11-year-old daughter, so these are things that I feel like I'm trying to teach her. Just don't give up. Keep going, keep trying. That makes all the difference in the world in terms of like just other people may give up

at this stage or this place. And it can make a big difference if you just don't give up. Even when things are not looking good, you just keep going. So that would be the one thing. Professor, thank you for spending so much time with me. Thank you, Kurt. I really appreciate it. Yeah, it's been lovely.

Yeah. Thank you so much. This is a blast. It's been an honor. And how can people find out more about you? I think the best place would be just to go to my website. In particular, I'd like to draw attention to a couple of non-technical pieces, one on the unknowability of the universe, and then another on Heraclitus Space Time. Hi there, Kurt here.

If you'd like more content from theories of everything and the very best listening experience, then be sure to check out my substack at kurtjimungle.org. Some of the top perks are that every week you get brand new episodes ahead of time. You also get bonus written content exclusively for our members. That's C-U-R-T-J-A-I-M-U-N-G-A-L.org. You can also just search my name and the word substack on Google. Since I started that substack, it somehow already became number two in the science category. Now, substack for those who are unfamiliar,

is like a newsletter, one that's beautifully formatted, there's zero spam. This is the best place to follow the content of this channel that isn't anywhere else. It's not on YouTube, it's not on Patreon. It's exclusive to the substack. It's free. There are ways for you to support me on substack if you want, and you'll get special bonuses if you do. Several people ask me like, hey, Kurt, you've spoken to so many people in the fields of theoretical physics, a philosophy, of consciousness.

What are your thoughts, man? Well, while I remain impartial in interviews, this substack is a way to peer into my present deliberations on these topics. And it's the perfect way to support me directly. Kurtjymongle.org

or search Kurtjymongle substack on Google. Oh, and I've received several messages, emails, and comments from professors and researchers saying that they recommend theories of everything to their students. That's fantastic. If you're a professor or a lecturer or what have you and there's a particular standout episode that students can benefit from or your friends,

please do share. And of course, a huge thank you to our advertising sponsor, The Economist. Visit Economist.com slash tow, T-O-E to get a massive discount on their annual subscription. I subscribe to The Economist, and you'll love it as well. To is actually the only podcast that they currently partner with.

So it's a huge honor for me, and for you, you're getting an exclusive discount. That's Economist.com slash Toe, T-O-E. And finally, you should know this podcast is on iTunes, it's on Spotify, it's on all the audio platforms. All you have to do is type in theories of everything, and you'll find it. I know my last name is complicated, so maybe you don't want to type in Jiamengal,

but you can type in theories of everything and you'll find it. Personally, I gain from re-watching lectures and podcasts. I also read in the comment that toe listeners also gain from replaying, so how about instead you re-listen on one of those platforms like iTunes, Spotify, Google Podcasts? Whatever podcast catcher you use, I'm there with you. Thank you for listening. The Economist covers math, physics, philosophy, and AI in a manner that shows how different countries perceive developments

and how they impact markets. They recently published a piece on China's new neutrino detector. They cover extending life via mitochondrial transplants, creating an entirely new field of medicine. But it's also not just science. They analyze culture. They analyze finance, economics, business, international affairs across every region.

I'm particularly liking their new insider feature. It was just launched this month. It gives you, it gives me a front row access to the economist's internal editorial debates, where senior editors argue through the news with world leaders and policymakers in twice-weekly long format shows. Basically, an extremely high-quality podcast. Something else you should know about is that if you go to their app, they not only have daily articles, but they also have long-form podcasts with their editors and writers.

This is also available online. Whether it's scientific innovation or shifting global politics, the economist provides comprehensive coverage beyond headlines, As a toll listener, you get a special discount. Head over to Economist.com slash T-O-E to subscribe. That's economist.com slash T-O-E for your discount.