132 comments

[ 3.1 ms ] story [ 176 ms ] thread
Interesting article!

As linked in the article, Egan posted some FAQ/counterarguments for issues raised here: https://www.gregegan.net/PERMUTATION/FAQ/FAQ.html

Nice, IMO this (short) FAQ has a lot more useful info than the featured article. His claim at the end that creating intelligent life through evolution is deeply immoral confuses me, though -- by all accounts, we arose through that process, and relatively few people seem bothered by it.
People are probably less bothered by it because it happened so long ago, and was not perpetrated by any kind of thinking agent. The process of evolution definitely entails a lot of suffering, though. Consider almost any attribute of modern day humans, fear of heights, say. Millions of creatures had to fall to their deaths (many of them very similar to modern humans) to etch that fear of heights into the surviving generations. Or take the gag reflex: many deaths by choking. The immune system: billions of deaths by disease and infection. It would certainly be immoral to inflict such things, if you had the ability to prevent them.
imagine a person gets cancer and dies. this is, by itself and with no context, an act that has no moral component—it just happened. now imagine YOU gave the person cancer.

this difference is the difference between the presumably undirected evolution that led to us, and the sort of fucking around with actual living things we would need to do to direct evolution ourselves.

Relatively few people have thought through the moral implications of a few hundred million years of nature red in tooth and claw, so that's not exactly surprising. After all, relatively few people have even thought through the moral implications of the fact that they can purchase abundant cheap meat from any supermarket. The thought of starting a simulation that has even a slight chance of creating entities capable of suffering should give anyone a major pause.
He means that deliberately setting up a synthetic evolution process to generate intelligent life would be immoral.

His short story Crystal Nights deals with this. Its a corker of a story.

https://www.gregegan.net/MISC/CRYSTAL/Crystal.html

“What created the only example of consciousness we know of?” Daniel asked.

“Evolution.”

“Exactly. But I don’t want to wait three billion years, so I need to make the selection process a great deal more refined, and the sources of variation more targeted.”

Julie digested this. “You want to try to evolve true AI? Conscious, human-level AI?”

“Yes.” Daniel saw her mouth tightening, saw her struggling to measure her words before speaking.

“With respect,” she said, “I don’t think you’ve thought that through.”

“On the contrary,” Daniel assured her. “I’ve been planning this for twenty years.”

“Evolution,” she said, “is about failure and death. Do you have any idea how many sentient creatures lived and died along the way to Homo sapiens? How much suffering was involved?”

A while ago I wrote up my own take, inspired largely by Permutation City but also by Tegmark's mathematical universe hypothesis: https://blog.domenic.me/mathematical-consciousness/

To me this line of thinking is very attractive. As someone who has been a mathematical Platonist forever, this gives a very satisfying answer to big questions like "why is there something instead of nothing" and "why is our universe so perfectly described by mathematics".

> Permutation City

I haven't read that book since the early 90's but it dealt with ideas that have really stuck in my mind.

The main detail I remember from that book is that credit card companies would track whoever you dined with at a restaurant and then serve you ads featuring computer-generated people who resembled those people to manipulate you into trust. Pretty ahead of its time for 1994!
At the time, using computational chemistry to simulate an entire living, evolving life form was just a mind blowing idea.
> Let’s consider what this simulation really is: a program, which generates a series of (very long) numbers. Each number represents the state of the computer’s memory at that point in the simulation.

A projection like that seems very likely to break consciousness. Writing down the state of a computer onto a paper does not allow the paper to continue the computation.

Our universe isn't perfectly described by mathematics. Parts of our universe can be described by mathematics on limited timescales while also assuming inherent randomness.

Math can't even predict the fate of the solar system out to infinity. Planetary systems aren't unconditionally stable, and the effects of limited precision - presumably relevant to any hypothesis of computability - make very long term predictions not just unreliable, but impossible.

This pretty much kills Tegmark's thought experiment, which is in any case a perfect example of begging the question - in spite of the increasing improbability of the examples.

Platonists need to explain if they believe that consciousness is possible on clockwork hardware. If Platonists actually believe that, they may as well dismiss everything that's happened in science since the days of Newton, because that's a very extraordinary claim with absolutely no evidence to support it.

I’ll take this one. Can someone provide some background as to exactly what is being discussed here?
A major plot point and thematic element from a novel by Greg Egan called Permutation City.
Would you consider this to be a spoiler for the book? I've not read my copy yet.
You probably won't understand this brief "explanation" until after you read the book. It's brief largely because it assumes that you know at least the events in the book, even if you couldn't follow the definitions and other exposition.
I don't know the original theory, but this explanation is brief to the point where it's nonsensical.
Might be because the entire thing is nonsense. Entropy shoots a hole in the entire thing as far as I can tell. The problem is that the information can never be retrieved, so if it exists or not is really pointless.
If you are the information though then you have retrieved it.
Not really. Brains don't exist and cannot exist without a medium to work in. It's the old idea that we have souls that are independent from our bodies and underlying reality. This is nonsense.
Yeah the whole thing is also way to handwavy when it comes to computational complexity of the encodings.

It also somehow simultaneously assumes the church turing thesis, the existence of non computable reals and arbitrary functions over them at the same time...

This article doesn't actually explain Dust Theory to someone who hasn't read the book. I haven't found a good standalone explanation of the theory that explains it in a compact manner so my recommendation to people is to read the book.

Permutation City is among my top 5 favorite books because I found Dust Theory so mind blowingly amazing from a philosophical standpoint. I haven't seen it discussed elsewhere outside the lesswrong.com forums (which are famous for creating Roko's Basilisk). It's only $3 on Amazon so it's worth picking up if you're a fan of hard sci-fi that gets into the philosophy of uploading: https://www.amazon.com/Permutation-City-Greg-Egan-ebook/dp/B...

Dust Theory also provides an interesting option for people who want to achieve True Immortality. That is, immortality that can survive the heat death of the universe without violating the First or Second Laws of Thermodynamics. It also provides a hard sci-fi version of the concept of Subliming from Iain Banks' Culture novels where a civilization leaves this universe once they become sufficiently advanced. (Sublimation in the Culture books is similar to Ascension in the Stargate universe or Transcendence in Babylon 5.)

You'd probably like Neal Stephenson's Anathem. It's a Hemn Space argument.
Is that the one that had hundreds of pages of monks hanging around at the beginning? I got bored and couldn't make it through
It is the BEST book, though. It becomes a madcap zany heist in the second half, but the 'boring' beginning bit is my favorite. I think back on 'The Book' every time I have to debug bad code... https://anathem.fandom.com/wiki/Book
Neal Stephenson tends to cram too many side stories into his books, some of them quite boring :/

I kind of regret that I slogged through Cryptonomicon and I would advise anyone to stop reading after 200 pages if bored, the next 700 won't really be better.

I enjoyed cryptonomicon but get where you're coming from! I think his books would be way better with aggressive editing. Seveneves was great but so many long lame sections should have been removed.
Imo the third part should have just been a sequel
I think the third part should not have been published at all. That environmental determinist ethnography stuff felt like it was straight out of old school racist colonial philosophy. I did think their naming scheme was great though.
Yeah I'd prefer to have not read it either, but I can't take that back. I typically suggest people read the book, but feel free to stop at the third part.

It did have some weird regressive vibes, the only redeeming part to me was the idea that multiple distinct groups were able to survive and had to make major changes to adapt, the bit about the different lines descended from the eves was just weird.

Strongest possible disagreement here on your 2nd sentence. I'm not a Stephenson fanatic, but IMHO Cryptonomicon kept getting better throughout.
That's probably the one. It's probably not for everyone; the first part of the book is building a whole and detailed world for the story to exist in, as well as creating an interesting and articulate main character to tell the story. One of the really good things about Anathem is that Stephenson hides a lot of clues and advanced mathematics in the early chapters. For example, there are two very good explanations of configuration spaces (aka Hemn Spaces) which might seem like a complete waste of time, but is actually foreshadowing.
That's the one. I thought it was great -- it's not unusual when reading an "epic era" Stephenson book to spend a lot of time wondering what story is being told.

But he's a great writer and if you enjoy his style, you usually are rewarded with two or three books of story by the time you run out of pages.

I finished the book last night. It's not a long read in terms of pages, but in the first half particularly it took me quite a few stops to ponder about what had been laid in few sentences. Greg Egan is awesome.

(Sort-of SPOILERS underneath)

I can actually grasp the Dust theory thing pretty well as I followed Durham's realizations, however I somehow can't fathom the "more practical" TVC universe stuff, and perhaps you can enlighten me:

- TVC starts with borrowed compute but somehow connects to the Dust Theory, right?

- The whole "TVC is software and compute-based" at first (some software is even implanted in it), but somehow becomes a self-expanding thing as the story needs it simply by being a mathematical object, am I understanding this correctly?

- Why would a few minutes of compute offer Durham any more relief than a second of it, a theoretical proof of it, or a billion years of it? Since they are even in a position to kickstart something computable, it mathematically exists, therefore by the Dust theory they don't even need to start it in order for everything in the book to happen. Admittedly, that makes for a much shorter book (or a billion trillion other scenarios and then some, whatever floats one's boat)

- Why would the TVC Durham enjoy the continuation while the "flesh" Durham wouldn't? I guess I'm getting personal there, but isn't part of the understanding of this wholeness of existence also the acceptance that whatever currently unsatisfactory situation is but one amongst infinity anyway, and pain is as powerful as you want an illusion to be? (in his case, alienation from society, or lack of purpose once he feels validated). This is the part where I think the book really crosses into Buddhist concepts at times.

I really liked the book, and like a lot of good books it left me with more questions and wonder than I started with. For me, it does make the sound of one hand clapping. :)

I read Permutation City a year or two ago, so bear with me.

I believe they run the computation on physical computers so that the people running in the simulation can, at any point, check if their reality is a descendant of the initial garden-of-eden configuration.

I think I can see it: they write the software without having a clear proof (that, say, it is mathematically inconsistent and will crash). Then they execute it for long enough for its self-test phase(s) to be reasonably validated (with all the resources they can get in the "normal" world), therefore practically reassuring themselves that there's a mathematically valid outcome (in a "formal verification" sense), which ensures at least one configuration existing with their wishes (the Garden-of-Eden one).

It does have the side effect of ensuring the reality that exists also has a way to know the Garden of Eden configuration (provided the people scanned are/were made aware of it prior to the scan, since it's made clear that there's no guaranteed way to know what happened to the "flesh person" after a scan when you're "reborn virtual".

It has admittedly been a long time since I've read the book, so my recollection of it may be a bit hazy, but:

> Why would a few minutes of compute offer Durham any more relief than a second of it, a theoretical proof of it, or a billion years of it? Since they are even in a position to kickstart something computable, it mathematically exists, therefore by the Dust theory they don't even need to start it in order for everything in the book to happen. Admittedly, that makes for a much shorter book (or a billion trillion other scenarios and then some, whatever floats one's boat)

I'd guess for "flesh" Durham's assurance that the simulation worked as well as he thought it would. It's one thing to be pretty sure it'll work in theory, but I'd imagine it'd be quite a bit more reassuring to see it in action.

Of course, TVC-Durham gets to see that it works subjectively, but from outside the TVC universe the only way you can verify that it's working is to run the simulation and observe the result.

I don't think they had enough compute power to run a billion years of the simulation, and a few seconds is too short to e.g. see people interacting within it.

It makes sense, thanks. I guess I hadn't really thought about the fact that having a program written isn't having a program that is mathematically verified (as we likely all know, this is a particularly costly procedure and can hardly be done on extremely complex pieces of software - otherwise everyone would do it). So they run it long enough to "feel" like it is valid enough. And then they can't afford more.

From a software engineer point of view though, it's a bit short-sighted isn't it? I can't imagine anyone writing anything beyond a calculator app (and even that..) would be certifying to you that formal verification could work on their program by simply running it for a while. Durham could have bootstrapped further cash to keep things running once in a while for show and dedicate the rest of his life to mathematically proving as many chunks as possible. But that might just be me obsessing over the concept more than Durham himself..

Well, part of what Durham wanted to demonstrate to himself was that he didn't need to be running the simulation for the TVC version of him to have a subjective experience of the simulation, right? And TVC-Durham has Durham's memories as of the last brain scan, so that's also "him" in a sense. So the fact that TVC-Durham knows that the simulation isn't being run on the outside is valuable knowledge as well.

It's sort of a balance between flesh-Durham having assurance that the simulation works, and TVC-Durham having assurance that his subjective experience of the TVC universe is going to continue.

Almost a decade ago I independently invented the same idea. Discussion was here:

https://news.ycombinator.com/item?id=2727750

It's a pretty simple theory, which I ultimately reject even to this day. If it were true, however, the expanse of existence is truly terrifying.

This theory leads to any possible existence existing, short of maybe self-contradiction[0]. Well, so if that is true, then there exists a relation of beings where one of the beings is both powerful and has motives that are purely antithetical to the others. Think "I Have No Mouth, and I Must Scream" kinda bad, only armed with Knuth's up notation and applied to pain and suffering. A hell that's truly beyond comprehension.

If this theory is correct, then all beings eventually find themselves in this hell. Note that this isn't argumentum ad consequentiam. I'm not saying that since this is such a horrific outcome that it's clearly false. I'm saying that if it is true, it is a horror beyond all horrors.

Though I suppose there is always a chance that a being that found themself in such a situation could always randomly pop out into some other, better existence by sheer chance.

Thinking about it is useful, but ultimately there are too many degrees of freedom to come to any practical conclusions.

[0] An existence arising that stops the existence of the vast randomness leading to all existences, for example.

> This theory leads to any possible existence existing, [...]

This statement maybe superficially correct, but I interpret it differently. Every possible existence may exist, but not every imaginable existence. For something to exist in this manner, it has to be possible to generate it in a logically consistent manner from some initial conditions and simple rules, and while that allows for a "terrifying expanse of existences" we can't say which imagninable existences can actually be thus generated, any more than you can look at a random jumble of dots and say whether those could have been generated by one of Wolfram's one-dimensional automata without generating all possible patterns from those automata and seeing if one matches.

The fact that you can imagine a hell beyond all horrors is not proof that any world-generating automaton would ever generate it... even in an infinite Universe it may not actually be a "possible existence".

Infinity != Everything.

> Infinity != Everything

More precisely, infinite sets come in different sizes. For example, there are provably more real numbers than natural numbers even though both sets are infinitely large. (https://en.wikipedia.org/wiki/Aleph_number)

While true, I don’t think this is the distinction they are getting at. Rather, I think they are getting at the distinction between “infinitely many integers” and “all integers”, (Or possibly between “a set with infinite measure” vs “the entire measure space”).
I think their point is more along the lines of "there are infinitely many (real or rational) numbers between zero and one, but none of them are equal to two".
> it has to be possible to generate it in a logically consistent manner from some initial conditions and simple rules

Though I agree with the overall thrust of your response, I don't think it necessarily follows that an existence must be logically consistent, that it must be from some initial conditions, or that the rules must be simple.

First, an existence could be illogical to the beings within it. Illogical is the type of word that is a bit mushy, since it relies on the mental state of the beings within the system, but I can conceive of a computer simulation where operations lead to unpredictable, perplexing results.

Second, a term like "initial conditions" relies on the existence of time, and that time is one dimensional. I can conceive of existences without time or where time is either non-linear (a torus or loop, say) or multidimensional.

Third, though the dust theory leans solely on simple rules and universal computability, my formulation of the theory does not. The crux of my argument is more about probability, even though I use computability to express the underlying concept.

But I do agree with you that Infinity != Everything. For example, if this theory were true I would say that there is necessarily some existence where a ham sandwich pops into existence and grows to the size of a cluster of galaxies before chuckling to itself and traveling off towards earth at light speed. Or something even more ridiculous than that. Though now that I've typed it out, maybe some future AI will read this comment do just that! Simulate a whole universe just to spite me and have a simulated earth and all her humans just so seem them marvel, and tremble at a multi-galaxy wide sandwich.

Suppose we grant that hell exists with some nonzero (albeit tiny) measure.

By the same logic, heaven (some extraordinarily joyous and worthwhile state of existence) also exists with some nonzero measure.

You probably feel that the latter cannot outweigh the former (even though it logically should). Essentially that bad outweighs good. But why do you feel that? Literally, what is the cause of your brain containing that feeling?

It's because human intuition evolved in a world of asymmetric harms and benefits. For an animal living on Earth - the state in which we evolved - a single bad event can cause death, which is a greater harm than can (for most animals) be outweighed by any single good event.

Okay. So evolution gave us intuition tuned for the tradeoffs of life as a mortal animal, that often generates valid conclusions while we are living as such. But once we start talking about wild metaphysics like dust theory, all that goes out the window. The basic premise is that we are immortal! So if we are going to accept such wild metaphysical speculations at all, the first thing we need to do when thinking about them is remember that they completely invalidate our intuitive feelings about things like bad outweighing good.

(comment deleted)
(comment deleted)
By that argument there would also be beings that are incredibly powerful and have motives purely beneficial to others. No reason to think either hell or heaven would be the more likely outcome without more knowledge.
Also there would be infinite worlds in which these all powerful entities wouldn't give a damn about human emotion or morals anyways.
Permission City is grand. It made me realise just how silly the standard "are we living in a simulated reality?" questions are. Max Tegmark took these ideas further, and iirc cites Egan as partial inspiration for his type 4 multiverse. (I'm sure philosophers will groan and say that none of this is new, but it doesn't stop these from being incredibly fun and compelling ideas!)
He lost me right in the second paragraph:

> Because computation is sort of subjective, just a set of relations that can be usefully interpreted as representing a function, this seems to imply that the function you identify with can be interpreted as being simulated by any sufficiently complex set of relations.

Can anyone explain? I'm already struggling with the premise: Why should computation be subjective in the first place?

And why would "sort of" subjectivity be sufficient for simulation? The only interpretation is that the author uses the word subjective to mean "a set of relations". It doesn't sound like math, more like pseudo-philosophical sci-fi.

It also seems to assume that simulation of physical processes can be highly accurate and efficient, and that the function that represents "I" doesn't interact with the environment.

Exactly what I was going to quote, with a big fat 'wot?' to follow.

Edit: I think we're being trolled by a text generator, see my other comment.

He states it in the previous sentence:

> If you think experience is simulatable, [and] you buy computational or “patternist” theories of identity…

Basically, the inner experience of any sapient computation (aka "person") is subjective.

I would counter that by saying that:

1) this has nothing to do with computation.

2) my subjective experience is objectively there. No one questions what I am thinking. (That is, no one else looks inside my brain and claims: This is not what your thinking!) My thoughts might be my own personal view and differ from other people's thoughts but their existence is not up for debate.

This has everything to do with computation, because the mind is just software running on a funny kind of computer. In the novel, many people have had their minds uploaded into regular electrical computers as well, though they're generally not able to run in real time.

That's not a counter, because it's just what I said. We all have a subjective inner experience. The premise of the novel is that this subjective inner experience is both necessary and sufficient for immortality. The story is an exploration of solipsism, though most of the characters in it choose to take people with them rather than to exist in immortal isolation.

No offense, but I obviously haven't read the novel and can't follow at all. Otherwise I wouldn't be asking.

And no, what I said is not what you said. Having read the novel, maybe you're interpreting your own words and/or my words in terms of that novel? That is, maybe you're oblivious to how your words/my words get interpreted when you have not read the novel?

Back to the original discussion:

> This has everything to do with computation, because the mind is just software running on a funny kind of computer.

This still doesn't explain why computation should be subjective.

Not all computation is subjective, but some computations have a subjective viewpoint. We would say that those computations are sapient, or sentient, or self aware, or otherwise describe them as people.
> Not all computation is subjective, but some computations have a subjective viewpoint.

No, you're interpreting them as such. Computation is objective. The only thing is that obviously your outputs depend on your inputs.

This is a theme which is explored in several different ways in the book. Another commenter has already related the tale of the man who ran an automatic optimizer on a copy of his own program. The optimizer noticed that the copy of the program had no inputs and no outputs, so it optimized it to an empty program. The man was understandably dissatisfied, because the empty program has no subjective experiences, while the man does. You might say that he made the mistake of optimizing a program with no inputs or outputs, but he would say that the designer of the optimizer made the mistake of not considering the subjective experience of the software to be valuable. It's certainly true that you can have a worthwhile life even if you stop talking to other people. At the very least, there have been hermits who have thought that they were having a worthwhile life, and who are we to argue?

The author of the brief "explanation" errs, I think, in simply using the phrase "computation is […] subjective". He should have instead said that sapient computations have a subjective experience. But if you don't believe that minds are software running on a funny kind of Turing machine, then even that statement might be nonsense.

> my subjective experience is objectively there.

Nitpick: you (or anyone else) don't actually have subjective experience; you have objective experience that some people mistakenly call subjective due to the practical difficulty of fully communicating it.

Compare, eg someone claiming there is no objective truth about the[0] text of the Illiad on the basis that there are multiple equally valid ways of translating it into English.

I don't think that has anything directly to do with the point you were making, though.

0: they neglect to mention: original, Greek

Whether one's internal experience is subjective or objective is not really germane to the book. Nobody can reach into another person's mind and grasp the totality of their experience, which makes it effectively subjective even if it is in principle objective.

What is relevant is that some minds have internal experiences which are correlated, and that correlation points to an objective reality. If I tell you that the sky is pink, and you look outside and see that it is actually black with white polka-dots, are we in different realities, is one of us a solipsist (meaning that the other doesn't even exist), is one of us insane, or are we just in different time zones? One of these explanations is simplest, of course, but the book is about the others.

Just by chance, I happened to try to explain the dust theory to a completely uninterested subject today over lunch :)

I tried to make it as brief as possible like this: some people believe mathematical truths are necessary and therefore that they exist independently of us discovering them. For example, the entire set of theorems that can be proven from a given set of axioms is already there in the axioms themselves- our calculations are a process of discovery, not of creation. Or to make another example, all the decimal digits of PI "exist", independently of us running the calculations that make them knowable to us.

But suppose we had a function that produces the succession of discrete states of a self-conscious mind (for example, a detailed description of the state of each neuron at any given microsecond). How does the act of actually calculating the values of the function- discovering them- affect the self-perception of that mind? Does it really care if someone is running the calculation?

There is a fun anecdote in Permutation City: the story of an old misanthrope who, nearing death, orders the creation of a digital copy of himself immersed in a simulated world; however, having no desire to communicate with the outside world, he asks for the simulation not to have any inputs or outputs. The algorithm is built, but once it's passed through an automated code optimizer, the optimizer spits out nothing: because a calculation that makes its results known to no-one is empty!

Thank you, that's the first intelligible explanation I've read here on this thread!
yeah, i was struggling too. egan’s books are too much for me because i feel like i need a highlighter and a graphing calculator, but i totally admire them and wish i was smarter.
I had the same feeling when reading some of them. In fact, you can just gloss over some of the parts that go to deep into maths or physics land. I did so, primarily with the Orthogonal Trilogy. You can enjoy the books even if some of the details are a bit too much.

Yeah, you have to live with feeling a bit stupid... but you don't have to tell anyone :-)

If you're living inside the simulation, there's a lot of flex in how the computations running the simulation get carried out that you would never notice. It's effectively saying there's a separation between the implementation of the simulation and the experience of living inside the simulation.

In the book, this is illustrated by computing some time-steps out of order. (This, it turns out, isn't a very realistic example, but is illustrative of the idea.) Someone inside the simulation doesn't realize they've been computed 'out of order.' It also doesn't matter how fast you run the simulation: the simulator clock and the simulated clock can be completely decoupled. You can run it on a single machine verrrrrrry slowly, or in a gigantic data center, and anyone inside the simulation would never know the difference.

So what is the simulation then? It's the collection of states, regardless of how and in what order they are computed.

The Dust Theory is taking this to a kind of logical extreme: Sometimes these states just naturally arise in random configurations of particles, because the universe is vast. It doesn't matter what /order/ they arise in (as we already saw), just that all of the states randomly arise at one time or another. "What if simulation by galactic bogosort?"

It's also similar to the Library of Babel, but for computation instead of books. (https://en.wikipedia.org/wiki/The_Library_of_Babel) And it has the same problem as the Library of Babel; typos are unavoidable when there's no intention. (hell, typos are unavoidable even when there IS intention...) So then we need to assert that the 'real' simulation is the one that just happens to have all of the 'right' random states, not to be confused with all of the untold billions of other almost-right states.

(and then you can ask, if you've followed things THIS far, is it even necessary for the 'right' states to arise, given that they must eventually due to the law of large numbers, alongside all of these slightly-wrong versions? Or is it enough for the simulation to be mathematically possible, so that we can assert that the right states exist?)

If I understand correctly, it's not that the computation itself is subjective, but that the interpretation of the results is. Like how things are represented in lambda calculus - is this really an integer, or is it just a blob of function applications that has an interpretation consistent with being an integer? That part is subjective. Edit: to be more explicit, the parallel is "is that really a mind, or is it just a blob of molecules that has an interpretation consistent with being a mind?"
What's a real integer anyways, if not just a specific series of relationships between different entities?
Looking at other stuff ISTM this is generated by one of them newfangled GPT3 things or whatever:

"Nonetheless, It is because of my faith in science and its processes that I have always been of the opinion that the state pension, though grisly from a naive “one-worlder” perspective is actually a remarkably humane, efficient and (dare I say) generous social program."

(https://cephalopods.blog/)

and if you look at the home link https://cephalopods.blog/about/ anyone else think that looks like a generated face?

> and if you look at the home link https://cephalopods.blog/about/ anyone else think that looks like a generated face?

More importantly, it's a new face every time you reload the page.

So it is! Well spotted. I think you've proven it.
Not sure I'd consider this a proof. Maybe it's just some weird dude :)
Can anyone with GPT-3 beta access ask GPT-3 to give a summary of "Permutation City"? Given impressive examples like this one[0], I think GPT-3 might do better.

[0] https://twitter.com/paraschopra/status/1284423233047900161

You call that roundabout word-salad concoction impressive?
In contrast to the OP it's at least intelligible?
Sorry, I didn't read your post properly (and it was only 2 lines). I though you meant the original article, not twitter. That was dumb.
I'd like to see more of this. Egan's work got more mathematical and harder to understand as the years went by.

Not that I'd want him to dumb it down, but explanations are appreciated.

> This is sort of like the Boltzmann brain idea but even worse because it applies to any set of relations. According to Egan’s argument all possible experiences that can be computed by any sufficiently complex set of relations are in fact computed by them.

This idea seems identical to the Boltzmann brain hypothesis and I don't understand how this paragraph differentiates it at all.

>> This is sort of like the Boltzmann brain idea but even worse because it applies to any set of relations. According to Egan’s argument all possible experiences that can be computed by any sufficiently complex set of relations are in fact computed by them.

> This idea seems identical to the Boltzmann brain hypothesis and I don't understand how this paragraph differentiates it at all.

I don't claim to totally understand this, but my impression is "Dust Theory" implies that the mind is more frequently simulated than in "Boltzmann brain" theory. IIRC, the latter imagines a literally brain being formed briefly out of matter.

> IIRC, the latter imagines a literally brain being formed briefly out of matter.

I see. FWIW I think that is a very narrow reading of the Boltzmann brain hypothesis and while it may have been true to when it was first presented, I think the general "brain as abstract relations that can be simulated by physical systems" Boltzmann brain is what most contemporary cosmologists are talking about.

The article really ought to close the loop by tying it back to the final 10% of the book. The big point in the book is that you can craft arbitrary surjections and have an infinite set of justifications for your subjective experience. A physical substrate is just as good as a computational/mathematical substrate. In this sense you can bootstrap your simulated existence into the immortal world of forms.
The part I don't understand about this, which is the same as the part I don't understand about dust theory, is that it seems to ignore the distinction between an abstract representation of an object and the object itself.

By the logic of dust theory, I can walk into a bank and say "give me the money, or else I'll throw this handful of sand into the air, and it might encode a universe where you're tortured for a billion years!"

You're right. To which the teller can reply, "I've crafted an encoding where you are tortured for billions of years."

The idea is more about swapping out the substrate of your current subjective experience than creating a new encoding of your current universe. The book has the convient liberty of actually jumping between simulations/encodings to illustrate this, but it's ancillary to the main idea.

A version of the banker in the "real" world will continue to exist, and the sand you throw might also encode a virtual copy of the banker later.

If the sand flies just right, the copy might feel that it actually arose into it's tortorous existence because of your action of throwing the sand. In that case, the copy feels pain.

The original banker continues existing unaffected (and calls the cops).

I think I can somewhat grasp what is being explained but maybe not really.

As a thought experiment, if you had a screen of fixed resolution that displayed random color pixels, given an infinite amount of time, you could watch an entire specific movie (along with every other image), perhaps in random order, but from the movie's perspective if it were conscious it would not be aware of whatever order it's playing in, it would just perceive itself to be going forward I guess. The movie itself is like a function that displays an image as a function of time.

So I guess they're saying consciousness in Dust Theory could be like that? What we perceive as a conscious moment is a brief output of random noise for a random timestamp?

Very interesting to think about. Here's my interpretation of the argument: Suppose you have some system X whose dynamics are those of conscious agents in a world. For example, maybe X is the real world. Suppose that the agents in X really experience consciousness. Now suppose we apply some one-to-one function f to X, yielding Y = f(X). Then Y contains all the same information as X. So who's to say that the agents in X have consciousness but the agents in Y don't? Now by an inverse argument, suppose you randomly encounter some blob of random dust, Z. Then you can always come up with a one-to-one function g mapping Z to X, X = g(Z). So apparently the dust Z already contained all the conscious agents in the universe. Conclusion: The conscious experiences of all agents are present in all sufficiently complex blobs of random dust and all sufficiently complex networks of mathematical relations.

One issue with this argument that hasn't been brought up yet is Kolmogorov complexity. Must random blobs of dust Z will be algorithmically random, not containing any real structure. In that case, the complexity of the function g that decodes Z into X will have to be huge. Essentially, the decoding function g itself will have to contain all the information that eventually ends up in X. So the information about conscious agents isn't really in the dust Z, it's in the decoder g.

If you believe in mathematical realism than the fact that there surely exists a mapping between a random set of data and a simulation with conscious agents in it, that should be enough.
It's not enough if the mapping function does not use the information from the random set. For instance it is easy to construct a mapping from ordered digits of pi to ordered letters of your comment, but all of the information of your comment will be in the mapping.
Exactly. The mapping function is almost always essentially a lookup table where you look up a dust configuration and get out a real-world configuration. The fact that you can construct this mapping doesn't mean much IMO.
I believe the argument goes like this: assume that conscious agents can be simulated (that is, consciousness is computable). What is computation? If sudden wind arranges leaves on the ground into a pattern that looks like “2 + 2 = 4”, was there a computation? We would usually answer “no”, as computation, like many other things, requires causal connection. But Greg Egan states that “there is nothing more to causality than the correlations between states”.

Now, a deterministic simulation can be represented as a series of states recorded on a medium. Then you, an observer, can rewind and inspect what’s going on there, similar to reading a book or watching a movie. But the inhabitants of the simulation couldn’t care less about you observing their states. They already “exist”. In that case, why do we need the states of the simulation be recorded on the “film” in the order that makes sense for an outside observer? Surely a random arrangement would not affect the “simulation”. The same goes for the encoding.

Now, if the arrangement doesn’t matter, and the encoding doesn’t matter, why there needs to be a specific physical medium at all? Surely somewhere in the Universe you can find arrangements of “dust” that “encode” the same states (in no particular order).

What does “encode” mean here? If it is supposed to contain the whole state in one chunk, the space of possible deterministic algorithms is too huge compared to the amount of dust, so it can't contain that. If it is supposed to find small chunks and rearrange them, it will not be using any information from the dust, and with same success encoder could use just any set of 0s and 1s. To circumvent finiteness of dust One could use digits of an irrational number or simple counting, but that is a very strange definition of existence. By that logic every possible history is just a number, so everything exists. The Important question is how to construct these numbers, find them in the sea of other meaningless numbers.

I think Stephen Wolfram's idea of computational irreducibility is very useful here. It says that most computations (even very simple systems like some of cellular automata) cannot be replaced by other computations, and even to verify that a number represents result of a computation, one have to carry out that same computation. So the part of the book where states of the simulation are computed out of order is simply wrong, the latter state of the simulation could not have been computed without computing the intermediate states, and all the methods of computing that state were equivalent to the person living through that interval of time.

You are still talking about mapping the simulation to a representation that will make sense to you.

The episode that I found fascinating to think about is when a simulated character reflects on his existence: “And if the computations behind all this had been performed over millennia, by people flicking abacus beads, would he have felt exactly the same? It was outrageous to admit it-but the answer had to be yes.”

It looks like the physical medium and the representation do not matter to the simulation, as long as computation occurs. Then the question is, what is computation. If you believe that all digits of Pi exist, then every possible computation should also exist.

We don’t usually believe that. It seems that information in our universe cannot exist without some physical medium.

The out of order computation was added to the story to make it more dramatic, the author states.

>You are still talking about mapping the simulation to a representation that will make sense to you.

I am talking about mapping that will make sense to anybody at all, be that inside or outside the simulation. If such mapping cannot be constructed, then how can we state that information about these computations exists in dust?

The part about abacus is very good, but it is also very different from dust theory, since with abacus there is a process of computation, states are obtained one from another sequentially, and the positions of abacus beads are not random. In the case of dust the information about the simulation is clearly not contained in the dust, so it's unclear how dust can cause the simulation to exist.

> It seems that information in our universe cannot exist without some physical medium

isn't that simply due to the definition of the word exist?

Yours may be the finest argument for constructivism I have seen.
I think the idea is thst you get to pick and choose from the 'dust': if you have a perfectly Kolmogorov-random string, it's still trivial to go jumping from one bit here to another it there like so: 10101010..., or in any other, however complicated pattern.
> One issue with this argument that hasn't been brought up yet is Kolmogorov complexity. Must random blobs of dust Z will be algorithmically random, not containing any real structure.

This is my issue as well, and something Greg Egan brings up in his FAQ on Dust theory as well. If my state is simply the result of a sampling of domain Y, why is my continuous state so stable? If we're assuming I'm sampling from a uniform (maximally random) distribution of potential states, there are many more state configurations where (for example) the physical laws should break down, then a stable configuration.

So there must be some missing element in Dust theory that explains away this randomness.

Here is an explanation of Dust Theory from Wikipedia:

"[Dust theory states that] there is no difference, even in principle, between physics and mathematics, and that all mathematically possible structures exist, among them our physics and therefore our spacetime...The dust theory implies that all possible universes exist and are equally real, emerging spontaneously from their own mathematical self-consistency."

I think this does a pretty good job of summarizing the concept: the universe is simulatable, but there is nothing doing the simulation; it just exists as a pure mathematical object. All other possible universes that are simulatable (i.e. follow some mathematical model) are equally as real as ours.

So this is some kind of fancy many worlds theory? Except instead of branching on outcomes, we simply fill up possibility space with everything conceivable?
Yes, the assertion (as I understand it) is that not only do different branches of our own world exist, but so also do all other mathematically consistent universes, even if they follow different rules of physics.
Not familiar with the concept, but how does it square with Godels Incompleteness theory, is any mathematical universe even possible?
There is no conflict.

An antidote to common misunderstandings of Gödel’s incompleteness theorems may be to understand Gödel’s completeness theorem.

The closest GIT gets to being relevant is that some mathematical universes exist (or 'exist') that cannot be proven to exist. Alternatively - since Godel's Incompleteness Theorm is the same thing thing as the Halting Problem - some simulations that can't be proven valid (ie that each step of the simulation halts) are nonetheless valid.
The problem with these kinds of theories (eternal recurrence, random quantum state fluctuations, simulation):

- There are plenty of things that aren't computable that our universe seems to do just fine (entropy being one)

- The universe seems to be intelligible, especially w.r.t. its causal chain -- if we only happen to be conscious in these very specific instants (where we have intelligibility, causality, etc.), the question is why?

At the end of the day, you end up with some kind of Maxwell's demon type of situation where there's all this trickery that needs to happen to support a theory where we're in a simulation or Boltzmann brains.

Greg Egan is truly one of the most creative minds on the planet. He has a book called Dichronaughts that's set in a universe with 2 space and 2 time-like dimensions. It's very hard to get your head around but the result is a universe with a hyperbolic geometry where movement on one axis implies changing your shape entirely.
All formal systems are incomplete or inconsistent. There is zero evidence that the universe is either.
There is a difference between a mathematical object and a formal system. Surely you would not call a differential equation with a given initial condition describing a simple harmonic oscillator along with an initial condition “inconsistent”. Would you call it incomplete? Doing so would seem rather odd seeing as there is exactly one solution (given the initial condition). And the sense of “incomplete” that the incompleteness theorems are about doesn’t apply to this. I don’t just mean that it isn’t true of it. I mean that it is not an applicable idea. It is like asking what the northernmost point of the color blue is.

People should be careful when trying to apply Gödel’s incompleteness theorems to philosophical questions, as people often do so without really understanding what they say, and, importantly, what they do not say.

Something that may help is to familiarize oneself with Gödel’s _completeness_ theorem.

> Surely you would not call a differential equation with a given initial condition describing a simple harmonic oscillator along with an initial condition “inconsistent”.

No, certainly not.

> Would you call it incomplete?

Yes, absolutely. There is no such thing as a harmonic oscillator that exactly follows an equation like that. Show me one. Either the formal system has nothing to do with the real world, or it is an incomplete approximation of it. All other known physical theories are the same way.

Can even a part of the universe be described completely by any (incomplete) formal system? Is it even meaningful to talk about a “part” of the universe in this sense? Well, there’s exactly zero evidence either way. That’s what I’m implying when I say “the universe may not be incomplete.”

> Either the formal system has nothing to do with the real world, or it is an incomplete approximation of it.

Ok, but this is a totally separate meaning of “incomplete” than what the incompleteness theorems are talking about.

So, if that is what you meant by “incomplete” in your original comment, you should know that your comment looked like it was appealing to Gödel’s incompleteness theorems, which do not deal with that sense of “completeness”.

Added some clarification - Yes, the incompleteness theorems only concern the behavior of mathematical/formal systems themselves. But to me it seems perfectly reasonable that correspondingly, there may be features of the universe ("true statements") that cannot be modeled ("proven") by any given physical theory ("formal system"). I cannot prove this, but nobody can prove the opposite belief, either.
Greg Egan is my favorite author. My favorite book of his is Diaspora.

If you loved Permutation City you may also love Diaspora. The first chapter of Diaspora is brilliant, if you try reading it, and find that you enjoy it, you will then like the whole book.

His short stories are far better than his novels. Not saying that the novels are bad but rather that the short stories are unreal good.
> In fact, even if you imagine a static set of relations that do not evolve in time there still exists encoding schemes that can interpret this set of relations as any arbitrary function, so in some sense the set of mathematical objects that represent “you” and “me” and all possible minds can be said to exist in these timeless relations.

The argument fails because "you" and "me" are processes, embodied agents while the interpretations of data are "virtual".

> If you think experience is simulatable, you buy computational or “patternist” theories of identity, there are some very strange implications that are not commonly brought up.

Maybe the sentence isn't worded correctly, but these are two entirely different claims. It's relatively simple and straightforward to argue that one's experience is simulatable, but that identity lies in the instance of the simulation itself, so a copy of a simulation would be a different being. That two machines running the same computational process represent the same entity is a separate, unverifiable claim.

Just finished Diaspora. It made me feel rather stupid, as the analogies it weaves throughout (as way to dumb it down I suppose) were sort of like reading the cliff notes. Okay 6 dimensions, ok 12 sure. And this one is 5 dimensions but they’re all sort of visible or something. But really it’s infinite dimensions and all that science proofing I skimmed was wrong. Great.

I did love the artificial mind part in the beginning. Is this book a deeper dive on that?

All of Egan's books make me feel stupid, but in the best possible way :) I always feel I'm getting half the picture but would need a PhD in whatever speciality he's focussing on in this book to get the whole thing, yet thoroughly enjoy every book all the same.

Permutation City is something of a different take on the artificial mind to Diaspora. Schild's Ladder deals also has the artificial mind theme, perhaps a bit closer to Diaspora, but with it's own take again.

I've not read the book, but I'm trying to digest this. For someone who has a good grasp of Dust Theory, if you answer from its perspective...

1) Does believing that consciousness is simulateable commit you to thinking of consciousness as a purely mathematical object, apart from any physical process it might model?

2) If the universe were just an infinite space filled with dust in a wild zoo of different configurations, does my consciousness exist in it so long you can find a dust configuration that admits a mathematical representation that's isomorphic to the one representing my "real" consciousness?

3) How does complexity fit into this? If the entirety of the universe were a single static point particle, would consciousness still fall out of it? It seems as if it could, if you had a sufficiently complicated encoding scheme.

1. Yes, what physical processes? It's just signals.

2. I can postulate that to be true, but unless I have hard proof I cannot say it to be true. If that isomorphic consciousness finds _itself_ to have a subjective experience... Then it knows that dust theory exist, no one else does.

3. I do not understand this question