Essay Abstract

It is a widespread belief that results like Goedel's incompleteness theorems or the intrinsic randomness of quantum mechanics represent fundamental limitations to humanity's strive for scientific knowledge. As the argument goes, there are truths that we can never uncover with our scientific methods, hence we should be humble and acknowledge a reality beyond our scientific grasp. Here, I argue that this view is wrong. It originates in a naive form of metaphysics that sees the physical and Platonic worlds as a collection of things with definite properties such that all answers to all possible questions exist ontologically somehow, but are epistemically inaccessible. This view is not only a priori philosophically questionable, but also at odds with modern physics. Hence, I argue to replace this perspective by a worldview in which a structural notion of 'real patterns', not 'things' are regarded as fundamental. Instead of a limitation of what we can know, undecidability and unpredictability then become mere statements of undifferentiation of structure. This gives us a notion of realism that is better informed by modern physics, and an optimistic outlook on what we can achieve: we can know what there is to know, despite the apparent barriers of undecidability results.

Author Bio

Markus P. Mueller obtained his PhD in 2007 at the Technical University of Berlin. After a postdoctoral position at the Perimeter Institute for Theoretical Physics (where he is still a Visiting Felllow), he has been a Junior Research Group Leader at Heidelberg University, Germany. From 2015-2017, he has been an Assistant Professor at the Departments of Applied Mathematics and Philosophy at the University of Western Ontario, where he was holding a Canada Research Chair in the Foundations of Physics. Since 2017, he has been a Group Leader at the Institute for Quantum Optics and Quantum Information (IQOQI) in Vienna.

Download Essay PDF File

Dear Markus,

I'm happy to see you've found the time to enter an essay into this year's competition. Like last year's, it's a highly intriguing and insightful piece, and I'll spend some quality time studying it further. I like the way you frame the discussion: undecidability and related phenomena need not fuel defeatist stances, you enlist them in an optimist message about our ability of getting to know what's there to know at all.

This bears some similarity to what Karl Svozil has called the 'third path' in dealing with these notions: most of the time, the issue is either neglected as an artifact, an esoteric mathematical rumination not more relevant to the (physical) world than the precise number of angels on the head of a pin, or on the other extreme, enlisted into grim pronouncements of our doomed quest for knowledge. Trying to find a third (or perhaps 'middle') way of taking it seriously, even as the starting point of some constructive challenge to outdated ideas that force us to engage with some core assumptions is a welcome change of pace.

Before I go into deeper discussion, however, I'd like to ask a question, if I may. The sort of structural realism you champion derives from a venerable tradition, stretching back at least to William James, Bertrand Russell, and Arthur Eddington. But it seems to me that a challenge raised against such views by the mathematician Max Newman (known these days generally simply as 'Newman's objection') hasn't really found a good answer. That challenge essentially consists in pointing out that if everything you know about some domain is the relational structure it fulfills, then really, all you can answer are questions of cardinality---for if there's the right number of elements, any structure will fit, so to speak.

Do you think that's a problem for your view? If not, how do you propose it is overcome, or why doesn't it apply?

Best of luck in the contest!

Cheers

Jochen

    "... there is a widespread view of quantum physics which regards its statistical character as a symptom of incompleteness ..." Is "quantum physics" a well-defined concept? Is "spacetime" a well-defined concept? Is a "potential infinity" a well-defined concept? Consider the following hypothesis: For every positive integer n, if nature contains n bits of information then nature contains n+1 bits of information. I suggest that there is empirical evidence that the preceding hypothesis is false. Why do I suggest this? I say that dark-matter-compensation-constant = (3.9±.5) ^ 10^-5 ... contrary to the widespread belief that dark-matter-compensation-constant = 0. If dark-matter-compensation-constant were equal to 0, it seems to me unlikely that Wolfram's cosmological automaton would work. I conjecture that the 4 ultra-precise gyroscopes of Gravity Probe B worked correctly. Why do the string theorists think that Milgrom's MOND is wrong? First, they refuse to carefully study the empirical evidence. Second, they realize that string theory with the infinite nature hypothesis makes any string theoretical explanation of MOND extraordinarily complicated and rather dubious in terms of their paradigm.

    What might be wrong with Kroupa's analysis?

    Kroupa, Pavel. "The dark matter crisis: falsification of the current standard model of cosmology." Publications of the Astronomical Society of Australia 29, no. 4 (2012): 395-433.

    arXiv preprint

    Dear Markus Müller,

    interesting essay, but too post-modern for my taste: never call a problem a problem, at most a challenge or ideally, make it into the solution.

    Heinz

      Dear Jochen,

      thank you so much for taking the time to read my essay -- and, in particular, for the excellent comments!

      I'm glad that you've pointed me to Karl Svozil's piece. I wasn't aware of it, and I've put it on my reading list.

      For now, let me comment only on Newman's objection. I'm not an expert on all of the nuanced ways that it is interpreted in detail, and on the particular versions of structural realism to which it would apply. But here's how I understand it in the spirit of the view sketched in my essay.

      Yes, if you take some large enough domain, you can put any structure on it. But consider the conclusion: that all we can make, in effect, are cardinality claims. The formulation of this conclusion already indicates the limitations of Newman's argument: it assumes that there is a ``domain of things'' that could be counted, and "structure" is simply a notion of relations in set-theoretical terms.

      However, the view that I've sketched would exactly deny this. What I mean by "structure" is something much more general: anything that a consistent theory talks about -- not necessarily a "set with relations". In particular, it is nothing that would supervene on a "collection of objects".

      I think that this is also the reason why, as far as I understand, Newman's objection is typically used as an argument against *epistemic* structural realism, not *ontic* structural realism as I (and much more deeply, Ladyman) defend it. In the former case, you can think of the world as a collection of "real things" (for example particles), but we have no access to these directly. Based on this metaphysical assumption (that I reject), a set-theoretic understanding (a mathematical notion of relations with no physical primacy) is natural, and Newman's objection seems perhaps applicable.

      What I'm saying here is probably much more deeply analyzed by the supporters of ontic structural realism. I'd like to read more about that.

      Thanks again for your comments on my essay! I'm looking forward to reading yours.

      Best,

      Markus

      Dear Heinz,

      thanks for your feedback!

      I'm *not* denying that there are severe problems in the world that can't simply be argued away. Of course there are many (climate change for example), and we should acknowledge these problems and work hard on a solution.

      All I'm saying in my essay is that unpredictability and undecidability are not among those.

      Best,

      Markus

      Dear Markus,

      thanks for your reply. I think you're right regarding OSR and the Newman Objection, at least as it's usually conceived. I'm not totally convinced by the argument, though. To me, there seems to be a threat of a priori considered to be distinct structures collapsing onto one another---any claim to theory A giving the 'right structure' can be challenged by some theory B yielding the same predictions. Essentially, you can mirror one theory within another---roughly, via something like a Gödel numbering, but more explicitly, if you have a theory which allows for universal computation, you can just 'code up' a simulation of whatever other theory you want to say gives the 'right structure' within the former.

      Say you've got a fully worked-out version of string theory, and want to claim that hence, that gives you the full 'real structure' of the world, and with that, everything that can be said about it (in the sense of everything there is to be said). But then I come along, and encode string theory into some electromagnetic field configuration that corresponds to a computer's memory containing a program that simulates string theory with some initial conditions, and derive all the same predictions from (presumably rather complicated) calculations using nothing but Maxwell's equations---in what sense, then, is the structure of the world that of string theory, and not that of Maxwell's electromagnetism? (Apologies, by the way, if you address this in your essay, unfortunately I still haven't gotten to digesting it fully.)

      Of course, there's going to be more structure than just the Maxwell equations, corresponding to some complicated initial state, but there's presumably some initial state in the string theoretic description too, plus there will be very many programs on many different computational architectures---many different field configurations---leading to the same predictions.

      But I'd need some time to make this thought more precise. I think I'm otherwise quite happy with accepting OSR as a live option---I've in a sense chosen the other way out: rather than conclude that structure is all there is, I presume that what there is will always outrun our ability to fully describe (which description, I agree, is essentially structural), largely motivated by something like the above worry on structural underdetermination (regarding the question of implementing a computation).

      I'll hold off on further comments until I've gone through your essay. I can say already, however, that it's excellent, and deserves to go far in this contest.

      As a final remark, I've found many articles of Svozil highly illuminating on this topic. I think he's in Vienna, too, no (albeit at the TU)? Maybe you should strike up a discussion and see if you find some common ground!

      Cheers

      Jochen

      Dear Professor Mueller :

      I like your views on the question of Undecidability, Uncomputability, and Unpredictability:

      Our only limitation is data; if we have the data then the proof is possible. If the data is not available then the proof is uncomputable. The undecidability question becomes whether or not we have all the data. Finally, unless we are clairvoyant we have no observational data about the future, consequently any prediction made is a projection of history and subject to falsification.

      Just giving a name to something is not data. Richard Feynman: The Difference Between Knowing the Name of Something and Knowing Something.

      A nonanswer may be proof that the data does not exist or one does not have all the data or that the data is unrecognized.

      It is proposed that any evidence describing the Big Bang is beyond science's reach and yet this essay [entered January 18th below] "Common 3D Physics Depicts Universe Emerging From Chaos" presents a plausible description with plenty of replicable evidence.

      Respectfully,

      Charles Sven

        Dear Markus,

        thank you for this well-argued essay, which I enjoyed very much. You managed to give a new perspective to a notorious analogy between incompleteness in maths and undecidability in modern physics.

        I particularly liked your statement against a sort of diffused Platonism (expecially among theoretical physicists and some mathematicians): "we may believe that there is something called "the natural numbers", N, a well-established "thing" (after all, formalized as a set) that somehow "sits there", waiting for our mathematical tools to discover all of its properties and to prove all of its true theorems".

        One comment that I should perhaps like to make, is that while I am in principle very sympathetic with this idea, I always find a bit disappointing how vaguely structural realism is spelled out in the philosophical literature. For it remains vague enough to accomodate many views which perhaps would not naturally go hand in hand. So, also in your essay, even if you indeed took a "structural" standpoint throughout all of it, I found the connection in section IV a bit unsharp. But it may well be that it is me who always struggles understanding ontic structural realism in a non superficial way.

        Anyways, great essay and best of luck for the contest!

        Cheers,

        Flavio

          Dear Markus,

          I've finally gotten round to giving your essay the reading it deserves. I think it's in some ways very close to my own thinking, and a few years back, I would've heartily endorsed all of its claims---indeed, in my entry to the 'It from Bit'-FOXi contest, I expressed similar reservations against 'thingism': "The world is then not something comprised, at the very bottom, of things, but rather, it is given by a web of relations."

          Back then, I appealed to a notion of 'relative facts' to encompass roughly what you call 'differentiations' of a structure---the idea being that the questions not answered by a given structure have answers only relative to other events, sort of like an electron's state is 'spin up' relatively to a measurement apparatus' registering the appropriate measurement, whereas to you, I gather, the 'spin up'-value would be a further differentiation of the structure giving the system's state.

          One worry, to me, is then how differentiation happens. If we, say, make a measurement on a quantum system, to stay with the example, does this then entail a literal further specification of the state---i. e. does the structure go from S in which the question of the electron's spin is indeterminable to S' in which it has a definite answer? If so, that seems hard to square with a purely structural reading---for if there were some further structure that determines what value is provided, then we simply didn't have the full structure to begin with (something which will be hard to square with the various limitative theorems of QM).

          But on the other hand, if differentiation happens essentially randomly, then that process does not have a formulation in terms of structure---so in a way, considering this as a structural view is like having a 'computational' universe that every now and then has to look at an oracle to draw a genuinely random bit from a hat.

          The third alternative would be to go to a kind of 'many worlds'-view, where all differentiations already exist---something like the 'relative facts'-version. But it seems questionable whether that's then still a 'structural' view---after all, if we have some structure S, allowing for differentiations S' and S'', and we say that those differentiations are already out there---say, again, in the two distinct possibilities of an electron's spin value in a superposition---then these differentiations, from the point of view of us who only have the description according to S, take the role of the 'things' that the structure is a structure off, and an experiment will tell us which it is---although of course, it will yield both answers.

          Regardless, I think your criticism of 'thingism' is apt, on the whole---I've been trying to steer a kind of 'middle way', having become skeptical that pure structure can yield enough of a world to ground our experiences, but all my conclusions there are very tentative. I don't believe that there's a world of 'fundamental' facts that's simply given to us, a container of stuff to discover; but I'm also not sure that the mere specification of relations does not leave it just all empty, so to speak.

          Anyway, I think this is an intriguing topic to explore. You may actually find some congenial notions in my essay this year, and the Found. Phys. article that spawned it---while I agree that Gödel's results, as such, don't have applicability to the physical world, they, together with a great many other similar ideas---the unsolvability of the halting problem, Russell's paradox, and others---are really a manifestation of a more general structure, captured in a fixed point theorem due to F. W. Lawvere. This I try and connect with the measurement process in quantum mechanics, in a way which seems very apt to your idea of 'differentiation'. I view it slightly differently, based on additional considerations, but I believe the framework fits.

          Cheers

          Jochen

          Dear Markus,

          I fail to see the relevance of Turing/Godel to the accessibility of the Platonic world. Turing only showed that any single, finite machine would necessarily have a blind-spot. It tells us nothing with regard to the decidability of "whether machine M halts on input I".

          As to

          "[...] the history of successful novel prediction science is the most compelling evidence for some form of realism, but [...] the history of ontological discontinuity across theory change makes standard scientific realism indefensible."

          one could argue that the rational way to make progress is to `rewrite the history' of theory using a single, common ontology. This is my ambitious approach with respect to its chances of success I'm fairly optimistic by now

          https://arxiv.org/pdf/1201.5281.pdf

          Best,

          Yehonatan

            Dear Yehonatan,

            thank you for your comments!

            In your first paragraph, you write:

            > I fail to see the relevance of Turing/Godel to the accessibility of the Platonic world. Turing only

            > showed that any single, finite machine would necessarily have a blind-spot. It tells us nothing with

            > regard to the decidability of "whether machine M halts on input I".

            I'm not 100% sure that I understand your argument, but let me have a try:

            I agree that Turing's result says something else than Gödels'. Yes, in some sense it says that single, finite machines have a "blind spot".

            But it has also implications for (un)decidability. For example, it implies that there is no single axiomatic system with the following property. Consider the collection I of all inputs on which M *does not* halt. Then, for every i in I, the axiomatic system admits a proof that M does not halt on input i.

            Because if such an axiomatic system existed, then we could program a machine that enumerates its provable theorems. Intertwining this with enumerating all the halting inputs would decide the halting problem. So both are in this, and other ways, related, as it seems...

            Or maybe I misunderstand your message here?

            > one could argue that the rational way to make progress is to `rewrite the history' of theory

            > using a single, common ontology. This is my ambitious approach with respect to its chances of

            > success I'm fairly optimistic by now

            I agree that this might be a workable hack somehow. But are you saying that, in retrospect, we should reinterpret the *older* claims (such as Bohr's electrons) in terms of *newer* ontology? It seems like in your paper you are adopting the opposite strategy.

            Best,

            Markus

            Thank you, Flavio, for your comments!

            I totally agree with your assessment that the details seem sometimes vague. What is "structure"? What are "patterns"?

            I think that in my essay, it's necessarily somewhat vague since it's only an essay of 6 pages or so. There's only space to convey an idea, not to work it out in a serious philosophical manner.

            In other literature about OSR, there are certainly more details. But perhaps some feeling of vagueness must necessarily remain. Because, once you reject a metaphysics that relies on "things" in the intuitive way (as in "habitual metaphysics", as Ladyman calls it), then you are left kind of speechless. You then have to rely on different primitive notions that are more abstract. Perhaps the idea of "real patterns" (see Dennett, for example) can makes things more concrete.

            Again, I would like to read up more on it myself to get a better understanding.

            Best,

            Markus

            Dear Charles Sven,

            thank you for your kind words.

            I also like Feynman's tale about the bird a lot. It reminds us not to conflate people's opinions or ideas with the actual matters of fact.

            I'll have a look at your essay.

            Best,

            Markus

            Dear Jochen,

            thanks for your reply. The time you take for this is highly appreciated!

            Before going into details of what you write, I think that the answer to many of your comments is: it depends on what we mean by "structure". In my essay, I'm not really defining it properly (in particular in the section on the physical world). Any serious philosophical approach that tries what I've sketched will have to give a clear(er) definition. Also OSR has to do that (and I suspect that it does, but they mean something slightly different from what I mean).

            Regarding your example of the Maxwell's equations and String Theory, I think that what this tells us is that we should define "structure" in terms of "big enough equivalence classes", or admit "coarse enough isomorphisms" when we define it. In particular, there may be two theories T and T' that talk about the same structure S. I would say that your example of Electromagnetism (i) and String Theory (ii) is of that kind: two theories that give the *same* structure.

            Being a structural realist in *that* sense, I'd say that there is no ontological difference between the statements that "(i) is true" and that "(ii) is true". But I admit that this does not really come across in my essay, because I'm not giving a clear-enough definition of "structure". And there are many questions that such a view leaves open.

            You are right that it would be nice to talk more to Karl Svozil; I've only met and chatted with him once, and he seems to have many clever ideas and insights that touch these topics.

            But I'd also find it nice to meet you in person at some point in the near future. Perhaps I can invite you to visit IQOQI when the Corona crisis is over? It would be a lot of fun to chat in person! Also, we have a regular Physics-Philosophy-Meeting here that you might enjoy.

            Now, regarding your second email and quantum mechanics:

            Again, I was clearly not detailed enough to say what I mean by structure or differentiation in this context. That is certainly a drawback of my essay (also due to space limits, of course, but also I don't really know how to do the definitions properly -- it's more an idea than something fully worked out.)

            Here's what I do *not* mean. I don't mean to say that the world now is structure S, and once we learn an additional measurement outcome, it evolves into a more differentiated structure S'.

            Instead, consider the quantum world on all of spacetime. There are certain "real patterns" in accordance with quantum physics: for example, certain events that happen earlier on (perhaps "preparations") are in correspondence with frequencies of certain types of events later on (correlations with "measurement outcomes"). This would be structure S.

            A more differentiated structure S' would be the world according to de Broglie-Bohm theory: additional (unobservable) events earlier on that are deterministically correlated with outcomes later on. The corresponding theory T' makes more claims than T, and so S' would be more differentiated than S.

            In other words: I'm just saying that views in which quantum probabilities are not "knowledge *about* the world" are in some structural sense less differentiated than view in which they are. So a structural view may increase one's confidence to accept views of the former kind.

            I'm really curious to find out about your "middle way", but I'll postpone commenting on it until I have read your essay. I'm having a busy time with some deadlines next week, but I'm eager to read your essay directly after that.

            Best,

            Markus

            We are not on the same page...

            What I want to say is that Turing's (and Godel's) result expresses a limitation of machines - systems which can be realized even within a classical, objective ontology.

            In contrast, Bell's result expresses a limitation on the ontology: If particles were machines ("robots" in Bell's words) then his inequality would need to be satisfied (under reasonable assumptions). In my essay I define the notion of a "non-machine" to overcome Bell's limitation within a definite ontology. I argue that this new category of physical systems, which is mandated not only by Bell but even by classical electrodynamics(!) is the more generic, with machines being in some sense an `uninteresting' private case thereof.

            I'm very sympathetic to your project in re.f [30]. Being under the spell of Hofstadter and Penrose in my high-school years, I also believed that was the right way to proceed. But I have since discovered the limitations of a system called Yehonatan Knoll, and that system, if it is to produce any real progress in physics, must stay as close as possible to a `pedestrian' objective ontology :)

            Dear Marcus,

            I have you to thank for engaging with my comments in such an open way! These contests are always at their best when they stimulate frank exchanges on views that may go slightly beyond what one would normally put into a journal article or the like.

            And I'd very much like to come for a visit to Vienna---although thinking about traveling plans seems almost frivolous these days. Perhaps one lesson we could take away from the present situation is that we should try to create more and better avenues for online exchange of views---something like virtual research/discussion groups, where people interested in some topic can congregate, discuss with either live-sessions or in a chat/forum based manner, exchange drafts for articles/request comments and the like. Could be as simple as a Teams channel, or something like that.

            But back to the things themselves, as Husserl said---or to their absence, as it were. Regarding the 'modding out' of equivalences between structures, I'm afraid that this might leave us with altogether too little in the way of substance to account for the world and out experience within it---if we agree that in my example, electromagnetism and string theory yield in some sense the same structure, then one could also draw in all manner of 'different' systems---say, for example, the three body problem is at least conjectured to be computationally universal, so you could encode the requisite data into its initial configuration, and then just let Newton's laws do the rest. Or, of course, any other theory that allows for universal computation.

            So fine, one might try to say that then, most of the structure is in the initial condition---the program, so to speak. But this, too, is far from unique: you can instantiate the three body problem with all manner of initial states, implementing different Turing machines that then instantiate the requisite computation from different initial conditions. In each case, that would add some constant number of bits to the length of the initial program, corresponding to the specification of a Turing machine to be simulated.

            So suppose that you have an initial condition for the three body problem that can be specified using n bits, such that the resulting system implements the 'structure of the world' in some sense, by essentially implementing some Turing machine T executing the n bit program. Then, it seems to me you could find a TM T' such that it takes at most n O(1) bits input to implement the same program, with the O(1) factor corresponding to T' simulating T. But then, have you really said more about the world other than 'it contains at least n bit of information' if you specify its structure in this way?

            I think this is essentially the Newman problem again. In some sense, all 'universal' structures---structures corresponding to theories allowing for universal computation---are equivalent: whatever you can describe using one, you can describe using another, with at most some constant overhead.

            Maybe one could try to argue for parsimony, and single out that structure which yields the most compact specification---which has the problem that the question which one this is will be undecidable, due to the uncomputability of Kolmogorov complexity. Or, one could try to adapt the various attempts at solving the threat of trivializing computationalism---because that's essentially the same problem, again: virtually every system can, naively, be viewed as instantiating virtually every computation. There are, I think, certain avenues regarding dispositional/counterfactual/causal accounts of computation that one could pursue, in order to arrive at a notion of isomorphism between structures that's coarse-grained enough to allow for the identification of 'obviously identical' structures, without being so coarse-grained as to trivially identify virtually all structures with one another. I'm not sure if that'll work, but, with a more careful fleshing out of the notion of structure, I think there's at least a few avenues to explore here.

            Regarding the concrete application towards quantum mechanics, I think I understand your proposal somewhat better now; but if the structure, as such, only accounts for the correlations in measured data, then how are concrete measurement outcomes accounted for? Pre-measurement, only a certain probability distribution over outcomes exists, but post-measurement, we at least seem to have observed one definite outcome.

            Now, I suppose one way to account for this without appealing to some sort of coming-into-being of a more differentiated structure is to appeal to a sort of facts-as-relations account: before the measurement, relative to the '|ready>' state of the detector, the (say) qubit is in an equal superposition; after the measurement, relative to the '|detected 1>'-state of the detector, the qubit is in the state |1>, and relative to the '|detected 0>' state of the detector, it's in the state |0>. We think about this as moving from a superposition to a definite state, but this is really thinking as if we could hold the state of the detector fixed---but thinking about this as a relation between the detector and the qubit, the three propositions 'relative to |ready>, the qubit is |0> |1>', 'relative to |detected 1>, the qubit is |1>', and 'relative to |detected 0>, the qubit is |0>'---which are not actually in conflict at all, and hence, can well be part of a consistent structure.

            As for my 'middle way' between the naive box-of-things view of the world, and the---to my way of thinking---somewhat too rarefied view of relata-less relations, I don't really go into that in the present essay, but the germ of the idea---which is still pretty much all I've got---is in my entry into last year's contest, where I essentially propose that there are fundamental facts only relative to a certain perspective on the world, or a certain way to split the world into distinct subsets, or sub-objects, or perhaps, subject and object. It's a bit of a tightrope walk, and I'm far from certain something like that can be made to work at all, but not really liking to drop to either side, it's kinda all I got.

            I hope you manage to meet all your deadlines!

            Cheers

            Jochen

            Dear Marcus,

            I think the sort of explication of structure you're looking for might work along the lines developed by Lutz in 'Newman's Objection is Dead; Long Live Newman's Objection!'. Lutz essentially points out that there's no real way out of Newman's objection if the usual, Ramsey-sentence based notion of structure is used, but argues that this notion is insufficient anyway, and proposes to use an isomorphism-based notion: some sets A and B provided with relations R and S respectively have the same structure if and only if there is a one-to-one relation between A and B such that for all elements a1 and a2 of A such that a1Ra2, they are mapped to elements b1 and b2 of B such that b1Sb2.

            I haven't gone through the complete paper yet, but so far, it seems promising.

            Cheers

            Jochen

            Dear Yehonatan,

            I fully agree: Turing's result is about the limitations of machines, and Bell's is about ontology. These are very different things! That's also why I believe that Goedel's theorems do not directly apply to physics (as I also write in my essay), and why my use of the notion of "structure" in both cases is not identical, but only an analogy.

            About your idea of non-machines, let me hold off commenting before I finally come across reading your essay. At the end of this week, I'll have more time and should be able to start reading.

            "Limitations of a system called Yehonatan...": I'm fully on board with this. :-) I'm also encountering the limitations of a system called Markus Mueller on a day-by-day basis. Perhaps the most important lesson in studying physics is to find out about one's own limitations.

            Best,

            Markus

            Dear Jochen,

            the points that you are raising are very interesting, but going into quite far-reaching details so that I feel I really want to read your essay first (and last year's again) before commenting much further.

            In a very brief nutshell, I've tried to lay out my view in detail in arXiv:1712.01826. It is in some sense much more radical. In a nutshell, I would say that the following two situations are absolutely ontological identical:

            (1) We are parts of a physical universe in roughly the way that we intuitively believe.

            (2) We are brains in a vet or a simulation, yielding exactly the same observations as in case (1).

            My argument is that all that there is, in a way, is an observer's state, and some chance of what this state might be next (and the form of this is the unique primitive structural claim). There is not *one* world, or *many*, but *zero*. To a view of this form, many standard objections and problems don't apply. Instead, one then has to argue why it typically so looks to the observer *as if* they were part of some "world", with computation, "things" and intersubjectivity. That's what I'm claiming to do, in an abstract sense, in that paper.

            Now, I don't jut want to spam the world with the details of my pet view, so let me not go much further into this, and instead read your essay and comment on it to continue our discussion.

            Maybe a final comment for now: the "simulation" problem that you mention is discussed a lot in the context of algorithmic information theory. As an arbitrary example (that you may enjoy), here's a paper by Marcus Hutter: "A Complete Theory of Everything (will be subjective)". What's said there (and elsewhere) is that it's not enough to have a theory that contains what you see (otherwise: dovetail all computable universes, done!), but you have to say where you are in it (observer localization).

            Best,

            Markus